Index of /pool/main/c/coquelicot/

directories: 0, files: 12

NameLast modifiedSize
../
coquelicot_3.4.3-1.debian.tar.xz2025-08-29 12:43:012.22 KiB
coquelicot_0.9.2.orig.tar.gz2019-08-30 00:45:44170.68 KiB
coquelicot_0.9.6.orig.tar.gz2019-08-29 03:39:10187.09 KiB
coquelicot_0.9.2-3~bpo70+1.dsc2019-08-30 00:45:432.24 KiB
coquelicot_3.4.3-1.dsc2025-08-29 12:43:012.05 KiB
coquelicot_0.9.6-1.dsc2019-08-29 03:39:102.40 KiB
libcoq-coquelicot_3.4.3-1+b3_amd64.deb2025-08-29 11:51:483.21 MiB
coquelicot_3.4.3.orig.tar.bz22025-08-29 12:43:01224.93 KiB
coquelicot_0.9.2-3~bpo70+1_all.deb2019-08-30 00:42:22312.75 KiB
coquelicot_0.9.6-1_all.deb2019-08-29 04:34:48289.53 KiB
coquelicot_0.9.6-1.debian.tar.xz2019-08-29 03:39:1033.67 KiB
coquelicot_0.9.2-3~bpo70+1.debian.tar.gz2019-08-30 00:45:4327.17 KiB