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


../
coquelicot_0.9.2-2.debian.tar.gz                   17-Jun-2013 11:33               26643
coquelicot_0.9.2-2.dsc                             17-Jun-2013 11:33                2283
coquelicot_0.9.2-2_all.deb                         17-Jun-2013 12:33              280832
coquelicot_0.9.2.orig.tar.gz                       17-Jun-2013 11:33              174781
coquelicot_0.9.5-1.debian.tar.xz                   23-Oct-2015 21:36               34380
coquelicot_0.9.5-1.dsc                             23-Oct-2015 21:36                2339
coquelicot_0.9.5-1_all.deb                         24-Oct-2015 00:51              322536
coquelicot_0.9.5.orig.tar.gz                       23-Oct-2015 21:36              187194
coquelicot_0.9.6-1ubuntu1.debian.tar.xz            02-Mar-2018 10:53               34620
coquelicot_0.9.6-1ubuntu1.dsc                      02-Mar-2018 10:53                2211
coquelicot_0.9.6-1ubuntu1_all.deb                  02-Mar-2018 10:53              294376
coquelicot_0.9.6.orig.tar.gz                       20-Dec-2016 23:18              191585
coquelicot_3.2.0-7build1.debian.tar.xz             18-Jul-2022 12:09                2440
coquelicot_3.2.0-7build1.dsc                       18-Jul-2022 12:09                1837
coquelicot_3.2.0.orig.tar.gz                       13-May-2022 07:20              277736
libcoq-coquelicot_3.2.0-7build1_amd64.deb          18-Jul-2022 12:09             3764964