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.2.0-8build2.debian.tar.xz 16-Feb-2023 18:50 2452 coquelicot_3.2.0-8build2.dsc 16-Feb-2023 18:50 2084 coquelicot_3.2.0.orig.tar.gz 13-May-2022 07:20 277736 coquelicot_3.3.1-1build1.debian.tar.xz 24-Jul-2023 17:37 1952 coquelicot_3.3.1-1build1.dsc 24-Jul-2023 17:37 2084 coquelicot_3.3.1.orig.tar.gz 14-Jun-2023 23:24 279767 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 libcoq-coquelicot_3.2.0-8build2_amd64.deb 16-Feb-2023 18:50 3747112 libcoq-coquelicot_3.3.1-1build1_amd64.deb 25-Jul-2023 17:19 3771238 libcoq-coquelicot_3.4.1-1build5_amd64.deb 08-Apr-2024 14:36 3768322
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.