../ coqeal_1.1.1-3.debian.tar.xz 27-Jan-2023 16:30 2160 coqeal_1.1.1-3.dsc 27-Jan-2023 16:30 2158 coqeal_1.1.1.orig.tar.gz 08-Jul-2022 07:23 218742 coqeal_2.1.0-1.debian.tar.xz 18-Mar-2025 12:33 2408 coqeal_2.1.0-1.dsc 18-Mar-2025 12:33 2184 coqeal_2.1.0.orig.tar.gz 18-Mar-2025 12:33 226713 coqeal_2.1.2-1.debian.tar.xz 29-Jul-2026 15:19 2536 coqeal_2.1.2-1.dsc 29-Jul-2026 15:19 2163 coqeal_2.1.2-2.debian.tar.xz 12-Aug-2026 22:07 2552 coqeal_2.1.2-2.dsc 12-Aug-2026 22:07 2163 coqeal_2.1.2.orig.tar.gz 29-Jul-2026 15:19 227558 libcoq-coqeal_1.1.1-3+b1_amd64.deb 14-Feb-2023 06:27 4620840 libcoq-coqeal_1.1.1-3+b1_arm64.deb 14-Feb-2023 06:27 4619912 libcoq-coqeal_1.1.1-3+b1_armhf.deb 14-Feb-2023 06:26 4618512 libcoq-coqeal_1.1.1-3+b1_i386.deb 14-Feb-2023 06:27 4618560 libcoq-coqeal_1.1.1-3+b1_ppc64el.deb 14-Feb-2023 07:27 4620264 libcoq-coqeal_1.1.1-3+b1_s390x.deb 14-Feb-2023 07:17 4619356 libcoq-coqeal_2.1.0-1+b1_amd64.deb 15-Jun-2025 11:15 5576408 libcoq-coqeal_2.1.0-1+b1_arm64.deb 15-Jun-2025 11:20 5575220 libcoq-coqeal_2.1.0-1+b1_ppc64el.deb 15-Jun-2025 11:25 5575456 libcoq-coqeal_2.1.0-1+b1_riscv64.deb 17-Jun-2025 23:33 5575700 libcoq-coqeal_2.1.0-1+b1_s390x.deb 17-Jun-2025 23:48 5575104 libcoq-coqeal_2.1.0-1+b8_riscv64.deb 29-Dec-2025 00:47 5575140 libcoq-coqeal_2.1.2-2_amd64.deb 13-Aug-2026 06:17 6281816 libcoq-coqeal_2.1.2-2_arm64.deb 13-Aug-2026 00:43 6280284 libcoq-coqeal_2.1.2-2_ppc64el.deb 13-Aug-2026 04:41 6281016 libcoq-coqeal_2.1.2-2_riscv64.deb 13-Aug-2026 20:47 6282772 libcoq-coqeal_2.1.2-2_s390x.deb 12-Aug-2026 22:47 6286596
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.