Index of /ubuntu/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.2.0-8build2.debian.tar.xz16-Feb-2023 18:50 2.4K
[TXT]coquelicot_3.2.0-8build2.dsc16-Feb-2023 18:50 2.0K
[   ]coquelicot_3.2.0.orig.tar.gz13-May-2022 08:20 271K
[   ]coquelicot_3.3.1-1build1.debian.tar.xz24-Jul-2023 18:37 1.9K
[TXT]coquelicot_3.3.1-1build1.dsc24-Jul-2023 18:37 2.0K
[   ]coquelicot_3.3.1.orig.tar.gz15-Jun-2023 00:24 273K
[   ]coquelicot_3.4.1-1build2.debian.tar.xz17-Feb-2024 00:37 2.1K
[TXT]coquelicot_3.4.1-1build2.dsc17-Feb-2024 00:37 2.0K
[   ]coquelicot_3.4.1-1build3.debian.tar.xz24-Mar-2024 23:33 2.2K
[TXT]coquelicot_3.4.1-1build3.dsc24-Mar-2024 23:33 2.1K
[   ]coquelicot_3.4.1.orig.tar.gz20-Jan-2024 23:35 275K
[   ]libcoq-coquelicot_3.2.0-8build2_amd64.deb16-Feb-2023 18:50 3.6M
[   ]libcoq-coquelicot_3.3.1-1build1_amd64.deb25-Jul-2023 18:19 3.6M
[   ]libcoq-coquelicot_3.4.1-1build2_amd64.deb17-Feb-2024 15:52 3.6M
[   ]libcoq-coquelicot_3.4.1-1build3_amd64.deb24-Mar-2024 23:33 3.6M