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.3.0-1+b3_amd64.deb 28-Jan-2025 19:20 12166464 libcoq-mathcomp-algebra_2.3.0-1+b3_arm64.deb 28-Jan-2025 23:59 12166508 libcoq-mathcomp-algebra_2.3.0-1+b5_amd64.deb 18-Feb-2025 01:52 12035260 libcoq-mathcomp-algebra_2.3.0-1+b5_arm64.deb 18-Feb-2025 05:29 12034508 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.3.0-1+b3_amd64.deb 28-Jan-2025 19:20 4287400 libcoq-mathcomp-character_2.3.0-1+b3_arm64.deb 28-Jan-2025 23:59 4284860 libcoq-mathcomp-character_2.3.0-1+b5_amd64.deb 18-Feb-2025 01:52 4286892 libcoq-mathcomp-character_2.3.0-1+b5_arm64.deb 18-Feb-2025 05:29 4286280 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.3.0-1+b3_amd64.deb 28-Jan-2025 19:20 3451868 libcoq-mathcomp-field_2.3.0-1+b3_arm64.deb 28-Jan-2025 23:59 3453552 libcoq-mathcomp-field_2.3.0-1+b5_amd64.deb 18-Feb-2025 01:52 3406412 libcoq-mathcomp-field_2.3.0-1+b5_arm64.deb 18-Feb-2025 05:29 3406420 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.3.0-1+b3_amd64.deb 28-Jan-2025 19:20 2306900 libcoq-mathcomp-fingroup_2.3.0-1+b3_arm64.deb 28-Jan-2025 23:59 2307628 libcoq-mathcomp-fingroup_2.3.0-1+b5_amd64.deb 18-Feb-2025 01:52 2299696 libcoq-mathcomp-fingroup_2.3.0-1+b5_arm64.deb 18-Feb-2025 05:29 2300708 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.3.0-1+b3_amd64.deb 28-Jan-2025 19:20 4880344 libcoq-mathcomp-solvable_2.3.0-1+b3_arm64.deb 28-Jan-2025 23:59 4880636 libcoq-mathcomp-solvable_2.3.0-1+b5_amd64.deb 18-Feb-2025 01:52 4865040 libcoq-mathcomp-solvable_2.3.0-1+b5_arm64.deb 18-Feb-2025 05:29 4864928 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.3.0-1+b3_amd64.deb 28-Jan-2025 19:20 8308032 libcoq-mathcomp-ssreflect_2.3.0-1+b3_arm64.deb 28-Jan-2025 23:59 8307156 libcoq-mathcomp-ssreflect_2.3.0-1+b5_amd64.deb 18-Feb-2025 01:52 8254704 libcoq-mathcomp-ssreflect_2.3.0-1+b5_arm64.deb 18-Feb-2025 05:29 8253568 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.3.0-1+b3_amd64.deb 28-Jan-2025 19:20 3063696 libcoq-mathcomp_2.3.0-1+b3_arm64.deb 28-Jan-2025 23:59 3063492 libcoq-mathcomp_2.3.0-1+b5_amd64.deb 18-Feb-2025 01:52 3063472 libcoq-mathcomp_2.3.0-1+b5_arm64.deb 18-Feb-2025 05:29 3063488 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.3.0-1.debian.tar.xz 18-Dec-2024 16:08 12672 ssreflect_2.3.0-1.dsc 18-Dec-2024 16:08 2634 ssreflect_2.3.0.orig.tar.gz 18-Dec-2024 16:08 1880788
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.