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