Index of /pardus/pool/main/c/coqeal/

../
coqeal_1.1.1-3.debian.tar.xz                       10-Feb-2023 18:20    2160
coqeal_1.1.1-3.dsc                                 10-Feb-2023 18:20    2158
coqeal_1.1.1.orig.tar.gz                           28-Nov-2022 15:07    214K
coqeal_2.1.0-1.debian.tar.xz                       13-Aug-2025 03:12    2408
coqeal_2.1.0-1.dsc                                 13-Aug-2025 03:12    2184
coqeal_2.1.0.orig.tar.gz                           13-Aug-2025 03:12    221K
libcoq-coqeal_1.1.1-3+b1_amd64.deb                 28-Apr-2023 18:24      4M
libcoq-coqeal_1.1.1-3+b1_arm64.deb                 28-Apr-2023 17:53      4M
libcoq-coqeal_1.1.1-3+b1_i386.deb                  28-Apr-2023 18:25      4M
libcoq-coqeal_2.1.0-1+b1_amd64.deb                 13-Aug-2025 02:05      5M
libcoq-coqeal_2.1.0-1+b1_arm64.deb                 13-Aug-2025 00:27      5M