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

../
coquelicot_0.9.2-2.debian.tar.gz                   17-Jun-2013 19:33     26K
coquelicot_0.9.2-2.dsc                             17-Jun-2013 19:33    2283
coquelicot_0.9.2-2_all.deb                         17-Jun-2013 20:33    274K
coquelicot_0.9.2.orig.tar.gz                       17-Jun-2013 19:33    171K
coquelicot_0.9.5-1.debian.tar.xz                   24-Oct-2015 05:36     34K
coquelicot_0.9.5-1.dsc                             24-Oct-2015 05:36    2339
coquelicot_0.9.5-1_all.deb                         24-Oct-2015 08:51    315K
coquelicot_0.9.5.orig.tar.gz                       24-Oct-2015 05:36    183K
coquelicot_0.9.6-1ubuntu1.debian.tar.xz            02-Mar-2018 18:53     34K
coquelicot_0.9.6-1ubuntu1.dsc                      02-Mar-2018 18:53    2211
coquelicot_0.9.6-1ubuntu1_all.deb                  02-Mar-2018 18:53    287K
coquelicot_0.9.6.orig.tar.gz                       21-Dec-2016 07:18    187K
coquelicot_3.2.0-8build2.debian.tar.xz             17-Feb-2023 02:50    2452
coquelicot_3.2.0-8build2.dsc                       17-Feb-2023 02:50    2084
coquelicot_3.2.0.orig.tar.gz                       13-May-2022 15:20    271K
coquelicot_3.3.1-1build1.debian.tar.xz             25-Jul-2023 01:37    1952
coquelicot_3.3.1-1build1.dsc                       25-Jul-2023 01:37    2084
coquelicot_3.3.1.orig.tar.gz                       15-Jun-2023 07:24    273K
coquelicot_3.4.1-1build5.debian.tar.xz             08-Apr-2024 15:57    2324
coquelicot_3.4.1-1build5.dsc                       08-Apr-2024 15:57    2163
coquelicot_3.4.1-3build4.debian.tar.xz             08-Sep-2024 11:03    2328
coquelicot_3.4.1-3build4.dsc                       08-Sep-2024 11:03    2084
coquelicot_3.4.1-3build5.debian.tar.xz             12-Sep-2024 04:51    2328
coquelicot_3.4.1-3build5.dsc                       12-Sep-2024 04:51    2084
coquelicot_3.4.1-3build6.debian.tar.xz             17-Sep-2024 23:51    2340
coquelicot_3.4.1-3build6.dsc                       17-Sep-2024 23:51    2084
coquelicot_3.4.1.orig.tar.gz                       21-Jan-2024 07:35    275K
libcoq-coquelicot_3.2.0-8build2_amd64.deb          17-Feb-2023 02:50      4M
libcoq-coquelicot_3.3.1-1build1_amd64.deb          26-Jul-2023 01:19      4M
libcoq-coquelicot_3.4.1-1build5_amd64.deb          08-Apr-2024 22:36      4M
libcoq-coquelicot_3.4.1-3build4_amd64.deb          08-Sep-2024 11:03      4M
libcoq-coquelicot_3.4.1-3build5_amd64.deb          13-Sep-2024 05:28      4M