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_amd64.deb 13-Feb-2023 09:55 6501872 libcoq-mathcomp-algebra_1.15.0-1+b4_arm64.deb 13-Feb-2023 10:40 6501116 libcoq-mathcomp-algebra_1.15.0-1+b4_i386.deb 13-Feb-2023 10:00 6501356 libcoq-mathcomp-algebra_2.1.0-1+b1_amd64.deb 16-Feb-2024 14:14 9033180 libcoq-mathcomp-algebra_2.1.0-1+b1_arm64.deb 16-Feb-2024 17:11 9032616 libcoq-mathcomp-algebra_2.1.0-1+b1_i386.deb 16-Feb-2024 14:04 9031064 libcoq-mathcomp-algebra_2.1.0-1+b2_amd64.deb 20-Mar-2024 01:22 9032584 libcoq-mathcomp-algebra_2.1.0-1+b2_arm64.deb 20-Mar-2024 02:24 9033520 libcoq-mathcomp-algebra_2.1.0-1+b2_i386.deb 20-Mar-2024 00:20 9030204 libcoq-mathcomp-character_1.15.0-1+b4_amd64.deb 13-Feb-2023 09:55 3960348 libcoq-mathcomp-character_1.15.0-1+b4_arm64.deb 13-Feb-2023 10:40 3959668 libcoq-mathcomp-character_1.15.0-1+b4_i386.deb 13-Feb-2023 10:00 3959796 libcoq-mathcomp-character_2.1.0-1+b1_amd64.deb 16-Feb-2024 14:14 3941680 libcoq-mathcomp-character_2.1.0-1+b1_arm64.deb 16-Feb-2024 17:11 3941424 libcoq-mathcomp-character_2.1.0-1+b1_i386.deb 16-Feb-2024 14:04 3940896 libcoq-mathcomp-character_2.1.0-1+b2_amd64.deb 20-Mar-2024 01:22 3941264 libcoq-mathcomp-character_2.1.0-1+b2_arm64.deb 20-Mar-2024 02:24 3941532 libcoq-mathcomp-character_2.1.0-1+b2_i386.deb 20-Mar-2024 00:20 3940776 libcoq-mathcomp-field_1.15.0-1+b4_amd64.deb 13-Feb-2023 09:55 2764764 libcoq-mathcomp-field_1.15.0-1+b4_arm64.deb 13-Feb-2023 10:40 2764656 libcoq-mathcomp-field_1.15.0-1+b4_i386.deb 13-Feb-2023 10:00 2765112 libcoq-mathcomp-field_2.1.0-1+b1_amd64.deb 16-Feb-2024 14:14 3041216 libcoq-mathcomp-field_2.1.0-1+b1_arm64.deb 16-Feb-2024 17:11 3041244 libcoq-mathcomp-field_2.1.0-1+b1_i386.deb 16-Feb-2024 14:04 3039472 libcoq-mathcomp-field_2.1.0-1+b2_amd64.deb 20-Mar-2024 01:22 3041352 libcoq-mathcomp-field_2.1.0-1+b2_arm64.deb 20-Mar-2024 02:24 3041472 libcoq-mathcomp-field_2.1.0-1+b2_i386.deb 20-Mar-2024 00:20 3040172 libcoq-mathcomp-fingroup_1.15.0-1+b4_amd64.deb 13-Feb-2023 09:55 1919956 libcoq-mathcomp-fingroup_1.15.0-1+b4_arm64.deb 13-Feb-2023 10:40 1919688 libcoq-mathcomp-fingroup_1.15.0-1+b4_i386.deb 13-Feb-2023 10:00 1919332 libcoq-mathcomp-fingroup_2.1.0-1+b1_amd64.deb 16-Feb-2024 14:14 2020800 libcoq-mathcomp-fingroup_2.1.0-1+b1_arm64.deb 16-Feb-2024 17:11 2020636 libcoq-mathcomp-fingroup_2.1.0-1+b1_i386.deb 16-Feb-2024 14:04 2019904 libcoq-mathcomp-fingroup_2.1.0-1+b2_amd64.deb 20-Mar-2024 01:22 2020700 libcoq-mathcomp-fingroup_2.1.0-1+b2_arm64.deb 20-Mar-2024 02:24 2020300 libcoq-mathcomp-fingroup_2.1.0-1+b2_i386.deb 20-Mar-2024 00:20 2020420 libcoq-mathcomp-solvable_1.15.0-1+b4_amd64.deb 13-Feb-2023 09:55 4535648 libcoq-mathcomp-solvable_1.15.0-1+b4_arm64.deb 13-Feb-2023 10:40 4535188 libcoq-mathcomp-solvable_1.15.0-1+b4_i386.deb 13-Feb-2023 10:00 4535276 libcoq-mathcomp-solvable_2.1.0-1+b1_amd64.deb 16-Feb-2024 14:14 4657308 libcoq-mathcomp-solvable_2.1.0-1+b1_arm64.deb 16-Feb-2024 17:11 4657360 libcoq-mathcomp-solvable_2.1.0-1+b1_i386.deb 16-Feb-2024 14:04 4657308 libcoq-mathcomp-solvable_2.1.0-1+b2_amd64.deb 20-Mar-2024 01:22 4657012 libcoq-mathcomp-solvable_2.1.0-1+b2_arm64.deb 20-Mar-2024 02:24 4657476 libcoq-mathcomp-solvable_2.1.0-1+b2_i386.deb 20-Mar-2024 00:20 4657284 libcoq-mathcomp-ssreflect_1.15.0-1+b4_amd64.deb 13-Feb-2023 09:55 4207844 libcoq-mathcomp-ssreflect_1.15.0-1+b4_arm64.deb 13-Feb-2023 10:40 4207916 libcoq-mathcomp-ssreflect_1.15.0-1+b4_i386.deb 13-Feb-2023 10:00 4206968 libcoq-mathcomp-ssreflect_2.1.0-1+b1_amd64.deb 16-Feb-2024 14:14 5796552 libcoq-mathcomp-ssreflect_2.1.0-1+b1_arm64.deb 16-Feb-2024 17:11 5796184 libcoq-mathcomp-ssreflect_2.1.0-1+b1_i386.deb 16-Feb-2024 14:04 5798568 libcoq-mathcomp-ssreflect_2.1.0-1+b2_amd64.deb 20-Mar-2024 01:22 5796540 libcoq-mathcomp-ssreflect_2.1.0-1+b2_arm64.deb 20-Mar-2024 02:24 5796860 libcoq-mathcomp-ssreflect_2.1.0-1+b2_i386.deb 20-Mar-2024 00:20 5798428 libcoq-mathcomp_1.15.0-1+b4_amd64.deb 13-Feb-2023 09:55 3157880 libcoq-mathcomp_1.15.0-1+b4_arm64.deb 13-Feb-2023 10:40 3157712 libcoq-mathcomp_1.15.0-1+b4_i386.deb 13-Feb-2023 10:00 3157748 libcoq-mathcomp_2.1.0-1+b1_amd64.deb 16-Feb-2024 14:14 2867736 libcoq-mathcomp_2.1.0-1+b1_arm64.deb 16-Feb-2024 17:11 2867404 libcoq-mathcomp_2.1.0-1+b1_i386.deb 16-Feb-2024 14:04 2867696 libcoq-mathcomp_2.1.0-1+b2_amd64.deb 20-Mar-2024 01:22 2867804 libcoq-mathcomp_2.1.0-1+b2_arm64.deb 20-Mar-2024 02:24 2867504 libcoq-mathcomp_2.1.0-1+b2_i386.deb 20-Mar-2024 00:20 2867488 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.