../ coq-equations_1.3-8.16-2.debian.tar.xz 26-Jan-2023 12:44 2232 coq-equations_1.3-8.16-2.dsc 26-Jan-2023 12:44 2166 coq-equations_1.3-8.16.orig.tar.gz 06-Sep-2022 09:09 1097638 coq-equations_1.3.1-8.20-1.debian.tar.xz 20-Nov-2024 10:02 2748 coq-equations_1.3.1-8.20-1.dsc 20-Nov-2024 10:02 2180 coq-equations_1.3.1-8.20.orig.tar.gz 20-Nov-2024 10:02 1104362 coq-equations_1.3.2-9.2-2.debian.tar.xz 28-Jul-2026 16:24 3508 coq-equations_1.3.2-9.2-2.dsc 28-Jul-2026 16:24 2242 coq-equations_1.3.2-9.2.orig.tar.gz 10-Jul-2026 16:03 1128151 libcoq-equations_1.3-8.16-2+b1_amd64.deb 14-Feb-2023 06:11 1421860 libcoq-equations_1.3-8.16-2+b1_arm64.deb 14-Feb-2023 06:11 1446000 libcoq-equations_1.3-8.16-2+b1_armhf.deb 14-Feb-2023 06:11 1406004 libcoq-equations_1.3-8.16-2+b1_i386.deb 14-Feb-2023 06:11 1364728 libcoq-equations_1.3-8.16-2+b1_ppc64el.deb 14-Feb-2023 06:11 1429984 libcoq-equations_1.3-8.16-2+b1_s390x.deb 14-Feb-2023 06:11 1436048 libcoq-equations_1.3.1-8.20-1+b4_amd64.deb 15-Jun-2025 11:15 1209136 libcoq-equations_1.3.1-8.20-1+b4_arm64.deb 15-Jun-2025 11:15 1230080 libcoq-equations_1.3.1-8.20-1+b4_ppc64el.deb 15-Jun-2025 11:15 1213156 libcoq-equations_1.3.1-8.20-1+b4_riscv64.deb 15-Jun-2025 12:00 1209484 libcoq-equations_1.3.1-8.20-1+b5_s390x.deb 17-Jun-2025 08:31 1211520 libcoq-equations_1.3.2-9.2-2+b1_amd64.deb 31-Jul-2026 20:40 9093212 libcoq-equations_1.3.2-9.2-2_arm64.deb 28-Jul-2026 16:44 9137276 libcoq-equations_1.3.2-9.2-2_ppc64el.deb 28-Jul-2026 16:44 9148576 libcoq-equations_1.3.2-9.2-2_riscv64.deb 28-Jul-2026 17:00 9611556 libcoq-equations_1.3.2-9.2-2_s390x.deb 28-Jul-2026 16:54 9118432
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.