../ 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+9.0-2.debian.tar.xz 11-Nov-2025 18:46 4508 coq-mtac2_1.4+9.0-2.dsc 11-Nov-2025 18:46 2112 coq-mtac2_1.4+9.0.orig.tar.gz 29-Oct-2025 09:29 252586 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_amd64.deb 28-Dec-2025 04:45 791576 libcoq-mtac2_1.4+8.20-1+b5_arm64.deb 28-Dec-2025 04:45 801156 libcoq-mtac2_1.4+8.20-1+b5_ppc64el.deb 15-Jun-2025 11:20 796608 libcoq-mtac2_1.4+8.20-1+b5_riscv64.deb 28-Dec-2025 07:02 797532 libcoq-mtac2_1.4+8.20-1+b5_s390x.deb 17-Jun-2025 08:36 796424 libcoq-mtac2_1.4+8.20-1+b6_ppc64el.deb 28-Dec-2025 04:50 795220 libcoq-mtac2_1.4+8.20-1+b6_s390x.deb 28-Dec-2025 05:10 795440 libcoq-mtac2_1.4+9.0-2_amd64.deb 11-Nov-2025 18:46 795808
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.