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+b17_amd64.deb 13-Feb-2026 22:02 12036408 libcoq-mathcomp-algebra_2.3.0-1+b17_arm64.deb 13-Feb-2026 19:32 12038364 libcoq-mathcomp-algebra_2.3.0-1+b7_amd64.deb 15-Jun-2025 04:01 12038648 libcoq-mathcomp-algebra_2.3.0-1+b7_arm64.deb 15-Jun-2025 07:18 12036572 libcoq-mathcomp-algebra_2.5.0-2+b1_arm64.deb 15-Feb-2026 18:05 34306916 libcoq-mathcomp-algebra_2.5.0-2+b2_amd64.deb 15-Feb-2026 16:03 34256292 libcoq-mathcomp-boot_2.5.0-2+b1_arm64.deb 15-Feb-2026 18:05 9129732 libcoq-mathcomp-boot_2.5.0-2+b2_amd64.deb 15-Feb-2026 16:03 9130916 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+b17_amd64.deb 13-Feb-2026 22:02 4287248 libcoq-mathcomp-character_2.3.0-1+b17_arm64.deb 13-Feb-2026 19:32 4288000 libcoq-mathcomp-character_2.3.0-1+b7_amd64.deb 15-Jun-2025 04:01 4289280 libcoq-mathcomp-character_2.3.0-1+b7_arm64.deb 15-Jun-2025 07:18 4285328 libcoq-mathcomp-character_2.5.0-2+b1_arm64.deb 15-Feb-2026 18:05 5031464 libcoq-mathcomp-character_2.5.0-2+b2_amd64.deb 15-Feb-2026 16:03 5028604 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+b17_amd64.deb 13-Feb-2026 22:02 3405972 libcoq-mathcomp-field_2.3.0-1+b17_arm64.deb 13-Feb-2026 19:32 3405932 libcoq-mathcomp-field_2.3.0-1+b7_amd64.deb 15-Jun-2025 04:01 3406296 libcoq-mathcomp-field_2.3.0-1+b7_arm64.deb 15-Jun-2025 07:18 3407504 libcoq-mathcomp-field_2.5.0-2+b1_arm64.deb 15-Feb-2026 18:05 6060800 libcoq-mathcomp-field_2.5.0-2+b2_amd64.deb 15-Feb-2026 16:03 6061396 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+b17_amd64.deb 13-Feb-2026 22:02 2299160 libcoq-mathcomp-fingroup_2.3.0-1+b17_arm64.deb 13-Feb-2026 19:32 2299052 libcoq-mathcomp-fingroup_2.3.0-1+b7_amd64.deb 15-Jun-2025 04:01 2300100 libcoq-mathcomp-fingroup_2.3.0-1+b7_arm64.deb 15-Jun-2025 07:18 2299632 libcoq-mathcomp-fingroup_2.5.0-2+b1_arm64.deb 15-Feb-2026 18:05 2891308 libcoq-mathcomp-fingroup_2.5.0-2+b2_amd64.deb 15-Feb-2026 16:03 2890836 libcoq-mathcomp-order_2.5.0-2+b1_arm64.deb 15-Feb-2026 18:05 15900100 libcoq-mathcomp-order_2.5.0-2+b2_amd64.deb 15-Feb-2026 16:03 15892956 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+b17_amd64.deb 13-Feb-2026 22:02 4864856 libcoq-mathcomp-solvable_2.3.0-1+b17_arm64.deb 13-Feb-2026 19:32 4864328 libcoq-mathcomp-solvable_2.3.0-1+b7_amd64.deb 15-Jun-2025 04:01 4865908 libcoq-mathcomp-solvable_2.3.0-1+b7_arm64.deb 15-Jun-2025 07:18 4865412 libcoq-mathcomp-solvable_2.5.0-2+b1_arm64.deb 15-Feb-2026 18:05 5314208 libcoq-mathcomp-solvable_2.5.0-2+b2_amd64.deb 15-Feb-2026 16:03 5313768 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+b17_amd64.deb 13-Feb-2026 22:02 8246288 libcoq-mathcomp-ssreflect_2.3.0-1+b17_arm64.deb 13-Feb-2026 19:32 8246052 libcoq-mathcomp-ssreflect_2.3.0-1+b7_amd64.deb 15-Jun-2025 04:01 8255440 libcoq-mathcomp-ssreflect_2.3.0-1+b7_arm64.deb 15-Jun-2025 07:18 8254432 libcoq-mathcomp-ssreflect_2.5.0-2+b1_arm64.deb 15-Feb-2026 18:05 84168 libcoq-mathcomp-ssreflect_2.5.0-2+b2_amd64.deb 15-Feb-2026 16:03 84176 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+b17_amd64.deb 13-Feb-2026 22:02 3063824 libcoq-mathcomp_2.3.0-1+b17_arm64.deb 13-Feb-2026 19:32 3063680 libcoq-mathcomp_2.3.0-1+b7_amd64.deb 15-Jun-2025 04:01 3063580 libcoq-mathcomp_2.3.0-1+b7_arm64.deb 15-Jun-2025 07:18 3063636 libcoq-mathcomp_2.5.0-2+b1_arm64.deb 15-Feb-2026 18:05 85772 libcoq-mathcomp_2.5.0-2+b2_amd64.deb 15-Feb-2026 16:03 85764 libssreflect-coq_1.12.0-1_all.deb 11-Jan-2021 12:56 26421500 mathcomp-doc_2.5.0-2_all.deb 11-Nov-2025 19:42 3644940 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 ssreflect_2.5.0-2.debian.tar.xz 11-Nov-2025 19:42 12996 ssreflect_2.5.0-2.dsc 11-Nov-2025 19:42 2833 ssreflect_2.5.0.orig.tar.gz 31-Oct-2025 09:16 1978658
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.