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-tools_8.19-2build3_amd64.deb 07-Sep-2024 19:05 184530
coqprime-tools_8.19-2build3_arm64.deb 07-Sep-2024 19:05 185116
coqprime-tools_8.19-2build3_ppc64el.deb 07-Sep-2024 19:05 187578
coqprime-tools_8.19-2build3_riscv64.deb 07-Sep-2024 19:58 185256
coqprime-tools_8.19-2build3_s390x.deb 07-Sep-2024 19:05 188894
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
coqprime_8.19-2build3.debian.tar.xz 07-Sep-2024 19:04 3552
coqprime_8.19-2build3.dsc 07-Sep-2024 19:04 2148
coqprime_8.19.orig.tar.gz 03-May-2024 01:55 996563
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
libcoq-coqprime_8.19-2build3_amd64.deb 07-Sep-2024 19:05 2073902
libcoq-coqprime_8.19-2build3_arm64.deb 07-Sep-2024 19:05 2073814
libcoq-coqprime_8.19-2build3_ppc64el.deb 07-Sep-2024 19:05 2073610
libcoq-coqprime_8.19-2build3_riscv64.deb 07-Sep-2024 19:58 2073888
libcoq-coqprime_8.19-2build3_s390x.deb 07-Sep-2024 19:05 2073814