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.6-1.1.debian.tar.xz 09-Aug-2018 13:06 34456 coquelicot_0.9.6-1.1.dsc 09-Aug-2018 13:06 2393 coquelicot_0.9.6-1.1_all.deb 09-Aug-2018 13:59 296508 coquelicot_0.9.6.orig.tar.gz 20-Dec-2016 14:48 191585 coquelicot_3.2.0-8.debian.tar.xz 26-Jan-2023 12:44 2372 coquelicot_3.2.0-8.dsc 26-Jan-2023 12:44 2085 coquelicot_3.2.0.orig.tar.gz 09-May-2022 18:11 277736 coquelicot_3.4.1-1.debian.tar.xz 20-Jan-2024 19:16 2068 coquelicot_3.4.1-1.dsc 20-Jan-2024 19:16 2085 coquelicot_3.4.1.orig.tar.gz 20-Jan-2024 19:16 281532 libcoq-coquelicot_3.2.0-8+b3_armhf.deb 22-May-2023 10:08 3256264 libcoq-coquelicot_3.4.1-1+b2_armhf.deb 01-Mar-2024 22:08 3277196
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.