| Parent Directory | - | - | - |
| 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 | 214K | - |
| 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 | 221K | - |
| 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-3.debian.tar.xz | 21-Jul-2026 06:56 | 6724 | - |
| coqeal_2.1.1-3.dsc | 21-Jul-2026 06:56 | 2163 | - |
| coqeal_2.1.1.orig.tar.gz | 30-Oct-2025 09:09 | 222K | - |
| libcoq-coqeal_1.1.1-3+b1_amd64.deb | 14-Feb-2023 06:27 | 4M | - |
| libcoq-coqeal_1.1.1-3+b1_arm64.deb | 14-Feb-2023 06:27 | 4M | - |
| libcoq-coqeal_1.1.1-3+b1_armhf.deb | 14-Feb-2023 06:26 | 4M | - |
| libcoq-coqeal_1.1.1-3+b1_i386.deb | 14-Feb-2023 06:27 | 4M | - |
| libcoq-coqeal_1.1.1-3+b1_ppc64el.deb | 14-Feb-2023 07:27 | 4M | - |
| libcoq-coqeal_1.1.1-3+b1_s390x.deb | 14-Feb-2023 07:17 | 4M | - |
| libcoq-coqeal_2.1.0-1+b10_amd64.deb | 13-Feb-2026 23:49 | 5M | - |
| libcoq-coqeal_2.1.0-1+b10_arm64.deb | 13-Feb-2026 21:04 | 5M | - |
| libcoq-coqeal_2.1.0-1+b1_amd64.deb | 15-Jun-2025 11:15 | 5M | - |
| libcoq-coqeal_2.1.0-1+b1_arm64.deb | 15-Jun-2025 11:20 | 5M | - |
| libcoq-coqeal_2.1.0-1+b1_ppc64el.deb | 15-Jun-2025 11:25 | 5M | - |
| libcoq-coqeal_2.1.0-1+b1_riscv64.deb | 17-Jun-2025 23:33 | 5M | - |
| libcoq-coqeal_2.1.0-1+b1_s390x.deb | 17-Jun-2025 23:48 | 5M | - |
| libcoq-coqeal_2.1.0-1+b8_ppc64el.deb | 28-Dec-2025 07:32 | 5M | - |
| libcoq-coqeal_2.1.0-1+b8_riscv64.deb | 29-Dec-2025 00:47 | 5M | - |
| libcoq-coqeal_2.1.0-1+b8_s390x.deb | 28-Dec-2025 08:08 | 5M | - |
| libcoq-coqeal_2.1.1-1_arm64.deb | 30-Oct-2025 15:15 | 5M | - |
| libcoq-coqeal_2.1.1-1_ppc64el.deb | 30-Oct-2025 21:08 | 5M | - |
| libcoq-coqeal_2.1.1-1_s390x.deb | 31-Oct-2025 11:49 | 5M | - |
| libcoq-coqeal_2.1.1-3_amd64.deb | 21-Jul-2026 06:56 | 6M | - |