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

 Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 coq-interval_4.9.0-1build5.debian.tar.xz   2024-04-08 16:57  9.2K  
 coq-interval_4.9.0-1build5.dsc             2024-04-08 16:57  2.2K  
 coq-interval_4.9.0.orig.tar.bz2            2023-12-27 02:17  275K  
 coq-interval_4.11.0-2build5.debian.tar.xz  2024-09-18 01:56  9.3K  
 coq-interval_4.11.0-2build5.dsc            2024-09-18 01:56  2.1K  
 coq-interval_4.11.0.orig.tar.bz2           2024-06-09 02:43  295K  
 coq-interval_4.11.1-1build7.debian.tar.xz  2025-02-19 16:52  9.3K  
 coq-interval_4.11.1-1build7.dsc            2025-02-19 16:52  2.1K  
 coq-interval_4.11.1.orig.tar.gz            2024-11-21 03:47  372K  
 libcoq-interval_4.9.0-1build5_arm64.deb    2024-04-09 05:09  6.5M  
 libcoq-interval_4.9.0-1build5_armhf.deb    2024-04-09 04:24  6.5M  
 libcoq-interval_4.9.0-1build5_ppc64el.deb  2024-04-09 05:52  6.5M  
 libcoq-interval_4.9.0-1build5_riscv64.deb  2024-04-09 16:42  6.5M  
 libcoq-interval_4.9.0-1build5_s390x.deb    2024-04-09 11:23  6.5M  
 libcoq-interval_4.11.0-2build5_arm64.deb   2024-09-20 13:15  7.3M  
 libcoq-interval_4.11.0-2build5_ppc64el.deb 2024-09-20 13:15  7.3M  
 libcoq-interval_4.11.0-2build5_riscv64.deb 2024-09-20 22:55  7.3M  
 libcoq-interval_4.11.0-2build5_s390x.deb   2024-09-20 10:35  7.3M  
 libcoq-interval_4.11.1-1build7_arm64.deb   2025-02-21 05:15  7.3M  
 libcoq-interval_4.11.1-1build7_ppc64el.deb 2025-02-20 21:56  7.3M  
 libcoq-interval_4.11.1-1build7_riscv64.deb 2025-02-21 12:24  7.3M  
 libcoq-interval_4.11.1-1build7_s390x.deb   2025-02-20 18:58  7.3M