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

../
coquelicot_0.9.2-2.debian.tar.gz                   17-Jun-2013 13:33               26643
coquelicot_0.9.2-2.dsc                             17-Jun-2013 13:33                2283
coquelicot_0.9.2-2_all.deb                         17-Jun-2013 14:33              280832
coquelicot_0.9.2.orig.tar.gz                       17-Jun-2013 13:33              174781
coquelicot_0.9.5-1.debian.tar.xz                   23-Oct-2015 23:36               34380
coquelicot_0.9.5-1.dsc                             23-Oct-2015 23:36                2339
coquelicot_0.9.5-1_all.deb                         24-Oct-2015 02:51              322536
coquelicot_0.9.5.orig.tar.gz                       23-Oct-2015 23:36              187194
coquelicot_0.9.6-1ubuntu1.debian.tar.xz            02-Mar-2018 12:53               34620
coquelicot_0.9.6-1ubuntu1.dsc                      02-Mar-2018 12:53                2211
coquelicot_0.9.6-1ubuntu1_all.deb                  02-Mar-2018 12:53              294376
coquelicot_0.9.6.orig.tar.gz                       21-Dec-2016 01:18              191585
coquelicot_3.2.0-8build2.debian.tar.xz             16-Feb-2023 20:50                2452
coquelicot_3.2.0-8build2.dsc                       16-Feb-2023 20:50                2084
coquelicot_3.2.0.orig.tar.gz                       13-May-2022 09:20              277736
coquelicot_3.3.1-1build1.debian.tar.xz             24-Jul-2023 19:37                1952
coquelicot_3.3.1-1build1.dsc                       24-Jul-2023 19:37                2084
coquelicot_3.3.1.orig.tar.gz                       15-Jun-2023 01:24              279767
coquelicot_3.4.1-1build5.debian.tar.xz             08-Apr-2024 09:57                2324
coquelicot_3.4.1-1build5.dsc                       08-Apr-2024 09:57                2163
coquelicot_3.4.1-2build2.debian.tar.xz             21-May-2024 12:34                2180
coquelicot_3.4.1-2build2.dsc                       21-May-2024 12:34                2084
coquelicot_3.4.1-2build3.debian.tar.xz             03-Jun-2024 23:43                2188
coquelicot_3.4.1-2build3.dsc                       03-Jun-2024 23:43                2084
coquelicot_3.4.1.orig.tar.gz                       21-Jan-2024 01:35              281532
libcoq-coquelicot_3.2.0-8build2_amd64.deb          16-Feb-2023 20:50             3747112
libcoq-coquelicot_3.3.1-1build1_amd64.deb          25-Jul-2023 19:19             3771238
libcoq-coquelicot_3.4.1-1build5_amd64.deb          08-Apr-2024 16:36             3768322
libcoq-coquelicot_3.4.1-2build2_amd64.deb          21-May-2024 16:14             3876650
libcoq-coquelicot_3.4.1-2build3_amd64.deb          05-Jun-2024 23:43             3876464