The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ 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-3build6.debian.tar.xz 17-Sep-2024 15:51 2340 coquelicot_3.4.1-3build6.dsc 17-Sep-2024 15:51 2084 coquelicot_3.4.1.orig.tar.gz 20-Jan-2024 23:35 281532 coquelicot_3.4.2-1build1.debian.tar.xz 21-Nov-2024 07:16 2332 coquelicot_3.4.2-1build1.dsc 21-Nov-2024 07:16 2087 coquelicot_3.4.2-1build2.debian.tar.xz 20-Dec-2024 14:16 2384 coquelicot_3.4.2-1build2.dsc 20-Dec-2024 14:16 2087 coquelicot_3.4.2.orig.tar.bz2 20-Nov-2024 18:47 230261 libcoq-coquelicot_3.4.1-1build5_amd64.deb 08-Apr-2024 14:36 3768322 libcoq-coquelicot_3.4.1-3build6_amd64.deb 19-Sep-2024 23:39 3863634 libcoq-coquelicot_3.4.2-1build1_amd64.deb 21-Nov-2024 14:01 3855812 libcoq-coquelicot_3.4.2-1build2_amd64.deb 20-Dec-2024 14:16 3856016
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.