Index of /pool/universe/c/coquelicot/

../
coquelicot_0.9.2-2.debian.tar.gz                   17-Jun-2013 17:03     26K
coquelicot_0.9.2-2.dsc                             17-Jun-2013 17:03    2283
coquelicot_0.9.2-2_all.deb                         17-Jun-2013 18:03    274K
coquelicot_0.9.2.orig.tar.gz                       17-Jun-2013 17:03    171K
coquelicot_0.9.5-1.debian.tar.xz                   24-Oct-2015 03:06     34K
coquelicot_0.9.5-1.dsc                             24-Oct-2015 03:06    2339
coquelicot_0.9.5-1_all.deb                         24-Oct-2015 06:21    315K
coquelicot_0.9.5.orig.tar.gz                       24-Oct-2015 03:06    183K
coquelicot_0.9.6-1ubuntu1.debian.tar.xz            02-Mar-2018 16:23     34K
coquelicot_0.9.6-1ubuntu1.dsc                      02-Mar-2018 16:23    2211
coquelicot_0.9.6-1ubuntu1_all.deb                  02-Mar-2018 16:23    287K
coquelicot_0.9.6.orig.tar.gz                       21-Dec-2016 04:48    187K
coquelicot_3.4.1-1build5.debian.tar.xz             08-Apr-2024 13:27    2324
coquelicot_3.4.1-1build5.dsc                       08-Apr-2024 13:27    2163
coquelicot_3.4.1.orig.tar.gz                       21-Jan-2024 05:05    275K
coquelicot_3.4.3-1build1.debian.tar.xz             19-Feb-2025 13:22    2356
coquelicot_3.4.3-1build1.dsc                       19-Feb-2025 13:22    2087
coquelicot_3.4.3-1build5.debian.tar.xz             01-Sep-2025 01:12    2448
coquelicot_3.4.3-1build5.dsc                       01-Sep-2025 01:12    2087
coquelicot_3.4.3.orig.tar.bz2                      18-Feb-2025 07:09    225K
libcoq-coquelicot_3.4.1-1build5_amd64.deb          08-Apr-2024 20:06      4M
libcoq-coquelicot_3.4.3-1build1_amd64.deb          20-Feb-2025 09:50      4M
libcoq-coquelicot_3.4.3-1build5_amd64.deb          02-Sep-2025 01:22      4M