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

 Name                                 Last modified      Size  Description
 Parent Directory                                          -   
 coq-hott_8.16-2build2.debian.tar.xz  2023-02-16 19:50  2.6K  
 coq-hott_8.16-2build2.dsc            2023-02-16 19:50  2.0K  
 coq-hott_8.16.orig.tar.gz            2022-11-06 04:17  848K  
 coq-hott_8.18-1.debian.tar.xz        2023-09-04 10:09  2.8K  
 coq-hott_8.18-1.dsc                  2023-09-04 10:09  2.0K  
 coq-hott_8.18-3build4.debian.tar.xz  2024-04-08 09:57  3.1K  
 coq-hott_8.18-3build4.dsc            2024-04-08 09:57  2.1K  
 coq-hott_8.18.orig.tar.gz            2023-09-04 10:09  888K  
 coq-hott_8.19-1build1.debian.tar.xz  2024-05-02 22:28  2.9K  
 coq-hott_8.19-1build1.dsc            2024-05-02 22:28  2.0K  
 coq-hott_8.19.orig.tar.gz            2024-05-02 13:53  961K  
 libcoq-hott_8.16-2build2_arm64.deb   2023-02-16 19:50   16M  
 libcoq-hott_8.16-2build2_armhf.deb   2023-02-16 19:50   16M  
 libcoq-hott_8.16-2build2_ppc64el.deb 2023-02-16 19:50   16M  
 libcoq-hott_8.16-2build2_riscv64.deb 2023-02-16 21:13   16M  
 libcoq-hott_8.16-2build2_s390x.deb   2023-02-16 19:50   16M  
 libcoq-hott_8.18-1_arm64.deb         2023-09-04 10:50   16M  
 libcoq-hott_8.18-1_armhf.deb         2023-09-04 10:50   16M  
 libcoq-hott_8.18-1_ppc64el.deb       2023-09-04 10:50   16M  
 libcoq-hott_8.18-1_riscv64.deb       2023-09-04 12:24   16M  
 libcoq-hott_8.18-1_s390x.deb         2023-09-04 10:50   16M  
 libcoq-hott_8.18-3build4_arm64.deb   2024-04-08 09:57   14M  
 libcoq-hott_8.18-3build4_armhf.deb   2024-04-08 09:57   14M  
 libcoq-hott_8.18-3build4_ppc64el.deb 2024-04-08 09:57   14M  
 libcoq-hott_8.18-3build4_riscv64.deb 2024-04-08 10:43   14M  
 libcoq-hott_8.18-3build4_s390x.deb   2024-04-08 09:57   14M  
 libcoq-hott_8.19-1build1_arm64.deb   2024-05-02 22:57   15M  
 libcoq-hott_8.19-1build1_ppc64el.deb 2024-05-02 22:28   15M  
 libcoq-hott_8.19-1build1_riscv64.deb 2024-05-02 23:58   15M  
 libcoq-hott_8.19-1build1_s390x.deb   2024-05-02 22:28   15M