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_0.88.3-1ubuntu4_arm64.deb 07-Apr-2018 02:19 2091248 libwhy3-ocaml-dev_0.88.3-1ubuntu4_armhf.deb 07-Apr-2018 02:19 1992380 libwhy3-ocaml-dev_1.2.1-6_arm64.deb 12-Mar-2020 14:23 8818368 libwhy3-ocaml-dev_1.2.1-6_armhf.deb 12-Mar-2020 14:18 8024664 libwhy3-ocaml-dev_1.5.1-1build3_arm64.deb 19-Feb-2023 08:58 13681590 libwhy3-ocaml-dev_1.5.1-1build3_armhf.deb 19-Feb-2023 08:58 12788404 libwhy3-ocaml-dev_1.6.0-1_arm64.deb 11-Sep-2023 10:55 14173436 libwhy3-ocaml-dev_1.6.0-1_armhf.deb 11-Sep-2023 10:55 13203292 libwhy3-ocaml-dev_1.6.0-1build7_arm64.deb 01-Apr-2024 05:46 14211210 libwhy3-ocaml-dev_1.6.0-1build7_armhf.deb 01-Apr-2024 05:46 13233408 why3-coq_0.88.3-1ubuntu4_arm64.deb 07-Apr-2018 02:19 2602572 why3-coq_0.88.3-1ubuntu4_armhf.deb 07-Apr-2018 02:19 2018288 why3-coq_1.2.1-6_arm64.deb 12-Mar-2020 14:23 578540 why3-doc-html_0.88.3-1ubuntu4_all.deb 07-Apr-2018 02:19 363148 why3-doc-html_1.2.1-6_all.deb 12-Mar-2020 14:18 296720 why3-doc-html_1.5.1-1build3_all.deb 19-Feb-2023 08:58 799912 why3-doc-html_1.6.0-1_all.deb 11-Sep-2023 09:44 772810 why3-doc-html_1.6.0-1build7_all.deb 01-Apr-2024 05:45 771212 why3-doc-pdf_0.88.3-1ubuntu4_all.deb 07-Apr-2018 02:19 1241428 why3-doc-pdf_1.2.1-6_all.deb 12-Mar-2020 14:18 1261696 why3-doc-pdf_1.5.1-1build3_all.deb 19-Feb-2023 08:58 1248726 why3-doc-pdf_1.6.0-1_all.deb 11-Sep-2023 09:44 1287030 why3-doc-pdf_1.6.0-1build7_all.deb 01-Apr-2024 05:45 1316094 why3-examples_0.88.3-1ubuntu4_all.deb 07-Apr-2018 02:19 1616868 why3-examples_1.2.1-6_all.deb 12-Mar-2020 14:18 2460588 why3-examples_1.5.1-1build3_all.deb 19-Feb-2023 08:58 3877380 why3-examples_1.6.0-1_all.deb 11-Sep-2023 09:44 3946978 why3-examples_1.6.0-1build7_all.deb 01-Apr-2024 05:45 3947434 why3_0.88.3-1ubuntu4.debian.tar.xz 07-Apr-2018 02:19 13732 why3_0.88.3-1ubuntu4.dsc 07-Apr-2018 02:19 2786 why3_0.88.3-1ubuntu4_arm64.deb 07-Apr-2018 02:19 26797888 why3_0.88.3-1ubuntu4_armhf.deb 07-Apr-2018 02:19 11165216 why3_0.88.3.orig.tar.gz 30-Jan-2018 10:34 4245737 why3_1.2.1-6.debian.tar.xz 12-Mar-2020 14:08 23168 why3_1.2.1-6.dsc 12-Mar-2020 14:08 2774 why3_1.2.1-6_arm64.deb 12-Mar-2020 14:23 39378424 why3_1.2.1-6_armhf.deb 12-Mar-2020 14:18 20417156 why3_1.2.1.orig.tar.gz 31-Oct-2019 09:18 6006383 why3_1.5.1-1build3.debian.tar.xz 19-Feb-2023 08:58 18552 why3_1.5.1-1build3.dsc 19-Feb-2023 08:58 2686 why3_1.5.1-1build3_arm64.deb 19-Feb-2023 08:58 13937584 why3_1.5.1-1build3_armhf.deb 19-Feb-2023 08:58 11433358 why3_1.5.1.orig.tar.gz 06-Nov-2022 04:32 6727576 why3_1.6.0-1.debian.tar.xz 11-Sep-2023 09:44 18360 why3_1.6.0-1.dsc 11-Sep-2023 09:44 2435 why3_1.6.0-1_arm64.deb 11-Sep-2023 10:55 15582168 why3_1.6.0-1_armhf.deb 11-Sep-2023 10:55 11677168 why3_1.6.0-1build7.debian.tar.xz 01-Apr-2024 05:44 18592 why3_1.6.0-1build7.dsc 01-Apr-2024 05:44 2749 why3_1.6.0-1build7_arm64.deb 01-Apr-2024 05:46 16004948 why3_1.6.0-1build7_armhf.deb 01-Apr-2024 05:46 11946360 why3_1.6.0.orig.tar.gz 11-Sep-2023 09:44 6850062
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.