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

../
libcoq-corn_8.13.0-1_amd64.deb                     19-Jul-2022 01:08     12M
libcoq-corn_8.16.0-2build2_amd64.deb               17-Feb-2023 07:29     12M
libcoq-corn_8.16.0-2build2_arm64.deb               17-Feb-2023 08:33     12M
libcoq-corn_8.16.0-2build2_armhf.deb               17-Feb-2023 07:29     12M
libcoq-corn_8.16.0-3build1_amd64.deb               26-Jul-2023 09:58     12M
libcoq-corn_8.16.0-3build1_arm64.deb               26-Jul-2023 11:29     12M
libcoq-corn_8.16.0-3build1_armhf.deb               26-Jul-2023 10:30     12M
libcoq-corn_8.18.0-1build3_amd64.deb               08-Apr-2024 14:36     15M
libcoq-corn_8.18.0-1build3_arm64.deb               08-Apr-2024 15:21     15M
libcoq-corn_8.18.0-1build3_armhf.deb               08-Apr-2024 14:36     15M
libcoq-corn_8.19.0+ds1-1_amd64.deb                 11-May-2024 23:49     15M
libcoq-corn_8.19.0+ds1-1_arm64.deb                 12-May-2024 00:33     15M
libcoq-corn_8.19.0+ds1-1_armhf.deb                 12-May-2024 10:13     15M