Index of /pub/linux/ubuntu-ports/pool/universe/c/coq-iris

 Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 coq-iris_4.1.0-1build3.debian.tar.xz     2024-04-08 16:57   12K  
 coq-iris_4.1.0-1build3.dsc               2024-04-08 16:57  2.2K  
 coq-iris_4.1.0.orig.tar.gz               2023-12-24 02:16  732K  
 coq-iris_4.2.0-3build3.debian.tar.xz     2024-09-08 04:04   12K  
 coq-iris_4.2.0-3build3.dsc               2024-09-08 04:04  2.1K  
 coq-iris_4.2.0.orig.tar.gz               2024-05-02 20:53  747K  
 coq-iris_4.3.0-1build4.debian.tar.xz     2025-02-19 16:52   13K  
 coq-iris_4.3.0-1build4.dsc               2025-02-19 16:52  2.1K  
 coq-iris_4.3.0.orig.tar.bz2              2024-11-21 03:47  608K  
 libcoq-iris_4.1.0-1build3_arm64.deb      2024-04-08 22:14   13M  
 libcoq-iris_4.1.0-1build3_armhf.deb      2024-04-08 22:14   13M  
 libcoq-iris_4.1.0-1build3_ppc64el.deb    2024-04-08 22:15   13M  
 libcoq-iris_4.1.0-1build3_riscv64.deb    2024-04-09 00:21   13M  
 libcoq-iris_4.1.0-1build3_s390x.deb      2024-04-08 22:15   13M  
 libcoq-iris_4.2.0-3build3_arm64.deb      2024-09-08 04:58   14M  
 libcoq-iris_4.2.0-3build3_ppc64el.deb    2024-09-08 04:05   14M  
 libcoq-iris_4.2.0-3build3_riscv64.deb    2024-09-08 07:23   14M  
 libcoq-iris_4.2.0-3build3_s390x.deb      2024-09-08 04:05   14M  
 libcoq-iris_4.3.0-1build4_arm64.deb      2025-02-19 20:16   14M  
 libcoq-iris_4.3.0-1build4_ppc64el.deb    2025-02-19 22:44   14M  
 libcoq-iris_4.3.0-1build4_riscv64.deb    2025-02-20 04:03   14M  
 libcoq-iris_4.3.0-1build4_s390x.deb      2025-02-19 20:18   14M