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

 Name                                  Last modified      Size  Description
 Parent Directory                                           -   
 coq-iris_4.0.0-3build1.debian.tar.xz  2023-02-16 19:50   12K  
 coq-iris_4.0.0-3build1.dsc            2023-02-16 19:50  2.1K  
 coq-iris_4.0.0-4build1.debian.tar.xz  2023-07-26 07:19   12K  
 coq-iris_4.0.0-4build1.dsc            2023-07-26 07:19  2.1K  
 coq-iris_4.0.0.orig.tar.gz            2022-08-19 19:34  685K  
 coq-iris_4.1.0-1build3.debian.tar.xz  2024-04-08 09:57   12K  
 coq-iris_4.1.0-1build3.dsc            2024-04-08 09:57  2.2K  
 coq-iris_4.1.0.orig.tar.gz            2023-12-23 18:16  732K  
 libcoq-iris_4.0.0-3build1_arm64.deb   2023-02-16 21:13   13M  
 libcoq-iris_4.0.0-3build1_armhf.deb   2023-02-16 21:44   13M  
 libcoq-iris_4.0.0-3build1_ppc64el.deb 2023-02-16 22:50   13M  
 libcoq-iris_4.0.0-3build1_riscv64.deb 2023-02-17 04:08   13M  
 libcoq-iris_4.0.0-3build1_s390x.deb   2023-02-16 22:50   13M  
 libcoq-iris_4.0.0-4build1_arm64.deb   2023-07-26 09:55   13M  
 libcoq-iris_4.0.0-4build1_armhf.deb   2023-07-26 11:58   13M  
 libcoq-iris_4.0.0-4build1_ppc64el.deb 2023-07-26 10:54   13M  
 libcoq-iris_4.0.0-4build1_riscv64.deb 2023-07-26 15:07   13M  
 libcoq-iris_4.0.0-4build1_s390x.deb   2023-07-26 10:54   13M  
 libcoq-iris_4.1.0-1build3_arm64.deb   2024-04-08 15:14   13M  
 libcoq-iris_4.1.0-1build3_armhf.deb   2024-04-08 15:14   13M  
 libcoq-iris_4.1.0-1build3_ppc64el.deb 2024-04-08 15:15   13M  
 libcoq-iris_4.1.0-1build3_riscv64.deb 2024-04-08 17:21   13M  
 libcoq-iris_4.1.0-1build3_s390x.deb   2024-04-08 15:15   13M