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.
../ libcoq-mathcomp-algebra_1.15.0-1+b4_armhf.deb 21-May-2023 02:41 6501232 libcoq-mathcomp-algebra_2.1.0-1+b1_armhf.deb 01-Mar-2024 10:08 9030048 libcoq-mathcomp-character_1.15.0-1+b4_armhf.deb 21-May-2023 02:41 3959428 libcoq-mathcomp-character_2.1.0-1+b1_armhf.deb 01-Mar-2024 10:08 3940940 libcoq-mathcomp-field_1.15.0-1+b4_armhf.deb 21-May-2023 02:41 2764748 libcoq-mathcomp-field_2.1.0-1+b1_armhf.deb 01-Mar-2024 10:08 3039900 libcoq-mathcomp-fingroup_1.15.0-1+b4_armhf.deb 21-May-2023 02:41 1919412 libcoq-mathcomp-fingroup_2.1.0-1+b1_armhf.deb 01-Mar-2024 10:08 2020520 libcoq-mathcomp-solvable_1.15.0-1+b4_armhf.deb 21-May-2023 02:41 4534972 libcoq-mathcomp-solvable_2.1.0-1+b1_armhf.deb 01-Mar-2024 10:08 4656900 libcoq-mathcomp-ssreflect_1.15.0-1+b4_armhf.deb 21-May-2023 02:41 4207024 libcoq-mathcomp-ssreflect_2.1.0-1+b1_armhf.deb 01-Mar-2024 10:08 5798328 libcoq-mathcomp_1.15.0-1+b4_armhf.deb 21-May-2023 02:41 3157884 libcoq-mathcomp_2.1.0-1+b1_armhf.deb 01-Mar-2024 10:08 2867676 libssreflect-coq_1.12.0-1_all.deb 11-Jan-2021 12:56 26421500 ssreflect_1.12.0-1.debian.tar.xz 11-Jan-2021 08:58 12792 ssreflect_1.12.0-1.dsc 11-Jan-2021 08:58 2094 ssreflect_1.12.0.orig.tar.gz 11-Jan-2021 08:58 1318853 ssreflect_1.15.0-1.debian.tar.xz 05-Jul-2022 07:05 12380 ssreflect_1.15.0-1.dsc 05-Jul-2022 07:05 2603 ssreflect_1.15.0.orig.tar.gz 05-Jul-2022 07:05 1359283 ssreflect_2.1.0-1.debian.tar.xz 22-Dec-2023 11:07 12608 ssreflect_2.1.0-1.dsc 22-Dec-2023 11:07 2622 ssreflect_2.1.0.orig.tar.gz 22-Dec-2023 11:07 1835482
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.