Index of /ubuntu/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
coquelicot_3.2.0-8build2.debian.tar.xz                                                                                   16-Feb-2023 18:50    2452
coquelicot_3.2.0-8build2.dsc                                                                                             16-Feb-2023 18:50    2084
coquelicot_3.2.0.orig.tar.gz                                                                                             13-May-2022 07:20    271K
coquelicot_3.3.1-1build1.debian.tar.xz                                                                                   24-Jul-2023 17:37    1952
coquelicot_3.3.1-1build1.dsc                                                                                             24-Jul-2023 17:37    2084
coquelicot_3.3.1.orig.tar.gz                                                                                             14-Jun-2023 23:24    273K
coquelicot_3.4.1-1build5.debian.tar.xz                                                                                   08-Apr-2024 07:57    2324
coquelicot_3.4.1-1build5.dsc                                                                                             08-Apr-2024 07:57    2163
coquelicot_3.4.1.orig.tar.gz                                                                                             20-Jan-2024 23:35    275K
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