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

 Name                                      Last modified      Size  Description
 Parent Directory                                               -   
 coq-libhyps_2.0.8-1build4.debian.tar.xz   2024-04-08 09:57  2.3K  
 coq-libhyps_2.0.8-1build4.dsc             2024-04-08 09:57  2.1K  
 coq-libhyps_2.0.8-4build11.debian.tar.xz  2026-03-03 22:25  2.5K  
 coq-libhyps_2.0.8-4build11.dsc            2026-03-03 22:25  2.0K  
 coq-libhyps_2.0.8-4build7.debian.tar.xz   2025-02-18 22:25  2.4K  
 coq-libhyps_2.0.8-4build7.dsc             2025-02-18 22:25  2.0K  
 coq-libhyps_2.0.8-4build8.debian.tar.xz   2025-06-20 15:22  2.4K  
 coq-libhyps_2.0.8-4build8.dsc             2025-06-20 15:22  2.0K  
 coq-libhyps_2.0.8.orig.tar.gz             2023-12-22 18:26   36K  
 libcoq-libhyps_2.0.8-1build4_arm64.deb    2024-04-08 09:57   76K  
 libcoq-libhyps_2.0.8-1build4_armhf.deb    2024-04-08 09:57   76K  
 libcoq-libhyps_2.0.8-1build4_ppc64el.deb  2024-04-08 09:57   76K  
 libcoq-libhyps_2.0.8-1build4_riscv64.deb  2024-04-08 09:57   76K  
 libcoq-libhyps_2.0.8-1build4_s390x.deb    2024-04-08 09:57   76K  
 libcoq-libhyps_2.0.8-4build11_arm64.deb   2026-03-03 22:27   70K  
 libcoq-libhyps_2.0.8-4build11_ppc64el.deb 2026-03-03 22:28   70K  
 libcoq-libhyps_2.0.8-4build11_riscv64.deb 2026-03-03 22:28   70K  
 libcoq-libhyps_2.0.8-4build11_s390x.deb   2026-03-03 22:28   70K  
 libcoq-libhyps_2.0.8-4build7_arm64.deb    2025-02-18 22:25   70K  
 libcoq-libhyps_2.0.8-4build7_ppc64el.deb  2025-02-18 22:26   70K  
 libcoq-libhyps_2.0.8-4build7_riscv64.deb  2025-02-19 01:23   70K  
 libcoq-libhyps_2.0.8-4build7_s390x.deb    2025-02-19 01:24   70K  
 libcoq-libhyps_2.0.8-4build8_arm64.deb    2025-06-20 15:24   70K  
 libcoq-libhyps_2.0.8-4build8_ppc64el.deb  2025-06-20 15:24   70K  
 libcoq-libhyps_2.0.8-4build8_riscv64.deb  2025-06-20 17:15   70K  
 libcoq-libhyps_2.0.8-4build8_s390x.deb    2025-06-20 15:24   70K