../ 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-1.debian.tar.xz 11-Jul-2026 06:55 4480 coq-mtac2_1.4-rocq9.1-1.dsc 11-Jul-2026 06:55 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+8.20-1+b6_riscv64.deb 22-Jun-2026 13:58 798064 libcoq-mtac2_1.4+8.20-1+b7_amd64.deb 20-Jun-2026 15:16 791340 libcoq-mtac2_1.4+8.20-1+b7_arm64.deb 20-Jun-2026 15:00 800580 libcoq-mtac2_1.4+8.20-1+b7_ppc64el.deb 20-Jun-2026 15:16 795168 libcoq-mtac2_1.4+8.20-1+b7_s390x.deb 20-Jun-2026 15:16 794780 libcoq-mtac2_1.4-rocq9.1-1_amd64.deb 11-Jul-2026 06:55 793416 libcoq-mtac2_1.4-rocq9.1-1_arm64.deb 13-Jul-2026 09:26 801832 libcoq-mtac2_1.4-rocq9.1-1_ppc64el.deb 13-Jul-2026 09:20 796704 libcoq-mtac2_1.4-rocq9.1-1_riscv64.deb 14-Jul-2026 14:51 799568 libcoq-mtac2_1.4-rocq9.1-1_s390x.deb 13-Jul-2026 09:05 797340
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.