| Parent directory/ | - | - |
| libcoq-hott_9.1-2build5_riscv64.deb | 17422344 | 2026-Sep-19 00:16 |
| libcoq-hott_9.1-2build5_s390x.deb | 17421566 | 2026-Sep-18 23:19 |
| libcoq-hott_9.1-2build5_ppc64el.deb | 17421580 | 2026-Sep-18 23:19 |
| libcoq-hott_9.1-2build5_armhf.deb | 17405794 | 2026-Sep-18 23:19 |
| libcoq-hott_9.1-2build5_arm64.deb | 17422202 | 2026-Sep-18 23:18 |
| coq-hott_9.1-2build5.debian.tar.xz | 2908 | 2026-Sep-18 21:50 |
| coq-hott_9.1-2build5.dsc | 2031 | 2026-Sep-18 21:50 |
| coq-hott_9.1.orig.tar.gz | 1184742 | 2026-Jul-29 02:29 |
| libcoq-hott_9.0-1build5_riscv64.deb | 16880716 | 2026-Mar-04 08:29 |
| libcoq-hott_9.0-1build5_s390x.deb | 16880450 | 2026-Mar-04 06:28 |
| libcoq-hott_9.0-1build5_ppc64el.deb | 16885378 | 2026-Mar-04 06:28 |
| libcoq-hott_9.0-1build5_arm64.deb | 16881682 | 2026-Mar-04 06:27 |
| coq-hott_9.0-1build5.debian.tar.xz | 3232 | 2026-Mar-04 06:25 |
| coq-hott_9.0-1build5.dsc | 2024 | 2026-Mar-04 06:25 |
| libcoq-hott_9.0-1build2_riscv64.deb | 16880724 | 2025-Jun-21 00:15 |
| libcoq-hott_9.0-1build2_s390x.deb | 16882544 | 2025-Jun-20 22:24 |
| libcoq-hott_9.0-1build2_ppc64el.deb | 16887338 | 2025-Jun-20 22:24 |
| libcoq-hott_9.0-1build2_arm64.deb | 16881340 | 2025-Jun-20 22:24 |
| coq-hott_9.0-1build2.dsc | 2024 | 2025-Jun-20 22:22 |
| coq-hott_9.0-1build2.debian.tar.xz | 3160 | 2025-Jun-20 22:22 |
| libcoq-hott_9.0-1build1_s390x.deb | 16932238 | 2025-Feb-19 09:24 |
| libcoq-hott_9.0-1build1_riscv64.deb | 16932330 | 2025-Feb-19 09:23 |
| libcoq-hott_9.0-1build1_ppc64el.deb | 16935690 | 2025-Feb-19 06:26 |
| libcoq-hott_9.0-1build1_arm64.deb | 16932238 | 2025-Feb-19 06:25 |
| coq-hott_9.0-1build1.dsc | 2024 | 2025-Feb-19 06:25 |
| coq-hott_9.0-1build1.debian.tar.xz | 3088 | 2025-Feb-19 06:25 |
| coq-hott_9.0.orig.tar.gz | 1118988 | 2025-Feb-18 10:39 |
| libcoq-hott_8.18-3build4_riscv64.deb | 14460406 | 2024-Apr-08 17:43 |
| libcoq-hott_8.18-3build4_s390x.deb | 14461204 | 2024-Apr-08 16:57 |
| libcoq-hott_8.18-3build4_ppc64el.deb | 14459418 | 2024-Apr-08 16:57 |
| libcoq-hott_8.18-3build4_armhf.deb | 14438964 | 2024-Apr-08 16:57 |
| libcoq-hott_8.18-3build4_arm64.deb | 14459390 | 2024-Apr-08 16:57 |
| coq-hott_8.18-3build4.debian.tar.xz | 3128 | 2024-Apr-08 16:57 |
| coq-hott_8.18-3build4.dsc | 2107 | 2024-Apr-08 16:57 |
| coq-hott_8.18.orig.tar.gz | 909335 | 2023-Sep-04 17:09 |