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.
../ coq-theories_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 36501836 coq-theories_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 23925860 coq-theories_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 35237680 coq-theories_8.9.0-1_amd64.deb 06-Feb-2019 18:49 29737672 coq-theories_8.9.0-1_arm64.deb 06-Feb-2019 20:26 20367676 coq-theories_8.9.0-1_i386.deb 06-Feb-2019 20:21 28414968 coq_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 90453192 coq_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 96071892 coq_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 87886220 coq_8.12.0-3.debian.tar.xz 10-Sep-2020 06:38 37772 coq_8.12.0-3.dsc 10-Sep-2020 06:38 2483 coq_8.12.0.orig.tar.gz 22-Aug-2020 09:26 6008211 coq_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 93212572 coq_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 102168100 coq_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 87517396 coq_8.16.1+dfsg-1.debian.tar.xz 29-Nov-2022 08:35 33236 coq_8.16.1+dfsg-1.dsc 29-Nov-2022 08:35 2629 coq_8.16.1+dfsg.orig.tar.xz 29-Nov-2022 08:35 4717668 coq_8.18.0+dfsg-1.debian.tar.xz 21-Dec-2023 13:58 33160 coq_8.18.0+dfsg-1.dsc 21-Dec-2023 13:58 2570 coq_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 81718924 coq_8.18.0+dfsg-1_arm64.deb 21-Dec-2023 15:19 88111040 coq_8.18.0+dfsg-1_i386.deb 21-Dec-2023 18:21 77154484 coq_8.18.0+dfsg.orig.tar.xz 21-Dec-2023 13:58 4868368 coq_8.19.1+dfsg-1.debian.tar.xz 26-Apr-2024 13:46 32828 coq_8.19.1+dfsg-1.dsc 26-Apr-2024 13:46 2573 coq_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 14:22 82150060 coq_8.19.1+dfsg-1_arm64.deb 26-Apr-2024 14:22 88892832 coq_8.19.1+dfsg-1_i386.deb 26-Apr-2024 14:17 77680248 coq_8.19.1+dfsg.orig.tar.bz2 26-Apr-2024 13:46 5589471 coq_8.9.0-1.debian.tar.xz 06-Feb-2019 18:49 27816 coq_8.9.0-1.dsc 06-Feb-2019 18:49 2417 coq_8.9.0-1_amd64.deb 06-Feb-2019 18:49 58990560 coq_8.9.0-1_arm64.deb 06-Feb-2019 20:26 63337232 coq_8.9.0-1_i386.deb 06-Feb-2019 20:21 56195896 coq_8.9.0.orig.tar.gz 06-Feb-2019 18:49 5395769 coqide_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 1879212 coqide_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 2170596 coqide_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 1723020 coqide_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 1993412 coqide_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 2310756 coqide_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 1806236 coqide_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 2000792 coqide_8.18.0+dfsg-1_arm64.deb 21-Dec-2023 15:19 2318272 coqide_8.18.0+dfsg-1_i386.deb 21-Dec-2023 18:21 1814976 coqide_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 14:22 2004000 coqide_8.19.1+dfsg-1_arm64.deb 26-Apr-2024 14:22 2333288 coqide_8.19.1+dfsg-1_i386.deb 26-Apr-2024 14:17 1821136 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 42725424 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 42825080 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 42449528 libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 44441076 libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb 21-Dec-2023 15:19 44516340 libcoq-core-ocaml-dev_8.18.0+dfsg-1_i386.deb 21-Dec-2023 18:21 44137932 libcoq-core-ocaml-dev_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 14:22 45213200 libcoq-core-ocaml-dev_8.19.1+dfsg-1_arm64.deb 26-Apr-2024 14:22 45310560 libcoq-core-ocaml-dev_8.19.1+dfsg-1_i386.deb 26-Apr-2024 14:17 44941516 libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 22556068 libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 23093000 libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 21747176 libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 23212704 libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb 21-Dec-2023 15:19 23774380 libcoq-core-ocaml_8.18.0+dfsg-1_i386.deb 21-Dec-2023 18:21 22395260 libcoq-core-ocaml_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 14:22 23421824 libcoq-core-ocaml_8.19.1+dfsg-1_arm64.deb 26-Apr-2024 14:22 23985268 libcoq-core-ocaml_8.19.1+dfsg-1_i386.deb 26-Apr-2024 14:17 22609644 libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 18727404 libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 18726796 libcoq-ocaml-dev_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 18658564 libcoq-ocaml-dev_8.9.0-1_amd64.deb 06-Feb-2019 18:49 13703936 libcoq-ocaml-dev_8.9.0-1_arm64.deb 06-Feb-2019 20:26 14001864 libcoq-ocaml-dev_8.9.0-1_i386.deb 06-Feb-2019 20:21 13728788 libcoq-ocaml_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 7758156 libcoq-ocaml_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 7980456 libcoq-ocaml_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 7575772 libcoq-ocaml_8.9.0-1_amd64.deb 06-Feb-2019 18:49 5463112 libcoq-ocaml_8.9.0-1_arm64.deb 06-Feb-2019 20:26 5803688 libcoq-ocaml_8.9.0-1_i386.deb 06-Feb-2019 20:21 5186088 libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 21526056 libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 21528036 libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 21528432 libcoq-stdlib_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 23237712 libcoq-stdlib_8.18.0+dfsg-1_arm64.deb 21-Dec-2023 15:19 23241824 libcoq-stdlib_8.18.0+dfsg-1_i386.deb 21-Dec-2023 18:21 23234760 libcoq-stdlib_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 14:22 23660332 libcoq-stdlib_8.19.1+dfsg-1_arm64.deb 26-Apr-2024 14:22 23655448 libcoq-stdlib_8.19.1+dfsg-1_i386.deb 26-Apr-2024 14:17 23652968
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.