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


../
coquelicot_0.9.2-2_all.deb                         17-Jun-2013 12:33    274K
coquelicot_0.9.2-3_all.deb                         06-May-2014 00:04    305K
coquelicot_0.9.2-4_all.deb                         24-Oct-2014 12:30    305K
coquelicot_0.9.5-1_all.deb                         24-Oct-2015 00:51    315K
coquelicot_0.9.6-1_all.deb                         20-Dec-2016 23:43    287K
coquelicot_0.9.6-1ubuntu1_all.deb                  02-Mar-2018 10:53    287K
libcoq-coquelicot_3.2.0-7build1_amd64.deb          18-Jul-2022 12:09      4M
libcoq-coquelicot_3.2.0-8build2_amd64.deb          16-Feb-2023 18:50      4M
libcoq-coquelicot_3.3.1-1build1_amd64.deb          25-Jul-2023 17:19      4M
libcoq-coquelicot_3.4.1-1build5_amd64.deb          08-Apr-2024 14:36      4M
libcoq-coquelicot_3.4.1-3build6_amd64.deb          19-Sep-2024 23:39      4M