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.3.0-1build12_amd64.deb 01-Sep-2025 15:05 13835722 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.3.0-1build12_amd64.deb 01-Sep-2025 15:05 4773488 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.3.0-1build12_amd64.deb 01-Sep-2025 15:05 3813824 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.3.0-1build12_amd64.deb 01-Sep-2025 15:05 2543374 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.3.0-1build12_amd64.deb 01-Sep-2025 15:05 5434688 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.3.0-1build12_amd64.deb 01-Sep-2025 15:05 9495180 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.3.0-1build12_amd64.deb 01-Sep-2025 15:05 2615174 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.3.0-1build12.debian.tar.xz 01-Sep-2025 07:26 13040 ssreflect_2.3.0-1build12.dsc 01-Sep-2025 07:26 2704 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.