| Parent directory/ | - | - |
| libcoq-coqprime_8.15-2_ppc64el.deb | 1652412 | 2023-Jan-27 05:13 |
| libcoq-coqprime_8.15-2_amd64.deb | 1652260 | 2023-Jan-26 15:26 |
| libcoq-coqprime_8.15-2_arm64.deb | 1652224 | 2023-Jan-26 15:26 |
| libcoq-coqprime_8.15-2_s390x.deb | 1652172 | 2023-Jan-26 17:43 |
| libcoq-coqprime_8.15-2_armhf.deb | 1652040 | 2023-Jan-26 14:40 |
| libcoq-coqprime_8.15-2_i386.deb | 1652008 | 2023-Jan-26 14:25 |
| coqprime_8.15.orig.tar.gz | 987167 | 2022-Jul-15 08:46 |
| coqprime-tools_8.15-2_i386.deb | 136636 | 2023-Jan-26 14:25 |
| coqprime-tools_8.15-2_ppc64el.deb | 136036 | 2023-Jan-27 05:13 |
| coqprime-tools_8.15-2_amd64.deb | 135236 | 2023-Jan-26 15:26 |
| coqprime-tools_8.15-2_arm64.deb | 133732 | 2023-Jan-26 15:26 |
| coqprime-tools_8.15-2_s390x.deb | 132240 | 2023-Jan-26 17:43 |
| coqprime-tools_8.15-2_armhf.deb | 132164 | 2023-Jan-26 14:40 |
| coqprime_8.15-2.debian.tar.xz | 3576 | 2023-Jan-26 12:44 |
| coqprime_8.15-2.dsc | 2149 | 2023-Jan-26 12:44 |