../ coq-hott_8.16-2.debian.tar.xz 25-Jan-2023 07:12 2568 coq-hott_8.16-2.dsc 25-Jan-2023 07:12 2029 coq-hott_8.16.orig.tar.gz 06-Sep-2022 09:09 868101 coq-hott_9.0-1.debian.tar.xz 17-Feb-2025 16:37 3012 coq-hott_9.0-1.dsc 17-Feb-2025 16:37 2037 coq-hott_9.0-2.debian.tar.xz 29-Oct-2025 08:23 17060 coq-hott_9.0-2.dsc 29-Oct-2025 08:23 2040 coq-hott_9.0-3.debian.tar.xz 11-Nov-2025 17:40 17108 coq-hott_9.0-3.dsc 11-Nov-2025 17:40 2047 coq-hott_9.0.orig.tar.gz 17-Feb-2025 16:37 1118988 libcoq-hott_8.16-2+b1_amd64.deb 13-Feb-2023 05:27 14104768 libcoq-hott_8.16-2+b1_arm64.deb 13-Feb-2023 05:26 14102856 libcoq-hott_8.16-2+b1_armhf.deb 13-Feb-2023 05:27 14096728 libcoq-hott_8.16-2+b1_i386.deb 13-Feb-2023 05:26 14068916 libcoq-hott_8.16-2+b1_ppc64el.deb 13-Feb-2023 05:26 14089228 libcoq-hott_8.16-2+b1_s390x.deb 13-Feb-2023 05:26 14112620 libcoq-hott_9.0-1+b2_amd64.deb 15-Jun-2025 10:49 14691176 libcoq-hott_9.0-1+b2_arm64.deb 15-Jun-2025 10:49 14689620 libcoq-hott_9.0-1+b2_ppc64el.deb 15-Jun-2025 10:49 14694556 libcoq-hott_9.0-1+b2_riscv64.deb 15-Jun-2025 11:25 14692508 libcoq-hott_9.0-1+b2_s390x.deb 16-Jun-2025 19:25 14688996 libcoq-hott_9.0-1+b3_amd64.deb 28-Dec-2025 04:20 14692004 libcoq-hott_9.0-1+b3_arm64.deb 28-Dec-2025 04:20 14690992 libcoq-hott_9.0-1+b3_ppc64el.deb 28-Dec-2025 04:20 14693256 libcoq-hott_9.0-1+b3_riscv64.deb 28-Dec-2025 05:25 14692604 libcoq-hott_9.0-1+b3_s390x.deb 28-Dec-2025 04:25 14690832 libcoq-hott_9.0-1+b4_amd64.deb 12-Feb-2026 14:58 14692520 libcoq-hott_9.0-1+b4_arm64.deb 12-Feb-2026 14:58 14690896 libcoq-hott_9.0-3+b1_amd64.deb 11-Feb-2026 10:00 14663904 libcoq-hott_9.0-3_arm64.deb 11-Feb-2026 10:10 14663768 libcoq-hott_9.0-3_armhf.deb 11-Feb-2026 10:25 14657060 libcoq-hott_9.0-3_i386.deb 11-Feb-2026 11:01 14652068 libcoq-hott_9.0-3_ppc64el.deb 11-Feb-2026 09:55 14666156 libcoq-hott_9.0-3_s390x.deb 13-Feb-2026 03:12 14662108
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.