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_amd64.deb 08-Apr-2024 13:14 10320130 libcoq-mathcomp-algebra_2.2.0-2build6_amd64.deb 19-Sep-2024 21:54 11446404 libcoq-mathcomp-algebra_2.3.0-1build8_amd64.deb 19-Feb-2025 23:02 13840154 libcoq-mathcomp-character_1.14.0-7_all.deb 17-Feb-2022 06:11 4591548 libcoq-mathcomp-character_2.1.0-1build4_amd64.deb 08-Apr-2024 13:14 4414592 libcoq-mathcomp-character_2.2.0-2build6_amd64.deb 19-Sep-2024 21:54 4681888 libcoq-mathcomp-character_2.3.0-1build8_amd64.deb 19-Feb-2025 23:02 4777724 libcoq-mathcomp-field_1.14.0-7_all.deb 17-Feb-2022 06:11 3177868 libcoq-mathcomp-field_2.1.0-1build4_amd64.deb 08-Apr-2024 13:14 3394214 libcoq-mathcomp-field_2.2.0-2build6_amd64.deb 19-Sep-2024 21:54 3635336 libcoq-mathcomp-field_2.3.0-1build8_amd64.deb 19-Feb-2025 23:02 3818616 libcoq-mathcomp-fingroup_1.14.0-7_all.deb 17-Feb-2022 06:11 2143514 libcoq-mathcomp-fingroup_2.1.0-1build4_amd64.deb 08-Apr-2024 13:14 2233086 libcoq-mathcomp-fingroup_2.2.0-2build6_amd64.deb 19-Sep-2024 21:54 2390976 libcoq-mathcomp-fingroup_2.3.0-1build8_amd64.deb 19-Feb-2025 23:02 2546432 libcoq-mathcomp-solvable_1.14.0-7_all.deb 17-Feb-2022 06:11 5269708 libcoq-mathcomp-solvable_2.1.0-1build4_amd64.deb 08-Apr-2024 13:14 5236658 libcoq-mathcomp-solvable_2.2.0-2build6_amd64.deb 19-Sep-2024 21:54 5271884 libcoq-mathcomp-solvable_2.3.0-1build8_amd64.deb 19-Feb-2025 23:02 5436810 libcoq-mathcomp-ssreflect_1.14.0-7_all.deb 17-Feb-2022 06:11 4699482 libcoq-mathcomp-ssreflect_2.1.0-1build4_amd64.deb 08-Apr-2024 13:14 6618966 libcoq-mathcomp-ssreflect_2.2.0-2build6_amd64.deb 19-Sep-2024 21:54 6871330 libcoq-mathcomp-ssreflect_2.3.0-1build8_amd64.deb 19-Feb-2025 23:02 9503148 libcoq-mathcomp_1.14.0-7_all.deb 17-Feb-2022 06:11 2653510 libcoq-mathcomp_2.1.0-1build4_amd64.deb 08-Apr-2024 13:14 2465172 libcoq-mathcomp_2.2.0-2build6_amd64.deb 19-Sep-2024 21:54 2452006 libcoq-mathcomp_2.3.0-1build8_amd64.deb 19-Feb-2025 23:02 2610174 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_amd64.deb 05-Nov-2015 03:58 64096 libssreflect-ocaml-dev_1.5-3build1_i386.deb 05-Nov-2015 03:59 64068 libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb 21-Jan-2014 05:53 61652 libssreflect-ocaml-dev_1.5~rc1-3_i386.deb 21-Jan-2014 05:54 61608 libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb 28-Oct-2017 17:03 60276 libssreflect-ocaml-dev_1.6.1-3build1_i386.deb 28-Oct-2017 17:03 60272 libssreflect-ocaml_1.5-3build1_amd64.deb 05-Nov-2015 03:58 445836 libssreflect-ocaml_1.5-3build1_i386.deb 05-Nov-2015 03:59 393718 libssreflect-ocaml_1.5~rc1-3_amd64.deb 21-Jan-2014 05:53 450496 libssreflect-ocaml_1.5~rc1-3_i386.deb 21-Jan-2014 05:54 390814 libssreflect-ocaml_1.6.1-3build1_amd64.deb 28-Oct-2017 17:03 398912 libssreflect-ocaml_1.6.1-3build1_i386.deb 28-Oct-2017 17:03 348588 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-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.