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_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.2.0-2build7_amd64.deb 19-Nov-2024 23:41 11446320 libcoq-mathcomp-algebra_2.2.0-2build8_amd64.deb 21-Nov-2024 11:11 11143744 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_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.2.0-2build7_amd64.deb 19-Nov-2024 23:41 4681734 libcoq-mathcomp-character_2.2.0-2build8_amd64.deb 21-Nov-2024 11:11 4714454 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_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.2.0-2build7_amd64.deb 19-Nov-2024 23:41 3635416 libcoq-mathcomp-field_2.2.0-2build8_amd64.deb 21-Nov-2024 11:11 3619536 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_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.2.0-2build7_amd64.deb 19-Nov-2024 23:41 2390842 libcoq-mathcomp-fingroup_2.2.0-2build8_amd64.deb 21-Nov-2024 11:11 2376840 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_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.2.0-2build7_amd64.deb 19-Nov-2024 23:41 5272100 libcoq-mathcomp-solvable_2.2.0-2build8_amd64.deb 21-Nov-2024 11:11 5361522 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_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.2.0-2build7_amd64.deb 19-Nov-2024 23:41 6871374 libcoq-mathcomp-ssreflect_2.2.0-2build8_amd64.deb 21-Nov-2024 11:11 6655270 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_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.2.0-2build7_amd64.deb 19-Nov-2024 23:41 2451860 libcoq-mathcomp_2.2.0-2build8_amd64.deb 21-Nov-2024 11:11 2444482 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.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.