The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]metanet.ch.
../ coq-hammer_1.3.2+8.16-2.debian.tar.xz 25-Jan-2023 07:01 2316 coq-hammer_1.3.2+8.16-2.dsc 25-Jan-2023 07:01 2102 coq-hammer_1.3.2+8.16.orig.tar.gz 06-Sep-2022 09:09 148694 coq-hammer_1.3.2+8.20-1.debian.tar.xz 20-Nov-2024 09:57 2744 coq-hammer_1.3.2+8.20-1.dsc 20-Nov-2024 09:57 2112 coq-hammer_1.3.2+8.20.orig.tar.gz 20-Nov-2024 09:57 148863 coq-hammer_1.3.2+9.0-2.debian.tar.xz 11-Nov-2025 17:40 3196 coq-hammer_1.3.2+9.0-2.dsc 11-Nov-2025 17:40 2114 coq-hammer_1.3.2+9.0.orig.tar.gz 29-Oct-2025 08:18 148850 libcoq-hammer_1.3.2+8.16-2+b1_amd64.deb 13-Feb-2023 05:11 503424 libcoq-hammer_1.3.2+8.16-2+b1_arm64.deb 13-Feb-2023 05:11 531060 libcoq-hammer_1.3.2+8.16-2+b1_i386.deb 13-Feb-2023 05:11 482944 libcoq-hammer_1.3.2+8.20-1+b4_amd64.deb 15-Jun-2025 10:49 508988 libcoq-hammer_1.3.2+8.20-1+b4_arm64.deb 15-Jun-2025 10:49 535848 libcoq-hammer_1.3.2+8.20-1+b6_amd64.deb 12-Feb-2026 14:59 503040 libcoq-hammer_1.3.2+8.20-1+b6_arm64.deb 12-Feb-2026 14:53 527784 libcoq-hammer_1.3.2+9.0-2+b1_amd64.deb 15-Feb-2026 10:38 503028 libcoq-hammer_1.3.2+9.0-2_arm64.deb 11-Feb-2026 10:00 525536
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.