Index of /ubuntu/pool/universe/c/coquelicot/

../
coquelicot_3.4.1-1build5.debian.tar.xz             11-Apr-2024 04:30                2324
coquelicot_3.4.1-1build5.dsc                       11-Apr-2024 04:30                2163
coquelicot_3.4.1.orig.tar.gz                       08-Mar-2024 09:51              281532
coquelicot_3.4.3-1build10.debian.tar.xz            10-Apr-2026 04:59                2556
coquelicot_3.4.3-1build10.dsc                      10-Apr-2026 04:59                2091
coquelicot_3.4.3.orig.tar.bz2                      10-Apr-2026 04:59              230324
libcoq-coquelicot_3.4.1-1build5_amd64.deb          11-Apr-2024 04:30             3768322
libcoq-coquelicot_3.4.3-1build10_amd64.deb         10-Apr-2026 04:59             3851990