Index of /ubuntu-ports/packages/pool/universe/c/coquelicot/


../
coquelicot_0.9.2-2.debian.tar.gz                   17-Jun-2013 11:33     26K
coquelicot_0.9.2-2.dsc                             17-Jun-2013 11:33    2283
coquelicot_0.9.2-2_all.deb                         17-Jun-2013 12:33    274K
coquelicot_0.9.2.orig.tar.gz                       17-Jun-2013 11:33    171K
coquelicot_0.9.5-1.debian.tar.xz                   23-Oct-2015 21:36     34K
coquelicot_0.9.5-1.dsc                             23-Oct-2015 21:36    2339
coquelicot_0.9.5-1_all.deb                         24-Oct-2015 00:51    315K
coquelicot_0.9.5.orig.tar.gz                       23-Oct-2015 21:36    183K
coquelicot_0.9.6-1ubuntu1.debian.tar.xz            02-Mar-2018 10:53     34K
coquelicot_0.9.6-1ubuntu1.dsc                      02-Mar-2018 10:53    2211
coquelicot_0.9.6-1ubuntu1_all.deb                  02-Mar-2018 10:53    287K
coquelicot_0.9.6.orig.tar.gz                       20-Dec-2016 23:18    187K
libcoq-coquelicot_3.2.0-8build2_arm64.deb          16-Feb-2023 19:44      4M
libcoq-coquelicot_3.2.0-8build2_armhf.deb          16-Feb-2023 18:50      4M
libcoq-coquelicot_3.4.1-1build5_arm64.deb          08-Apr-2024 14:36      4M
libcoq-coquelicot_3.4.1-1build5_armhf.deb          08-Apr-2024 14:36      4M
libcoq-coquelicot_3.4.1-3build6_arm64.deb          19-Sep-2024 23:39      4M
libcoq-coquelicot_3.4.2-1_arm64.deb                20-Nov-2024 18:48      4M
libcoq-coquelicot_3.4.2-1build1_arm64.deb          21-Nov-2024 14:01      4M