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.
../ coq-interval_4.10.0-1.debian.tar.xz 26-Apr-2024 14:11 9216 coq-interval_4.10.0-1.dsc 26-Apr-2024 14:11 2194 coq-interval_4.10.0.orig.tar.bz2 26-Apr-2024 14:11 299750 coq-interval_4.6.1-2.debian.tar.xz 27-Jan-2023 06:18 8788 coq-interval_4.6.1-2.dsc 27-Jan-2023 06:18 2187 coq-interval_4.6.1.orig.tar.bz2 13-Dec-2022 10:17 259459 coq-interval_4.9.0-1.debian.tar.xz 22-Dec-2023 11:07 9192 coq-interval_4.9.0-1.dsc 22-Dec-2023 11:07 2187 coq-interval_4.9.0.orig.tar.bz2 22-Dec-2023 11:07 282047 libcoq-interval_4.10.0-1_amd64.deb 30-Apr-2024 16:02 6592716 libcoq-interval_4.10.0-1_arm64.deb 30-Apr-2024 16:12 6593732 libcoq-interval_4.10.0-1_i386.deb 30-Apr-2024 16:02 6600316 libcoq-interval_4.6.1-2+b1_amd64.deb 14-Feb-2023 06:11 4618808 libcoq-interval_4.6.1-2+b1_arm64.deb 14-Feb-2023 06:26 4619788 libcoq-interval_4.6.1-2+b1_i386.deb 14-Feb-2023 06:26 4618276 libcoq-interval_4.9.0-1+b2_amd64.deb 16-Feb-2024 15:40 5799312 libcoq-interval_4.9.0-1+b2_arm64.deb 16-Feb-2024 18:17 5800392 libcoq-interval_4.9.0-1+b2_i386.deb 16-Feb-2024 15:40 5800260
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.