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_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.orig.tar.gz                          18-Jul-2022 23:48              987167
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