| ⬆️Parent directory | — | — |
| 📦libwhy3-ocaml-dev_1.3.3-1+b4_amd64.deb | 9.18M | Sun Jan 24 2021 |
| 📦libwhy3-ocaml-dev_1.3.3-1+b4_i386.deb | 8.87M | Sun Jan 24 2021 |
| 📦libwhy3-ocaml-dev_1.5.1-1+b2_amd64.deb | 10.2M | Thu May 04 2023 |
| 📦libwhy3-ocaml-dev_1.5.1-1+b2_i386.deb | 9.73M | Thu May 04 2023 |
| 📦libwhy3-ocaml-dev_1.8.0-2+b1_amd64.deb | 12.5M | Sun Jun 15 2025 |
| 📦libwhy3-ocaml-dev_1.8.0-2+b1_i386.deb | 7.27M | Sun Jun 15 2025 |
| 📦libwhy3-ocaml-dev_1.8.2-3+b2_amd64.deb | 11.2M | Tue Jul 14 2026 |
| 📦libwhy3-ocaml-dev_1.8.2-3+b2_i386.deb | 5.93M | Tue Jul 14 2026 |
| 📦why3-coq_1.3.3-1+b4_amd64.deb | 740K | Sun Jan 24 2021 |
| 📦why3-coq_1.3.3-1+b4_i386.deb | 740K | Sun Jan 24 2021 |
| 📦why3-doc-html_1.3.3-1_all.deb | 938K | Thu Sep 24 2020 |
| 📦why3-doc-html_1.5.1-1_all.deb | 898K | Thu Oct 20 2022 |
| 📦why3-doc-html_1.8.2-3_all.deb | 1.23M | Tue Jan 06 2026 |
| 📦why3-doc-pdf_1.3.3-1_all.deb | 1.01M | Thu Sep 24 2020 |
| 📦why3-doc-pdf_1.5.1-1_all.deb | 1.23M | Thu Oct 20 2022 |
| 📦why3-doc-pdf_1.8.2-3_all.deb | 1.34M | Tue Jan 06 2026 |
| 📦why3-examples_1.3.3-1_all.deb | 3.34M | Thu Sep 24 2020 |
| 📦why3-examples_1.5.1-1_all.deb | 3.75M | Thu Oct 20 2022 |
| 📦why3-examples_1.8.0-2_all.deb | 4.08M | Sun Feb 02 2025 |
| 📦why3-examples_1.8.2-3_all.deb | 4.08M | Tue Jan 06 2026 |
| 📦why3_1.3.3-1+b4_amd64.deb | 37.7M | Sun Jan 24 2021 |
| 📦why3_1.3.3-1+b4_i386.deb | 34.6M | Sun Jan 24 2021 |
| 📦why3_1.3.3-1.debian.tar.xz | 18K | Thu Sep 24 2020 |
| 📄why3_1.3.3-1.dsc | 2.78K | Thu Sep 24 2020 |
| 📦why3_1.3.3.orig.tar.gz | 5.54M | Thu Sep 24 2020 |
| 📦why3_1.5.1-1+b2_amd64.deb | 9.55M | Thu May 04 2023 |
| 📦why3_1.5.1-1+b2_i386.deb | 8.88M | Thu May 04 2023 |
| 📦why3_1.5.1-1.debian.tar.xz | 18.1K | Thu Oct 20 2022 |
| 📄why3_1.5.1-1.dsc | 2.6K | Thu Oct 20 2022 |
| 📦why3_1.5.1.orig.tar.gz | 6.42M | Thu Oct 20 2022 |
| 📦why3_1.8.0-2+b1_amd64.deb | 11.8M | Sun Jun 15 2025 |
| 📦why3_1.8.0-2+b1_i386.deb | 20.9M | Sun Jun 15 2025 |
| 📦why3_1.8.0-2.debian.tar.xz | 18.5K | Sun Feb 02 2025 |
| 📄why3_1.8.0-2.dsc | 2.09K | Sun Feb 02 2025 |
| 📦why3_1.8.0.orig.tar.bz2 | 6.33M | Thu Jan 23 2025 |
| 📦why3_1.8.2-3+b2_amd64.deb | 12.3M | Tue Jul 14 2026 |
| 📦why3_1.8.2-3+b2_i386.deb | 21.1M | Tue Jul 14 2026 |
| 📦why3_1.8.2-3.debian.tar.xz | 19.2K | Tue Jan 06 2026 |
| 📄why3_1.8.2-3.dsc | 2.62K | Tue Jan 06 2026 |
| 📦why3_1.8.2.orig.tar.bz2 | 6.34M | Wed Sep 24 2025 |