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

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 coq-corn_8.16.0-2build2.debian.tar.xz  2023-02-17 08:29  3.8K  
 coq-corn_8.16.0-2build2.dsc            2023-02-17 08:29  2.0K  
 coq-corn_8.16.0-3build1.debian.tar.xz  2023-07-26 07:19  3.9K  
 coq-corn_8.16.0-3build1.dsc            2023-07-26 07:19  2.0K  
 coq-corn_8.16.0.orig.tar.gz            2022-11-06 04:17  1.3M  
 coq-corn_8.18.0-1build3.debian.tar.xz  2024-04-08 09:57  4.2K  
 coq-corn_8.18.0-1build3.dsc            2024-04-08 09:57  2.1K  
 coq-corn_8.18.0.orig.tar.gz            2023-12-24 18:26  1.3M  
 coq-corn_8.19.0+ds1-1.debian.tar.xz    2024-05-12 01:49  4.1K  
 coq-corn_8.19.0+ds1-1.dsc              2024-05-12 01:49  2.1K  
 coq-corn_8.19.0+ds1.orig.tar.gz        2024-05-12 01:49  1.3M  
 coq-corn_8.19.0-1build1.debian.tar.xz  2024-05-02 22:28  4.1K  
 coq-corn_8.19.0-1build1.dsc            2024-05-02 22:28  2.0K  
 coq-corn_8.19.0.orig.tar.gz            2024-05-02 13:53  165K  
 libcoq-corn_8.16.0-2build2_arm64.deb   2023-02-17 09:33   12M  
 libcoq-corn_8.16.0-2build2_armhf.deb   2023-02-17 08:29   12M  
 libcoq-corn_8.16.0-2build2_ppc64el.deb 2023-02-17 08:29   12M  
 libcoq-corn_8.16.0-2build2_riscv64.deb 2023-02-17 12:14   12M  
 libcoq-corn_8.16.0-2build2_s390x.deb   2023-02-17 09:04   12M  
 libcoq-corn_8.16.0-3build1_arm64.deb   2023-07-26 13:29   12M  
 libcoq-corn_8.16.0-3build1_armhf.deb   2023-07-26 12:30   12M  
 libcoq-corn_8.16.0-3build1_ppc64el.deb 2023-07-26 11:58   12M  
 libcoq-corn_8.16.0-3build1_riscv64.deb 2023-07-26 14:30   12M  
 libcoq-corn_8.16.0-3build1_s390x.deb   2023-07-26 12:30   12M  
 libcoq-corn_8.18.0-1build3_arm64.deb   2024-04-08 17:21   15M  
 libcoq-corn_8.18.0-1build3_armhf.deb   2024-04-08 16:36   15M  
 libcoq-corn_8.18.0-1build3_ppc64el.deb 2024-04-08 16:36   15M  
 libcoq-corn_8.18.0-1build3_riscv64.deb 2024-04-08 19:06   15M  
 libcoq-corn_8.18.0-1build3_s390x.deb   2024-04-08 17:21   15M  
 libcoq-corn_8.19.0+ds1-1_arm64.deb     2024-05-12 02:33   15M  
 libcoq-corn_8.19.0+ds1-1_armhf.deb     2024-05-12 12:13   15M  
 libcoq-corn_8.19.0+ds1-1_ppc64el.deb   2024-05-12 01:49   15M  
 libcoq-corn_8.19.0+ds1-1_riscv64.deb   2024-05-12 04:04   15M  
 libcoq-corn_8.19.0+ds1-1_s390x.deb     2024-05-12 02:33   15M  
 libcoq-corn_8.19.0-1build1_arm64.deb   2024-05-03 01:27  4.6K  
 libcoq-corn_8.19.0-1build1_armhf.deb   2024-05-09 08:45  4.6K  
 libcoq-corn_8.19.0-1build1_ppc64el.deb 2024-05-03 00:58  4.6K  
 libcoq-corn_8.19.0-1build1_riscv64.deb 2024-05-05 13:18  4.6K  
 libcoq-corn_8.19.0-1build1_s390x.deb   2024-05-03 00:58  4.6K