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.
../ libwhy3-ocaml-dev_1.2.0-1_amd64.deb 16-Feb-2019 00:40 7831744 libwhy3-ocaml-dev_1.2.0-1_arm64.deb 15-Feb-2019 21:42 8555572 libwhy3-ocaml-dev_1.2.0-1_i386.deb 15-Feb-2019 22:18 7508580 libwhy3-ocaml-dev_1.3.3-1+b4_amd64.deb 23-Jan-2021 17:41 9624832 libwhy3-ocaml-dev_1.3.3-1+b4_arm64.deb 23-Jan-2021 17:56 10066352 libwhy3-ocaml-dev_1.3.3-1+b4_i386.deb 23-Jan-2021 17:56 9299680 libwhy3-ocaml-dev_1.5.1-1+b2_amd64.deb 03-May-2023 21:14 10650164 libwhy3-ocaml-dev_1.5.1-1+b2_arm64.deb 03-May-2023 21:14 11267432 libwhy3-ocaml-dev_1.5.1-1+b2_i386.deb 03-May-2023 21:57 10200820 libwhy3-ocaml-dev_1.7.2-2+b2_amd64.deb 02-Jan-2025 18:48 12586972 libwhy3-ocaml-dev_1.7.2-2+b2_arm64.deb 02-Jan-2025 18:53 13207492 libwhy3-ocaml-dev_1.7.2-2+b2_i386.deb 02-Jan-2025 18:48 7351272 libwhy3-ocaml-dev_1.8.0-1_amd64.deb 22-Jan-2025 21:41 13046464 libwhy3-ocaml-dev_1.8.0-1_arm64.deb 22-Jan-2025 21:39 13716612 libwhy3-ocaml-dev_1.8.0-1_i386.deb 22-Jan-2025 21:39 7604768 why3-coq_1.2.0-1_amd64.deb 16-Feb-2019 00:40 596752 why3-coq_1.2.0-1_arm64.deb 15-Feb-2019 21:42 596300 why3-coq_1.2.0-1_i386.deb 15-Feb-2019 22:18 601900 why3-coq_1.3.3-1+b4_amd64.deb 23-Jan-2021 17:41 757188 why3-coq_1.3.3-1+b4_arm64.deb 23-Jan-2021 17:56 757328 why3-coq_1.3.3-1+b4_i386.deb 23-Jan-2021 17:56 756948 why3-doc-html_1.2.0-1_all.deb 15-Feb-2019 21:22 362080 why3-doc-html_1.3.3-1_all.deb 23-Sep-2020 20:55 960332 why3-doc-html_1.5.1-1_all.deb 20-Oct-2022 02:29 919472 why3-doc-html_1.7.2-2_all.deb 13-Aug-2024 00:44 1061496 why3-doc-pdf_1.2.0-1_all.deb 15-Feb-2019 21:22 1273924 why3-doc-pdf_1.3.3-1_all.deb 23-Sep-2020 20:55 1056980 why3-doc-pdf_1.5.1-1_all.deb 20-Oct-2022 02:29 1280592 why3-doc-pdf_1.7.2-2_all.deb 13-Aug-2024 00:44 1357496 why3-examples_1.2.0-1_all.deb 15-Feb-2019 21:22 2473392 why3-examples_1.3.3-1_all.deb 23-Sep-2020 20:55 3493616 why3-examples_1.5.1-1_all.deb 20-Oct-2022 02:29 3932100 why3-examples_1.7.2-2_all.deb 13-Aug-2024 00:44 4047648 why3-examples_1.8.0-1_all.deb 22-Jan-2025 21:39 4273252 why3_1.2.0-1.debian.tar.xz 15-Feb-2019 20:41 16332 why3_1.2.0-1.dsc 15-Feb-2019 20:41 2634 why3_1.2.0-1_amd64.deb 16-Feb-2019 00:40 30098028 why3_1.2.0-1_arm64.deb 15-Feb-2019 21:42 38214100 why3_1.2.0-1_i386.deb 15-Feb-2019 22:18 19952852 why3_1.2.0.orig.tar.gz 15-Feb-2019 20:41 6005013 why3_1.3.3-1+b4_amd64.deb 23-Jan-2021 17:41 39497748 why3_1.3.3-1+b4_arm64.deb 23-Jan-2021 17:56 47066368 why3_1.3.3-1+b4_i386.deb 23-Jan-2021 17:56 36232868 why3_1.3.3-1.debian.tar.xz 23-Sep-2020 20:00 18428 why3_1.3.3-1.dsc 23-Sep-2020 20:00 2839 why3_1.3.3.orig.tar.gz 23-Sep-2020 20:00 5807572 why3_1.5.1-1+b2_amd64.deb 03-May-2023 21:14 10013096 why3_1.5.1-1+b2_arm64.deb 03-May-2023 21:14 11884832 why3_1.5.1-1+b2_i386.deb 03-May-2023 21:57 9301112 why3_1.5.1-1.debian.tar.xz 19-Oct-2022 19:24 18464 why3_1.5.1-1.dsc 19-Oct-2022 19:24 2662 why3_1.5.1.orig.tar.gz 19-Oct-2022 19:24 6727576 why3_1.7.2-2+b2_amd64.deb 02-Jan-2025 18:48 10964604 why3_1.7.2-2+b2_arm64.deb 02-Jan-2025 18:53 12269484 why3_1.7.2-2+b2_i386.deb 02-Jan-2025 18:48 25327032 why3_1.7.2-2.debian.tar.xz 12-Aug-2024 23:54 18584 why3_1.7.2-2.dsc 12-Aug-2024 23:54 2452 why3_1.7.2.orig.tar.bz2 12-Aug-2024 10:25 6321645 why3_1.8.0-1.debian.tar.xz 22-Jan-2025 21:04 18808 why3_1.8.0-1.dsc 22-Jan-2025 21:04 2351 why3_1.8.0-1_amd64.deb 22-Jan-2025 21:41 12412392 why3_1.8.0-1_arm64.deb 22-Jan-2025 21:39 13820652 why3_1.8.0-1_i386.deb 22-Jan-2025 21:39 26704952 why3_1.8.0.orig.tar.bz2 22-Jan-2025 21:04 6637327
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.