../ 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 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_amd64.deb 28-Dec-2025 04:45 1199816 libcoq-equations_1.3.1-8.20-1+b5_arm64.deb 28-Dec-2025 04:45 1219840 libcoq-equations_1.3.1-8.20-1+b5_ppc64el.deb 28-Dec-2025 04:45 1202956 libcoq-equations_1.3.1-8.20-1+b5_riscv64.deb 28-Dec-2025 06:42 1202500 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_s390x.deb 28-Dec-2025 04:45 1204668
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.