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_1.15.0-1build5_arm64.deb 16-Feb-2023 17:09 7357456 libcoq-mathcomp-algebra_1.15.0-1build5_armhf.deb 16-Feb-2023 17:09 7359024 libcoq-mathcomp-algebra_1.17.0-1build1_arm64.deb 25-Jul-2023 09:22 7557586 libcoq-mathcomp-algebra_1.17.0-1build1_armhf.deb 25-Jul-2023 07:41 7556306 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-1build3_arm64.deb 15-Jun-2024 23:12 11450270 libcoq-mathcomp-algebra_2.2.0-1build3_armhf.deb 15-Jun-2024 22:32 11451912 libcoq-mathcomp-character_1.14.0-7_all.deb 17-Feb-2022 06:11 4591548 libcoq-mathcomp-character_1.15.0-1build5_arm64.deb 16-Feb-2023 17:09 4480634 libcoq-mathcomp-character_1.15.0-1build5_armhf.deb 16-Feb-2023 17:09 4479344 libcoq-mathcomp-character_1.17.0-1build1_arm64.deb 25-Jul-2023 09:22 4481102 libcoq-mathcomp-character_1.17.0-1build1_armhf.deb 25-Jul-2023 07:41 4481274 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-1build3_arm64.deb 15-Jun-2024 23:12 4681500 libcoq-mathcomp-character_2.2.0-1build3_armhf.deb 15-Jun-2024 22:32 4680710 libcoq-mathcomp-field_1.14.0-7_all.deb 17-Feb-2022 06:11 3177868 libcoq-mathcomp-field_1.15.0-1build5_arm64.deb 16-Feb-2023 17:09 3097482 libcoq-mathcomp-field_1.15.0-1build5_armhf.deb 16-Feb-2023 17:09 3096524 libcoq-mathcomp-field_1.17.0-1build1_arm64.deb 25-Jul-2023 09:22 3097748 libcoq-mathcomp-field_1.17.0-1build1_armhf.deb 25-Jul-2023 07:41 3097702 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-1build3_arm64.deb 15-Jun-2024 23:12 3635802 libcoq-mathcomp-field_2.2.0-1build3_armhf.deb 15-Jun-2024 22:32 3635738 libcoq-mathcomp-fingroup_1.14.0-7_all.deb 17-Feb-2022 06:11 2143514 libcoq-mathcomp-fingroup_1.15.0-1build5_arm64.deb 16-Feb-2023 17:09 2133260 libcoq-mathcomp-fingroup_1.15.0-1build5_armhf.deb 16-Feb-2023 17:09 2132970 libcoq-mathcomp-fingroup_1.17.0-1build1_arm64.deb 25-Jul-2023 09:22 2138422 libcoq-mathcomp-fingroup_1.17.0-1build1_armhf.deb 25-Jul-2023 07:41 2137962 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-1build3_arm64.deb 15-Jun-2024 23:12 2391000 libcoq-mathcomp-fingroup_2.2.0-1build3_armhf.deb 15-Jun-2024 22:32 2390880 libcoq-mathcomp-solvable_1.14.0-7_all.deb 17-Feb-2022 06:11 5269708 libcoq-mathcomp-solvable_1.15.0-1build5_arm64.deb 16-Feb-2023 17:09 5110582 libcoq-mathcomp-solvable_1.15.0-1build5_armhf.deb 16-Feb-2023 17:09 5111636 libcoq-mathcomp-solvable_1.17.0-1build1_arm64.deb 25-Jul-2023 09:22 5111882 libcoq-mathcomp-solvable_1.17.0-1build1_armhf.deb 25-Jul-2023 07:41 5111504 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-1build3_arm64.deb 15-Jun-2024 23:12 5272574 libcoq-mathcomp-solvable_2.2.0-1build3_armhf.deb 15-Jun-2024 22:32 5271320 libcoq-mathcomp-ssreflect_1.14.0-7_all.deb 17-Feb-2022 06:11 4699482 libcoq-mathcomp-ssreflect_1.15.0-1build5_arm64.deb 16-Feb-2023 17:09 4735864 libcoq-mathcomp-ssreflect_1.15.0-1build5_armhf.deb 16-Feb-2023 17:09 4733624 libcoq-mathcomp-ssreflect_1.17.0-1build1_arm64.deb 25-Jul-2023 09:22 4915600 libcoq-mathcomp-ssreflect_1.17.0-1build1_armhf.deb 25-Jul-2023 07:41 4912938 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-1build3_arm64.deb 15-Jun-2024 23:12 6865256 libcoq-mathcomp-ssreflect_2.2.0-1build3_armhf.deb 15-Jun-2024 22:32 6866878 libcoq-mathcomp_1.14.0-7_all.deb 17-Feb-2022 06:11 2653510 libcoq-mathcomp_1.15.0-1build5_arm64.deb 16-Feb-2023 17:09 2650030 libcoq-mathcomp_1.15.0-1build5_armhf.deb 16-Feb-2023 17:09 2650110 libcoq-mathcomp_1.17.0-1build1_arm64.deb 25-Jul-2023 09:22 2737570 libcoq-mathcomp_1.17.0-1build1_armhf.deb 25-Jul-2023 07:41 2737502 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-1build3_arm64.deb 15-Jun-2024 23:12 2453160 libcoq-mathcomp_2.2.0-1build3_armhf.deb 15-Jun-2024 22:32 2453176 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.15.0-1build5.debian.tar.xz 16-Feb-2023 15:54 12500 ssreflect_1.15.0-1build5.dsc 16-Feb-2023 15:54 2602 ssreflect_1.15.0.orig.tar.gz 05-Jul-2022 11:28 1359283 ssreflect_1.17.0-1build1.debian.tar.xz 25-Jul-2023 06:29 12468 ssreflect_1.17.0-1build1.dsc 25-Jul-2023 06:29 2602 ssreflect_1.17.0.orig.tar.gz 14-Jun-2023 05:29 1384329 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-1build3.debian.tar.xz 15-Jun-2024 14:43 12708 ssreflect_2.2.0-1build3.dsc 15-Jun-2024 14:43 2621 ssreflect_2.2.0.orig.tar.gz 03-May-2024 02:35 1839093
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.