../ coq-mtac2_1.4+8.16-2.debian.tar.xz 26-Jan-2023 12:44 2480 coq-mtac2_1.4+8.16-2.dsc 26-Jan-2023 12:44 2100 coq-mtac2_1.4+8.16.orig.tar.gz 06-Sep-2022 09:09 251070 coq-mtac2_1.4+8.20-1.debian.tar.xz 23-Nov-2024 15:27 2924 coq-mtac2_1.4+8.20-1.dsc 23-Nov-2024 15:27 2100 coq-mtac2_1.4+8.20.orig.tar.gz 23-Nov-2024 15:27 252390 coq-mtac2_1.4-rocq9.1-2.debian.tar.xz 28-Jul-2026 16:29 4652 coq-mtac2_1.4-rocq9.1-2.dsc 28-Jul-2026 16:29 2140 coq-mtac2_1.4-rocq9.1.orig.tar.gz 11-Jul-2026 06:55 252426 libcoq-mtac2_1.4+8.16-2+b1_amd64.deb 13-Feb-2023 07:28 762732 libcoq-mtac2_1.4+8.16-2+b1_arm64.deb 13-Feb-2023 07:28 771848 libcoq-mtac2_1.4+8.16-2+b1_armhf.deb 13-Feb-2023 07:28 760920 libcoq-mtac2_1.4+8.16-2+b1_i386.deb 13-Feb-2023 07:34 750740 libcoq-mtac2_1.4+8.16-2+b1_ppc64el.deb 14-Feb-2023 11:17 766080 libcoq-mtac2_1.4+8.16-2+b1_s390x.deb 13-Feb-2023 07:33 766236 libcoq-mtac2_1.4+8.20-1+b4_amd64.deb 15-Jun-2025 11:15 794248 libcoq-mtac2_1.4+8.20-1+b4_arm64.deb 15-Jun-2025 11:15 801984 libcoq-mtac2_1.4+8.20-1+b4_riscv64.deb 15-Jun-2025 12:21 797976 libcoq-mtac2_1.4+8.20-1+b5_ppc64el.deb 15-Jun-2025 11:20 796608 libcoq-mtac2_1.4+8.20-1+b5_s390x.deb 17-Jun-2025 08:36 796424 libcoq-mtac2_1.4-rocq9.1-2+b1_amd64.deb 31-Jul-2026 21:16 793756 libcoq-mtac2_1.4-rocq9.1-2_arm64.deb 28-Jul-2026 16:44 802516 libcoq-mtac2_1.4-rocq9.1-2_ppc64el.deb 28-Jul-2026 16:49 796308 libcoq-mtac2_1.4-rocq9.1-2_riscv64.deb 28-Jul-2026 17:10 799332 libcoq-mtac2_1.4-rocq9.1-2_s390x.deb 28-Jul-2026 17:00 796420
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.