../ 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.orig.tar.gz 17-Feb-2025 16:37 1118988 coq-hott_9.1-2.debian.tar.xz 28-Jul-2026 09:34 2748 coq-hott_9.1-2.dsc 28-Jul-2026 09:34 2044 coq-hott_9.1.orig.tar.gz 10-Jul-2026 14:43 1184742 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.1-2+b1_amd64.deb 28-Jul-2026 10:20 15126576 libcoq-hott_9.1-2_arm64.deb 28-Jul-2026 10:05 15125112 libcoq-hott_9.1-2_armhf.deb 28-Jul-2026 10:10 15119988 libcoq-hott_9.1-2_i386.deb 28-Jul-2026 10:15 15115480 libcoq-hott_9.1-2_loong64.deb 28-Jul-2026 10:20 15129540 libcoq-hott_9.1-2_ppc64el.deb 28-Jul-2026 10:05 15128864 libcoq-hott_9.1-2_riscv64.deb 28-Jul-2026 12:16 15129044 libcoq-hott_9.1-2_s390x.deb 28-Jul-2026 10:05 15125224
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.