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

[ICO]NameLast modifiedSize
[DIR]Parent Directory  -
[ ]coquelicot_0.9.2-2.debian.tar.gz17-Jun-2013 12:33 26K
[TXT]coquelicot_0.9.2-2.dsc17-Jun-2013 12:33 2.2K
[ ]coquelicot_0.9.2-2_all.deb17-Jun-2013 13:33 274K
[ ]coquelicot_0.9.2.orig.tar.gz17-Jun-2013 12:33 171K
[ ]coquelicot_0.9.5-1.debian.tar.xz23-Oct-2015 22:36 34K
[TXT]coquelicot_0.9.5-1.dsc23-Oct-2015 22:36 2.3K
[ ]coquelicot_0.9.5-1_all.deb24-Oct-2015 01:51 315K
[ ]coquelicot_0.9.5.orig.tar.gz23-Oct-2015 22:36 183K
[ ]coquelicot_0.9.6-1ubuntu1.debian.tar.xz02-Mar-2018 10:53 34K
[TXT]coquelicot_0.9.6-1ubuntu1.dsc02-Mar-2018 10:53 2.2K
[ ]coquelicot_0.9.6-1ubuntu1_all.deb02-Mar-2018 10:53 287K
[ ]coquelicot_0.9.6.orig.tar.gz20-Dec-2016 23:18 187K
[ ]coquelicot_3.4.1-1build5.debian.tar.xz08-Apr-2024 08:57 2.3K
[TXT]coquelicot_3.4.1-1build5.dsc08-Apr-2024 08:57 2.1K
[ ]coquelicot_3.4.1-3build6.debian.tar.xz17-Sep-2024 16:51 2.3K
[TXT]coquelicot_3.4.1-3build6.dsc17-Sep-2024 16:51 2.0K
[ ]coquelicot_3.4.1.orig.tar.gz20-Jan-2024 23:35 275K
[ ]coquelicot_3.4.3-1build1.debian.tar.xz19-Feb-2025 07:52 2.3K
[TXT]coquelicot_3.4.3-1build1.dsc19-Feb-2025 07:52 2.0K
[ ]coquelicot_3.4.3-1build2.debian.tar.xz08-May-2025 12:58 2.4K
[TXT]coquelicot_3.4.3-1build2.dsc08-May-2025 12:58 2.0K
[ ]coquelicot_3.4.3.orig.tar.bz218-Feb-2025 01:39 225K
[ ]libcoq-coquelicot_3.4.1-1build5_amd64.deb08-Apr-2024 15:36 3.6M
[ ]libcoq-coquelicot_3.4.1-3build6_amd64.deb20-Sep-2024 00:39 3.7M
[ ]libcoq-coquelicot_3.4.3-1build1_amd64.deb20-Feb-2025 04:20 3.7M
[ ]libcoq-coquelicot_3.4.3-1build2_amd64.deb08-May-2025 16:28 3.7M