Index of /pardus/pool/main/c/coquelicot/
../
coquelicot_0.9.6-1.debian.tar.xz 25-Aug-2021 04:26 34K
coquelicot_0.9.6-1.dsc 25-Aug-2021 04:26 2454
coquelicot_0.9.6-1_all.deb 25-Aug-2021 03:45 290K
coquelicot_0.9.6.orig.tar.gz 25-Aug-2021 04:26 187K
coquelicot_3.2.0-8.debian.tar.xz 10-Feb-2023 17:33 2372
coquelicot_3.2.0-8.dsc 10-Feb-2023 17:33 2085
coquelicot_3.2.0.orig.tar.gz 28-Nov-2022 17:12 271K
coquelicot_3.4.3-1.debian.tar.xz 13-Aug-2025 03:40 2276
coquelicot_3.4.3-1.dsc 13-Aug-2025 03:40 2100
coquelicot_3.4.3.orig.tar.bz2 13-Aug-2025 03:40 225K
libcoq-coquelicot_3.2.0-8+b1_amd64.deb 28-Apr-2023 18:03 3M
libcoq-coquelicot_3.2.0-8+b1_arm64.deb 28-Apr-2023 18:41 3M
libcoq-coquelicot_3.2.0-8+b1_i386.deb 28-Apr-2023 18:29 3M
libcoq-coquelicot_3.4.3-1+b3_amd64.deb 12-Aug-2025 23:33 3M
libcoq-coquelicot_3.4.3-1+b3_arm64.deb 13-Aug-2025 05:21 3M