Index of /ubuntu-old-releases/ubuntu/pool/universe/c/coqprime/

../
coqprime-tools_8.15-1_amd64.deb                    19-Jul-2022 01:08              179994
coqprime-tools_8.15-1_arm64.deb                    19-Jul-2022 12:17              179130
coqprime-tools_8.15-1_armhf.deb                    19-Jul-2022 12:17              177486
coqprime-tools_8.15-1_ppc64el.deb                  19-Jul-2022 01:09              183518
coqprime-tools_8.15-1_riscv64.deb                  19-Jul-2022 03:04              175528
coqprime-tools_8.15-1_s390x.deb                    19-Jul-2022 01:09              277960
coqprime-tools_8.15-2build2_amd64.deb              17-Feb-2023 07:29              180024
coqprime-tools_8.15-2build2_arm64.deb              17-Feb-2023 07:29              179078
coqprime-tools_8.15-2build2_armhf.deb              17-Feb-2023 07:29              177742
coqprime-tools_8.15-2build2_ppc64el.deb            17-Feb-2023 07:29              182522
coqprime-tools_8.15-2build2_riscv64.deb            17-Feb-2023 08:33              178502
coqprime-tools_8.15-2build2_s390x.deb              17-Feb-2023 07:29              276122
coqprime-tools_8.17-1build1_amd64.deb              26-Jul-2023 07:55              176548
coqprime-tools_8.17-1build1_arm64.deb              26-Jul-2023 07:55              179202
coqprime-tools_8.17-1build1_armhf.deb              26-Jul-2023 07:55              177658
coqprime-tools_8.17-1build1_ppc64el.deb            26-Jul-2023 07:55              183516
coqprime-tools_8.17-1build1_riscv64.deb            26-Jul-2023 08:54              177354
coqprime-tools_8.17-1build1_s390x.deb              26-Jul-2023 07:56              267802
coqprime_8.15-1.debian.tar.xz                      18-Jul-2022 23:48                3512
coqprime_8.15-1.dsc                                18-Jul-2022 23:48                2144
coqprime_8.15-2build2.debian.tar.xz                17-Feb-2023 07:29                3660
coqprime_8.15-2build2.dsc                          17-Feb-2023 07:29                2148
coqprime_8.15.orig.tar.gz                          18-Jul-2022 23:48              987167
coqprime_8.17-1build1.debian.tar.xz                26-Jul-2023 05:19                3212
coqprime_8.17-1build1.dsc                          26-Jul-2023 05:19                2148
coqprime_8.17.orig.tar.gz                          13-Jun-2023 11:34              996033
libcoq-coqprime_8.15-1_amd64.deb                   19-Jul-2022 01:08             1902992
libcoq-coqprime_8.15-1_arm64.deb                   19-Jul-2022 12:17             1903006
libcoq-coqprime_8.15-1_armhf.deb                   19-Jul-2022 12:17             1901446
libcoq-coqprime_8.15-1_ppc64el.deb                 19-Jul-2022 01:09             1902944
libcoq-coqprime_8.15-1_riscv64.deb                 19-Jul-2022 03:04             1903046
libcoq-coqprime_8.15-1_s390x.deb                   19-Jul-2022 01:09             1903088
libcoq-coqprime_8.15-2build2_amd64.deb             17-Feb-2023 07:29             1908800
libcoq-coqprime_8.15-2build2_arm64.deb             17-Feb-2023 07:29             1908810
libcoq-coqprime_8.15-2build2_armhf.deb             17-Feb-2023 07:29             1908602
libcoq-coqprime_8.15-2build2_ppc64el.deb           17-Feb-2023 07:29             1908760
libcoq-coqprime_8.15-2build2_riscv64.deb           17-Feb-2023 08:33             1908786
libcoq-coqprime_8.15-2build2_s390x.deb             17-Feb-2023 07:29             1908836
libcoq-coqprime_8.17-1build1_amd64.deb             26-Jul-2023 07:55             2029430
libcoq-coqprime_8.17-1build1_arm64.deb             26-Jul-2023 07:55             2029412
libcoq-coqprime_8.17-1build1_armhf.deb             26-Jul-2023 07:55             2029106
libcoq-coqprime_8.17-1build1_ppc64el.deb           26-Jul-2023 07:55             2029462
libcoq-coqprime_8.17-1build1_riscv64.deb           26-Jul-2023 08:54             2029352
libcoq-coqprime_8.17-1build1_s390x.deb             26-Jul-2023 07:56             2029514