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.

Index of /raspbian/raspbian/pool/main/w/why3/

../
libwhy3-ocaml-dev_1.2.0-1_armhf.deb                26-Feb-2019 10:08             7831584
libwhy3-ocaml-dev_1.3.3-1+b5_armhf.deb             25-Jan-2021 06:40             9528900
libwhy3-ocaml-dev_1.5.1-1+b1_armhf.deb             23-Jan-2023 22:08            10557992
libwhy3-ocaml-dev_1.6.0-1+b1_armhf.deb             23-Feb-2024 22:08            10913200
why3-coq_1.2.0-1_armhf.deb                         26-Feb-2019 10:08              602004
why3-coq_1.3.3-1+b5_armhf.deb                      25-Jan-2021 06:40              756860
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.6.0-1_all.deb                      08-Sep-2023 06:42             1039296
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.6.0-1_all.deb                       08-Sep-2023 06:42             1309912
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.6.0-1_all.deb                      08-Sep-2023 06:42             4002940
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_armhf.deb                             26-Feb-2019 10:08            15720756
why3_1.2.0.orig.tar.gz                             15-Feb-2019 20:41             6005013
why3_1.3.3-1+b5_armhf.deb                          25-Jan-2021 06:40            34526216
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+b1_armhf.deb                          23-Jan-2023 22:08             9806984
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.6.0-1+b1_armhf.deb                          23-Feb-2024 22:08            10781264
why3_1.6.0-1.debian.tar.xz                         08-Sep-2023 05:20               18360
why3_1.6.0-1.dsc                                   08-Sep-2023 05:20                2435
why3_1.6.0.orig.tar.gz                             08-Sep-2023 05:20             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.