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