Index of /ubuntu/pool/universe/c/coq-corn/
../
coq-corn_8.13.0-1.debian.tar.xz 18-Jul-2022 23:49 3776
coq-corn_8.13.0-1.dsc 18-Jul-2022 23:49 2087
coq-corn_8.13.0.orig.tar.gz 18-Jul-2022 23:49 1318281
coq-corn_8.16.0-1.debian.tar.xz 06-Nov-2022 03:17 3800
coq-corn_8.16.0-1.dsc 06-Nov-2022 03:17 2087
coq-corn_8.16.0-1build1.debian.tar.xz 25-Nov-2022 18:40 3876
coq-corn_8.16.0-1build1.dsc 25-Nov-2022 18:40 2086
coq-corn_8.16.0-1build2.debian.tar.xz 03-Dec-2022 19:54 3900
coq-corn_8.16.0-1build2.dsc 03-Dec-2022 19:54 2086
coq-corn_8.16.0-1build3.debian.tar.xz 31-Dec-2022 12:04 3908
coq-corn_8.16.0-1build3.dsc 31-Dec-2022 12:04 2086
coq-corn_8.16.0-2.debian.tar.xz 27-Jan-2023 11:55 3864
coq-corn_8.16.0-2.dsc 27-Jan-2023 11:55 2092
coq-corn_8.16.0-2build2.debian.tar.xz 17-Feb-2023 07:29 3936
coq-corn_8.16.0-2build2.dsc 17-Feb-2023 07:29 2091
coq-corn_8.16.0-2build3.debian.tar.xz 13-Jun-2023 09:04 3964
coq-corn_8.16.0-2build3.dsc 13-Jun-2023 09:04 2091
coq-corn_8.16.0-3.debian.tar.xz 14-Jun-2023 05:29 3884
coq-corn_8.16.0-3.dsc 14-Jun-2023 05:29 2092
coq-corn_8.16.0-3build1.debian.tar.xz 26-Jul-2023 05:19 3952
coq-corn_8.16.0-3build1.dsc 26-Jul-2023 05:19 2091
coq-corn_8.16.0.orig.tar.gz 06-Nov-2022 03:17 1319677
coq-corn_8.18.0-1.debian.tar.xz 24-Dec-2023 17:26 4112
coq-corn_8.18.0-1.dsc 24-Dec-2023 17:26 2092
coq-corn_8.18.0-1build1.debian.tar.xz 24-Mar-2024 00:53 4240
coq-corn_8.18.0-1build1.dsc 24-Mar-2024 00:53 2207
coq-corn_8.18.0.orig.tar.gz 24-Dec-2023 17:26 1320047
libcoq-corn_8.13.0-1_amd64.deb 19-Jul-2022 01:08 12919910
libcoq-corn_8.16.0-1_amd64.deb 06-Nov-2022 03:22 12918342
libcoq-corn_8.16.0-1build1_amd64.deb 26-Nov-2022 17:43 12980554
libcoq-corn_8.16.0-1build2_amd64.deb 03-Dec-2022 19:54 12980610
libcoq-corn_8.16.0-1build3_amd64.deb 31-Dec-2022 12:43 12981688
libcoq-corn_8.16.0-2_amd64.deb 27-Jan-2023 11:55 12980730
libcoq-corn_8.16.0-2build2_amd64.deb 17-Feb-2023 07:29 12970822
libcoq-corn_8.16.0-3_amd64.deb 14-Jun-2023 05:59 12942926
libcoq-corn_8.16.0-3build1_amd64.deb 26-Jul-2023 09:58 12945178
libcoq-corn_8.18.0-1_amd64.deb 24-Dec-2023 17:27 20077016
libcoq-corn_8.18.0-1build1_amd64.deb 24-Mar-2024 10:37 15387048