../ 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.1-1.debian.tar.xz 30-Oct-2025 09:09 2456 coqeal_2.1.1-1.dsc 30-Oct-2025 09:09 2156 coqeal_2.1.1-2.debian.tar.xz 11-Nov-2025 20:22 2500 coqeal_2.1.1-2.dsc 11-Nov-2025 20:22 2163 coqeal_2.1.1.orig.tar.gz 30-Oct-2025 09:09 227388 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+b7_amd64.deb 28-Oct-2025 22:12 5574896 libcoq-coqeal_2.1.0-1+b7_arm64.deb 28-Oct-2025 22:17 5574264 libcoq-coqeal_2.1.0-1+b7_ppc64el.deb 28-Oct-2025 22:17 5575976 libcoq-coqeal_2.1.0-1+b7_riscv64.deb 29-Oct-2025 13:48 5575248 libcoq-coqeal_2.1.0-1+b7_s390x.deb 28-Oct-2025 22:17 5575472 libcoq-coqeal_2.1.0-1+b8_amd64.deb 28-Dec-2025 07:17 5576928 libcoq-coqeal_2.1.0-1+b8_arm64.deb 28-Dec-2025 07:07 5575784 libcoq-coqeal_2.1.0-1+b8_ppc64el.deb 28-Dec-2025 07:32 5574292 libcoq-coqeal_2.1.0-1+b8_riscv64.deb 29-Dec-2025 00:47 5575140 libcoq-coqeal_2.1.0-1+b8_s390x.deb 28-Dec-2025 08:08 5574724 libcoq-coqeal_2.1.1-1_arm64.deb 30-Oct-2025 15:15 5574836 libcoq-coqeal_2.1.1-1_ppc64el.deb 30-Oct-2025 21:08 5574740 libcoq-coqeal_2.1.1-1_s390x.deb 31-Oct-2025 11:49 5574820 libcoq-coqeal_2.1.1-2_amd64.deb 11-Nov-2025 20:22 8402932
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.