../ 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.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 281532 coquelicot_3.4.3-1build1.debian.tar.xz 19-Feb-2025 07:52 2356 coquelicot_3.4.3-1build1.dsc 19-Feb-2025 07:52 2087 coquelicot_3.4.3-1build5.debian.tar.xz 31-Aug-2025 19:42 2448 coquelicot_3.4.3-1build5.dsc 31-Aug-2025 19:42 2087 coquelicot_3.4.3-1build7.debian.tar.xz 06-Nov-2025 09:20 2488 coquelicot_3.4.3-1build7.dsc 06-Nov-2025 09:20 2087 coquelicot_3.4.3.orig.tar.bz2 18-Feb-2025 01:39 230324 libcoq-coquelicot_3.4.1-1build5_amd64.deb 08-Apr-2024 14:36 3768322 libcoq-coquelicot_3.4.3-1build1_amd64.deb 20-Feb-2025 04:20 3855942 libcoq-coquelicot_3.4.3-1build5_amd64.deb 01-Sep-2025 19:52 3851922 libcoq-coquelicot_3.4.3-1build7_amd64.deb 06-Nov-2025 20:01 3851710 libcoq-coquelicot_3.4.3-1build7_amd64v3.deb 06-Nov-2025 20:01 3851724
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.