../ 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-1.debian.tar.xz 10-Jul-2026 16:03 2788 coq-equations_1.3.2-9.2-1.dsc 10-Jul-2026 16:03 2230 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.1-8.20-1+b6_ppc64el.deb 20-Jun-2026 15:15 1203496 libcoq-equations_1.3.1-8.20-1+b6_riscv64.deb 22-Jun-2026 13:11 1202248 libcoq-equations_1.3.1-8.20-1+b7_amd64.deb 20-Jun-2026 15:16 1198760 libcoq-equations_1.3.1-8.20-1+b7_arm64.deb 20-Jun-2026 15:16 1218628 libcoq-equations_1.3.1-8.20-1+b7_s390x.deb 20-Jun-2026 15:15 1204740 libcoq-equations_1.3.2-9.2-1_amd64.deb 10-Jul-2026 16:03 9335768 libcoq-equations_1.3.2-9.2-1_arm64.deb 13-Jul-2026 09:20 9405640 libcoq-equations_1.3.2-9.2-1_ppc64el.deb 13-Jul-2026 09:20 9469428 libcoq-equations_1.3.2-9.2-1_riscv64.deb 14-Jul-2026 14:41 9851412 libcoq-equations_1.3.2-9.2-1_s390x.deb 13-Jul-2026 09:20 9407456
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.