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_amd64.deb 16-Feb-2023 16:34 7357530 libcoq-mathcomp-algebra_1.17.0-1build1_amd64.deb 25-Jul-2023 07:39 7557636 libcoq-mathcomp-algebra_2.1.0-1build4_amd64.deb 08-Apr-2024 13:14 10320130 libcoq-mathcomp-algebra_2.2.0-1_amd64.deb 03-May-2024 10:19 11670456 libcoq-mathcomp-character_1.14.0-7_all.deb 17-Feb-2022 06:11 4591548 libcoq-mathcomp-character_1.15.0-1build5_amd64.deb 16-Feb-2023 16:34 4480642 libcoq-mathcomp-character_1.17.0-1build1_amd64.deb 25-Jul-2023 07:39 4481354 libcoq-mathcomp-character_2.1.0-1build4_amd64.deb 08-Apr-2024 13:14 4414592 libcoq-mathcomp-character_2.2.0-1_amd64.deb 03-May-2024 10:19 4812680 libcoq-mathcomp-field_1.14.0-7_all.deb 17-Feb-2022 06:11 3177868 libcoq-mathcomp-field_1.15.0-1build5_amd64.deb 16-Feb-2023 16:34 3097414 libcoq-mathcomp-field_1.17.0-1build1_amd64.deb 25-Jul-2023 07:39 3097798 libcoq-mathcomp-field_2.1.0-1build4_amd64.deb 08-Apr-2024 13:14 3394214 libcoq-mathcomp-field_2.2.0-1_amd64.deb 03-May-2024 10:19 3675380 libcoq-mathcomp-fingroup_1.14.0-7_all.deb 17-Feb-2022 06:11 2143514 libcoq-mathcomp-fingroup_1.15.0-1build5_amd64.deb 16-Feb-2023 16:34 2133206 libcoq-mathcomp-fingroup_1.17.0-1build1_amd64.deb 25-Jul-2023 07:39 2138362 libcoq-mathcomp-fingroup_2.1.0-1build4_amd64.deb 08-Apr-2024 13:14 2233086 libcoq-mathcomp-fingroup_2.2.0-1_amd64.deb 03-May-2024 10:19 2403738 libcoq-mathcomp-solvable_1.14.0-7_all.deb 17-Feb-2022 06:11 5269708 libcoq-mathcomp-solvable_1.15.0-1build5_amd64.deb 16-Feb-2023 16:34 5110498 libcoq-mathcomp-solvable_1.17.0-1build1_amd64.deb 25-Jul-2023 07:39 5111852 libcoq-mathcomp-solvable_2.1.0-1build4_amd64.deb 08-Apr-2024 13:14 5236658 libcoq-mathcomp-solvable_2.2.0-1_amd64.deb 03-May-2024 10:19 5322920 libcoq-mathcomp-ssreflect_1.14.0-7_all.deb 17-Feb-2022 06:11 4699482 libcoq-mathcomp-ssreflect_1.15.0-1build5_amd64.deb 16-Feb-2023 16:34 4735784 libcoq-mathcomp-ssreflect_1.17.0-1build1_amd64.deb 25-Jul-2023 07:39 4915788 libcoq-mathcomp-ssreflect_2.1.0-1build4_amd64.deb 08-Apr-2024 13:14 6618966 libcoq-mathcomp-ssreflect_2.2.0-1_amd64.deb 03-May-2024 10:19 6935502 libcoq-mathcomp_1.14.0-7_all.deb 17-Feb-2022 06:11 2653510 libcoq-mathcomp_1.15.0-1build5_amd64.deb 16-Feb-2023 16:34 2650110 libcoq-mathcomp_1.17.0-1build1_amd64.deb 25-Jul-2023 07:39 2737462 libcoq-mathcomp_2.1.0-1build4_amd64.deb 08-Apr-2024 13:14 2465172 libcoq-mathcomp_2.2.0-1_amd64.deb 03-May-2024 10:19 2466136 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.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-1.debian.tar.xz 03-May-2024 02:35 12616 ssreflect_2.2.0-1.dsc 03-May-2024 02:35 2622 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.