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_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.2.0-2build7_arm64.deb 19-Nov-2024 23:41 11446278 libcoq-mathcomp-algebra_2.2.0-2build8_arm64.deb 21-Nov-2024 11:11 11143746 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_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.2.0-2build7_arm64.deb 19-Nov-2024 23:41 4681888 libcoq-mathcomp-character_2.2.0-2build8_arm64.deb 21-Nov-2024 11:11 4714672 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_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.2.0-2build7_arm64.deb 19-Nov-2024 23:41 3635350 libcoq-mathcomp-field_2.2.0-2build8_arm64.deb 21-Nov-2024 11:11 3619392 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_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.2.0-2build7_arm64.deb 19-Nov-2024 23:41 2390978 libcoq-mathcomp-fingroup_2.2.0-2build8_arm64.deb 21-Nov-2024 11:11 2376834 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_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.2.0-2build7_arm64.deb 19-Nov-2024 23:41 5272044 libcoq-mathcomp-solvable_2.2.0-2build8_arm64.deb 21-Nov-2024 11:11 5361754 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_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.2.0-2build7_arm64.deb 19-Nov-2024 23:41 6871438 libcoq-mathcomp-ssreflect_2.2.0-2build8_arm64.deb 21-Nov-2024 11:11 6655208 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_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.2.0-2build7_arm64.deb 19-Nov-2024 23:41 2451658 libcoq-mathcomp_2.2.0-2build8_arm64.deb 21-Nov-2024 11:11 2444394 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.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-2build7.debian.tar.xz 19-Nov-2024 22:45 12860 ssreflect_2.2.0-2build7.dsc 19-Nov-2024 22:45 2621 ssreflect_2.2.0-2build8.debian.tar.xz 21-Nov-2024 10:15 12868 ssreflect_2.2.0-2build8.dsc 21-Nov-2024 10:15 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.