| Parent Directory | - | - | - |
| coq-unicoq_1.6-8.16-2.debian.tar.xz | 25-Jan-2023 08:07 | 2364 | - |
| coq-unicoq_1.6-8.16-2.dsc | 25-Jan-2023 08:07 | 2084 | - |
| coq-unicoq_1.6-8.16.orig.tar.gz | 06-Sep-2022 09:09 | 580K | - |
| coq-unicoq_1.6-8.20-1.debian.tar.xz | 23-Nov-2024 15:22 | 2720 | - |
| coq-unicoq_1.6-8.20-1.dsc | 23-Nov-2024 15:22 | 2094 | - |
| coq-unicoq_1.6-8.20.orig.tar.gz | 23-Nov-2024 15:22 | 580K | - |
| coq-unicoq_1.6-9.1-1.debian.tar.xz | 10-Jul-2026 15:28 | 2836 | - |
| coq-unicoq_1.6-9.1-1.dsc | 10-Jul-2026 15:28 | 2096 | - |
| coq-unicoq_1.6-9.1-2.debian.tar.xz | 28-Jul-2026 09:39 | 2864 | - |
| coq-unicoq_1.6-9.1-2.dsc | 28-Jul-2026 09:39 | 2096 | - |
| coq-unicoq_1.6-9.1.orig.tar.gz | 10-Jul-2026 15:28 | 580K | - |
| libcoq-unicoq_1.6-8.16-2+b1_amd64.deb | 13-Feb-2023 05:11 | 77K | - |
| libcoq-unicoq_1.6-8.16-2+b1_arm64.deb | 13-Feb-2023 05:11 | 81K | - |
| libcoq-unicoq_1.6-8.16-2+b1_armhf.deb | 13-Feb-2023 05:26 | 76K | - |
| libcoq-unicoq_1.6-8.16-2+b1_i386.deb | 13-Feb-2023 05:16 | 71K | - |
| libcoq-unicoq_1.6-8.16-2+b1_ppc64el.deb | 13-Feb-2023 05:26 | 79K | - |
| libcoq-unicoq_1.6-8.16-2+b1_s390x.deb | 13-Feb-2023 05:26 | 79K | - |
| libcoq-unicoq_1.6-8.20-1+b4_amd64.deb | 15-Jun-2025 10:49 | 85K | - |
| libcoq-unicoq_1.6-8.20-1+b4_arm64.deb | 15-Jun-2025 10:50 | 88K | - |
| libcoq-unicoq_1.6-8.20-1+b4_ppc64el.deb | 15-Jun-2025 10:49 | 87K | - |
| libcoq-unicoq_1.6-8.20-1+b4_riscv64.deb | 15-Jun-2025 11:05 | 87K | - |
| libcoq-unicoq_1.6-8.20-1+b4_s390x.deb | 16-Jun-2025 19:30 | 86K | - |
| libcoq-unicoq_1.6-8.20-1+b6_ppc64el.deb | 20-Jun-2026 14:50 | 86K | - |
| libcoq-unicoq_1.6-8.20-1+b6_riscv64.deb | 22-Jun-2026 06:09 | 87K | - |
| libcoq-unicoq_1.6-8.20-1+b6_s390x.deb | 20-Jun-2026 14:50 | 86K | - |
| libcoq-unicoq_1.6-8.20-1+b7_amd64.deb | 20-Jun-2026 14:50 | 84K | - |
| libcoq-unicoq_1.6-8.20-1+b7_arm64.deb | 20-Jun-2026 14:45 | 87K | - |
| libcoq-unicoq_1.6-9.1-2+b1_amd64.deb | 28-Jul-2026 10:20 | 84K | - |
| libcoq-unicoq_1.6-9.1-2_amd64.deb | 28-Jul-2026 09:39 | 84K | - |
| libcoq-unicoq_1.6-9.1-2_arm64.deb | 28-Jul-2026 10:05 | 87K | - |
| libcoq-unicoq_1.6-9.1-2_ppc64el.deb | 28-Jul-2026 10:05 | 87K | - |
| libcoq-unicoq_1.6-9.1-2_riscv64.deb | 28-Jul-2026 12:06 | 87K | - |
| libcoq-unicoq_1.6-9.1-2_s390x.deb | 28-Jul-2026 10:05 | 86K | - |