| Parent directory/ | - | - |
| coqprime-tools_8.15-2build2_arm64.deb | 179078 | 17-Feb-2023 07:29 |
| coqprime-tools_8.15-2build2_armhf.deb | 177742 | 17-Feb-2023 07:29 |
| coqprime-tools_8.15-2build2_ppc64el.deb | 182522 | 17-Feb-2023 07:29 |
| coqprime-tools_8.15-2build2_riscv64.deb | 178502 | 17-Feb-2023 08:33 |
| coqprime-tools_8.15-2build2_s390x.deb | 276122 | 17-Feb-2023 07:29 |
| coqprime-tools_8.17-1build1_arm64.deb | 179202 | 26-Jul-2023 07:55 |
| coqprime-tools_8.17-1build1_armhf.deb | 177658 | 26-Jul-2023 07:55 |
| coqprime-tools_8.17-1build1_ppc64el.deb | 183516 | 26-Jul-2023 07:55 |
| coqprime-tools_8.17-1build1_riscv64.deb | 177354 | 26-Jul-2023 08:54 |
| coqprime-tools_8.17-1build1_s390x.deb | 267802 | 26-Jul-2023 07:56 |
| coqprime-tools_8.18-1_arm64.deb | 388350 | 23-Dec-2023 17:56 |
| coqprime-tools_8.18-1_armhf.deb | 385912 | 23-Dec-2023 17:57 |
| coqprime-tools_8.18-1_ppc64el.deb | 392582 | 23-Dec-2023 17:57 |
| coqprime-tools_8.18-1_riscv64.deb | 391030 | 23-Dec-2023 18:47 |
| coqprime-tools_8.18-1_s390x.deb | 390218 | 23-Dec-2023 17:57 |
| coqprime_8.15-2build2.debian.tar.xz | 3660 | 17-Feb-2023 07:29 |
| coqprime_8.15-2build2.dsc | 2148 | 17-Feb-2023 07:29 |
| coqprime_8.15.orig.tar.gz | 987167 | 18-Jul-2022 23:48 |
| coqprime_8.17-1build1.debian.tar.xz | 3212 | 26-Jul-2023 05:19 |
| coqprime_8.17-1build1.dsc | 2148 | 26-Jul-2023 05:19 |
| coqprime_8.17.orig.tar.gz | 996033 | 13-Jun-2023 11:34 |
| coqprime_8.18-1.debian.tar.xz | 3288 | 23-Dec-2023 17:16 |
| coqprime_8.18-1.dsc | 2149 | 23-Dec-2023 17:16 |
| coqprime_8.18.orig.tar.gz | 996567 | 23-Dec-2023 17:16 |
| libcoq-coqprime_8.15-2build2_arm64.deb | 1908810 | 17-Feb-2023 07:29 |
| libcoq-coqprime_8.15-2build2_armhf.deb | 1908602 | 17-Feb-2023 07:29 |
| libcoq-coqprime_8.15-2build2_ppc64el.deb | 1908760 | 17-Feb-2023 07:29 |
| libcoq-coqprime_8.15-2build2_riscv64.deb | 1908786 | 17-Feb-2023 08:33 |
| libcoq-coqprime_8.15-2build2_s390x.deb | 1908836 | 17-Feb-2023 07:29 |
| libcoq-coqprime_8.17-1build1_arm64.deb | 2029412 | 26-Jul-2023 07:55 |
| libcoq-coqprime_8.17-1build1_armhf.deb | 2029106 | 26-Jul-2023 07:55 |
| libcoq-coqprime_8.17-1build1_ppc64el.deb | 2029462 | 26-Jul-2023 07:55 |
| libcoq-coqprime_8.17-1build1_riscv64.deb | 2029352 | 26-Jul-2023 08:54 |
| libcoq-coqprime_8.17-1build1_s390x.deb | 2029514 | 26-Jul-2023 07:56 |
| libcoq-coqprime_8.18-1_arm64.deb | 2523804 | 23-Dec-2023 17:56 |
| libcoq-coqprime_8.18-1_armhf.deb | 2525772 | 23-Dec-2023 17:57 |
| libcoq-coqprime_8.18-1_ppc64el.deb | 2522758 | 23-Dec-2023 17:57 |
| libcoq-coqprime_8.18-1_riscv64.deb | 2524328 | 23-Dec-2023 18:47 |
| libcoq-coqprime_8.18-1_s390x.deb | 2522692 | 23-Dec-2023 17:57 |
