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.14.0-7_all.deb 17-Feb-2022 06:11 7358598 libcoq-mathcomp-algebra_2.1.0-1build4_arm64.deb 08-Apr-2024 13:14 10320056 libcoq-mathcomp-algebra_2.1.0-1build4_armhf.deb 08-Apr-2024 13:14 10321670 libcoq-mathcomp-algebra_2.2.0-2build6_arm64.deb 19-Sep-2024 21:54 11446296 libcoq-mathcomp-algebra_2.3.0-1build1_arm64.deb 20-Dec-2024 05:02 14003406 libcoq-mathcomp-algebra_2.3.0-1build7_arm64.deb 19-Feb-2025 11:16 13839594 libcoq-mathcomp-algebra_2.3.0-1build8_arm64.deb 20-Feb-2025 09:57 13839754 libcoq-mathcomp-character_1.14.0-7_all.deb 17-Feb-2022 06:11 4591548 libcoq-mathcomp-character_2.1.0-1build4_arm64.deb 08-Apr-2024 13:14 4414536 libcoq-mathcomp-character_2.1.0-1build4_armhf.deb 08-Apr-2024 13:14 4413660 libcoq-mathcomp-character_2.2.0-2build6_arm64.deb 19-Sep-2024 21:54 4681860 libcoq-mathcomp-character_2.3.0-1build1_arm64.deb 20-Dec-2024 05:02 4778448 libcoq-mathcomp-character_2.3.0-1build7_arm64.deb 19-Feb-2025 11:16 4777744 libcoq-mathcomp-character_2.3.0-1build8_arm64.deb 20-Feb-2025 09:57 4777902 libcoq-mathcomp-field_1.14.0-7_all.deb 17-Feb-2022 06:11 3177868 libcoq-mathcomp-field_2.1.0-1build4_arm64.deb 08-Apr-2024 13:14 3394170 libcoq-mathcomp-field_2.1.0-1build4_armhf.deb 08-Apr-2024 13:14 3395572 libcoq-mathcomp-field_2.2.0-2build6_arm64.deb 19-Sep-2024 21:54 3635324 libcoq-mathcomp-field_2.3.0-1build1_arm64.deb 20-Dec-2024 05:02 3883682 libcoq-mathcomp-field_2.3.0-1build7_arm64.deb 19-Feb-2025 11:16 3818622 libcoq-mathcomp-field_2.3.0-1build8_arm64.deb 20-Feb-2025 09:57 3818612 libcoq-mathcomp-fingroup_1.14.0-7_all.deb 17-Feb-2022 06:11 2143514 libcoq-mathcomp-fingroup_2.1.0-1build4_arm64.deb 08-Apr-2024 13:14 2233158 libcoq-mathcomp-fingroup_2.1.0-1build4_armhf.deb 08-Apr-2024 13:14 2233190 libcoq-mathcomp-fingroup_2.2.0-2build6_arm64.deb 19-Sep-2024 21:54 2390832 libcoq-mathcomp-fingroup_2.3.0-1build1_arm64.deb 20-Dec-2024 05:02 2556620 libcoq-mathcomp-fingroup_2.3.0-1build7_arm64.deb 19-Feb-2025 11:16 2546498 libcoq-mathcomp-fingroup_2.3.0-1build8_arm64.deb 20-Feb-2025 09:57 2546432 libcoq-mathcomp-solvable_1.14.0-7_all.deb 17-Feb-2022 06:11 5269708 libcoq-mathcomp-solvable_2.1.0-1build4_arm64.deb 08-Apr-2024 13:14 5236746 libcoq-mathcomp-solvable_2.1.0-1build4_armhf.deb 08-Apr-2024 13:14 5237014 libcoq-mathcomp-solvable_2.2.0-2build6_arm64.deb 19-Sep-2024 21:54 5271976 libcoq-mathcomp-solvable_2.3.0-1build1_arm64.deb 20-Dec-2024 05:02 5447628 libcoq-mathcomp-solvable_2.3.0-1build7_arm64.deb 19-Feb-2025 11:16 5437036 libcoq-mathcomp-solvable_2.3.0-1build8_arm64.deb 20-Feb-2025 09:57 5436984 libcoq-mathcomp-ssreflect_1.14.0-7_all.deb 17-Feb-2022 06:11 4699482 libcoq-mathcomp-ssreflect_2.1.0-1build4_arm64.deb 08-Apr-2024 13:14 6618920 libcoq-mathcomp-ssreflect_2.1.0-1build4_armhf.deb 08-Apr-2024 13:14 6618814 libcoq-mathcomp-ssreflect_2.2.0-2build6_arm64.deb 19-Sep-2024 21:54 6871560 libcoq-mathcomp-ssreflect_2.3.0-1build1_arm64.deb 20-Dec-2024 05:02 9569504 libcoq-mathcomp-ssreflect_2.3.0-1build7_arm64.deb 19-Feb-2025 11:16 9503312 libcoq-mathcomp-ssreflect_2.3.0-1build8_arm64.deb 20-Feb-2025 09:57 9503010 libcoq-mathcomp_1.14.0-7_all.deb 17-Feb-2022 06:11 2653510 libcoq-mathcomp_2.1.0-1build4_arm64.deb 08-Apr-2024 13:14 2465114 libcoq-mathcomp_2.1.0-1build4_armhf.deb 08-Apr-2024 13:14 2465174 libcoq-mathcomp_2.2.0-2build6_arm64.deb 19-Sep-2024 21:54 2451812 libcoq-mathcomp_2.3.0-1build1_arm64.deb 20-Dec-2024 05:02 2611170 libcoq-mathcomp_2.3.0-1build7_arm64.deb 19-Feb-2025 11:16 2611344 libcoq-mathcomp_2.3.0-1build8_arm64.deb 20-Feb-2025 09:57 2611578 libssreflect-coq_1.10.0+dfsg-2_all.deb 19-Mar-2020 09:23 25950760 libssreflect-coq_1.5-3build1_all.deb 05-Nov-2015 03:58 1193480 libssreflect-coq_1.5~rc1-3_all.deb 21-Jan-2014 05:53 1188156 libssreflect-coq_1.6.1-3build1_all.deb 28-Oct-2017 17:03 24199944 libssreflect-ocaml-dev_1.5-3build1_arm64.deb 05-Nov-2015 04:13 64046 libssreflect-ocaml-dev_1.5-3build1_armhf.deb 05-Nov-2015 04:13 64094 libssreflect-ocaml-dev_1.5~rc1-3_arm64.deb 21-Jan-2014 06:33 61644 libssreflect-ocaml-dev_1.5~rc1-3_armhf.deb 21-Jan-2014 05:29 61584 libssreflect-ocaml-dev_1.6.1-3build1_arm64.deb 28-Oct-2017 17:44 60276 libssreflect-ocaml-dev_1.6.1-3build1_armhf.deb 28-Oct-2017 17:44 60272 libssreflect-ocaml_1.5-3build1_arm64.deb 05-Nov-2015 04:13 409918 libssreflect-ocaml_1.5-3build1_armhf.deb 05-Nov-2015 04:13 426700 libssreflect-ocaml_1.5~rc1-3_arm64.deb 21-Jan-2014 06:33 105248 libssreflect-ocaml_1.5~rc1-3_armhf.deb 21-Jan-2014 05:29 426058 libssreflect-ocaml_1.6.1-3build1_arm64.deb 28-Oct-2017 17:44 458856 libssreflect-ocaml_1.6.1-3build1_armhf.deb 28-Oct-2017 17:44 383532 ssreflect_1.10.0+dfsg-2.debian.tar.xz 19-Mar-2020 08:48 12676 ssreflect_1.10.0+dfsg-2.dsc 19-Mar-2020 08:48 2129 ssreflect_1.10.0+dfsg.orig.tar.gz 06-Dec-2019 17:38 1218046 ssreflect_1.14.0-7.debian.tar.xz 17-Feb-2022 06:10 12372 ssreflect_1.14.0-7.dsc 17-Feb-2022 06:10 2580 ssreflect_1.14.0.orig.tar.gz 24-Jan-2022 23:34 1352989 ssreflect_1.5-3build1.debian.tar.xz 05-Nov-2015 03:48 11592 ssreflect_1.5-3build1.dsc 05-Nov-2015 03:48 1911 ssreflect_1.5.orig.tar.gz 26-Apr-2014 12:12 217833 ssreflect_1.5~rc1-3.debian.tar.xz 21-Jan-2014 05:18 11448 ssreflect_1.5~rc1-3.dsc 21-Jan-2014 05:18 2240 ssreflect_1.5~rc1.orig.tar.gz 06-Dec-2013 17:23 203960 ssreflect_1.6.1-3build1.debian.tar.xz 28-Oct-2017 16:19 12572 ssreflect_1.6.1-3build1.dsc 28-Oct-2017 16:19 2281 ssreflect_1.6.1.orig.tar.gz 30-Dec-2016 17:13 4691532 ssreflect_2.1.0-1build4.debian.tar.xz 01-Apr-2024 05:44 12836 ssreflect_2.1.0-1build4.dsc 01-Apr-2024 05:44 2700 ssreflect_2.1.0.orig.tar.gz 24-Dec-2023 17:26 1835482 ssreflect_2.2.0-2build6.debian.tar.xz 17-Sep-2024 15:51 12812 ssreflect_2.2.0-2build6.dsc 17-Sep-2024 15:51 2621 ssreflect_2.2.0.orig.tar.gz 03-May-2024 02:35 1839093 ssreflect_2.3.0-1build1.debian.tar.xz 20-Dec-2024 04:00 12732 ssreflect_2.3.0-1build1.dsc 20-Dec-2024 04:00 2621 ssreflect_2.3.0-1build8.debian.tar.xz 19-Feb-2025 23:00 12928 ssreflect_2.3.0-1build8.dsc 19-Feb-2025 23:00 2725 ssreflect_2.3.0.orig.tar.gz 18-Dec-2024 23:41 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.