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


../
coquelicot_0.9.2-2.debian.tar.gz                   17-Jun-2013 07:33     26K
coquelicot_0.9.2-2.dsc                             17-Jun-2013 07:33    2283
coquelicot_0.9.2-2_all.deb                         17-Jun-2013 08:33    274K
coquelicot_0.9.2.orig.tar.gz                       17-Jun-2013 07:33    171K
coquelicot_0.9.5-1.debian.tar.xz                   23-Oct-2015 17:36     34K
coquelicot_0.9.5-1.dsc                             23-Oct-2015 17:36    2339
coquelicot_0.9.5-1_all.deb                         23-Oct-2015 20:51    315K
coquelicot_0.9.5.orig.tar.gz                       23-Oct-2015 17:36    183K
coquelicot_0.9.6-1ubuntu1.debian.tar.xz            02-Mar-2018 06:53     34K
coquelicot_0.9.6-1ubuntu1.dsc                      02-Mar-2018 06:53    2211
coquelicot_0.9.6-1ubuntu1_all.deb                  02-Mar-2018 06:53    287K
coquelicot_0.9.6.orig.tar.gz                       20-Dec-2016 19:18    187K
coquelicot_3.4.1-1build5.debian.tar.xz             08-Apr-2024 03:57    2324
coquelicot_3.4.1-1build5.dsc                       08-Apr-2024 03:57    2163
coquelicot_3.4.1-3build6.debian.tar.xz             17-Sep-2024 11:51    2340
coquelicot_3.4.1-3build6.dsc                       17-Sep-2024 11:51    2084
coquelicot_3.4.1.orig.tar.gz                       20-Jan-2024 19:35    275K
coquelicot_3.4.3-1build1.debian.tar.xz             19-Feb-2025 03:52    2356
coquelicot_3.4.3-1build1.dsc                       19-Feb-2025 03:52    2087
coquelicot_3.4.3.orig.tar.bz2                      17-Feb-2025 21:39    225K
libcoq-coquelicot_3.4.1-1build5_amd64.deb          08-Apr-2024 10:36      4M
libcoq-coquelicot_3.4.1-3build6_amd64.deb          19-Sep-2024 19:39      4M
libcoq-coquelicot_3.4.3-1build1_amd64.deb          20-Feb-2025 00:20      4M