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

 Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 coq-interval_4.11.0-2build5.debian.tar.xz  2024-09-17 18:56  9.3K  
 coq-interval_4.11.0-2build5.dsc            2024-09-17 18:56  2.1K  
 coq-interval_4.11.0.orig.tar.bz2           2024-06-08 19:43  295K  
 coq-interval_4.11.1-1build2.debian.tar.xz  2024-12-20 20:01  9.2K  
 coq-interval_4.11.1-1build2.dsc            2024-12-20 20:01  2.1K  
 coq-interval_4.11.1.orig.tar.gz            2024-11-20 19:47  372K  
 coq-interval_4.9.0-1build5.debian.tar.xz   2024-04-08 09:57  9.2K  
 coq-interval_4.9.0-1build5.dsc             2024-04-08 09:57  2.2K  
 coq-interval_4.9.0.orig.tar.bz2            2023-12-26 18:17  275K  
 libcoq-interval_4.11.0-2build5_arm64.deb   2024-09-20 06:15  7.3M  
 libcoq-interval_4.11.0-2build5_ppc64el.deb 2024-09-20 06:15  7.3M  
 libcoq-interval_4.11.0-2build5_riscv64.deb 2024-09-20 15:55  7.3M  
 libcoq-interval_4.11.0-2build5_s390x.deb   2024-09-20 03:35  7.3M  
 libcoq-interval_4.11.1-1build2_arm64.deb   2024-12-20 20:01  7.3M  
 libcoq-interval_4.11.1-1build2_ppc64el.deb 2024-12-20 20:02  7.3M  
 libcoq-interval_4.11.1-1build2_riscv64.deb 2024-12-20 23:51  7.3M  
 libcoq-interval_4.11.1-1build2_s390x.deb   2024-12-20 20:02  7.3M  
 libcoq-interval_4.9.0-1build5_arm64.deb    2024-04-08 22:09  6.5M  
 libcoq-interval_4.9.0-1build5_armhf.deb    2024-04-08 21:24  6.5M  
 libcoq-interval_4.9.0-1build5_ppc64el.deb  2024-04-08 22:52  6.5M  
 libcoq-interval_4.9.0-1build5_riscv64.deb  2024-04-09 09:42  6.5M  
 libcoq-interval_4.9.0-1build5_s390x.deb    2024-04-09 04:23  6.5M