| 📂 Parent Directory | | |
| 📄 libwhy3-ocaml-dev_1.2.0-1_armhf.deb | 2019-02-26 10:08:09 | 7.47 MB |
| 📄 libwhy3-ocaml-dev_1.3.3-1+b5_armhf.deb | 2021-01-25 06:40:13 | 9.09 MB |
| 📄 libwhy3-ocaml-dev_1.5.1-1+b1_armhf.deb | 2023-01-23 22:08:05 | 10.07 MB |
| 📄 libwhy3-ocaml-dev_1.8.0-2+b1_armhf.deb | 2025-02-16 22:08:02 | 7.27 MB |
| 📄 why3-coq_1.2.0-1_armhf.deb | 2019-02-26 10:08:09 | 587.89 KB |
| 📄 why3-coq_1.3.3-1+b5_armhf.deb | 2021-01-25 06:40:13 | 739.12 KB |
| 📄 why3-doc-html_1.2.0-1_all.deb | 2019-02-15 21:22:02 | 353.59 KB |
| 📄 why3-doc-html_1.3.3-1_all.deb | 2020-09-23 20:55:38 | 937.82 KB |
| 📄 why3-doc-html_1.5.1-1_all.deb | 2022-10-20 02:29:52 | 897.92 KB |
| 📄 why3-doc-pdf_1.2.0-1_all.deb | 2019-02-15 21:22:02 | 1.21 MB |
| 📄 why3-doc-pdf_1.3.3-1_all.deb | 2020-09-23 20:55:38 | 1.01 MB |
| 📄 why3-doc-pdf_1.5.1-1_all.deb | 2022-10-20 02:29:52 | 1.22 MB |
| 📄 why3-examples_1.2.0-1_all.deb | 2019-02-15 21:22:02 | 2.36 MB |
| 📄 why3-examples_1.3.3-1_all.deb | 2020-09-23 20:55:38 | 3.33 MB |
| 📄 why3-examples_1.5.1-1_all.deb | 2022-10-20 02:29:52 | 3.75 MB |
| 📄 why3-examples_1.8.0-2_all.deb | 2025-02-02 07:21:28 | 4.08 MB |
| 📄 why3_1.2.0-1.debian.tar.xz | 2019-02-15 20:41:56 | 15.95 KB |
| 📄 why3_1.2.0-1.dsc | 2019-02-15 20:41:56 | 2.57 KB |
| 📄 why3_1.2.0-1_armhf.deb | 2019-02-26 10:08:09 | 14.99 MB |
| 📄 why3_1.2.0.orig.tar.gz | 2019-02-15 20:41:56 | 5.73 MB |
| 📄 why3_1.3.3-1+b5_armhf.deb | 2021-01-25 06:40:13 | 32.93 MB |
| 📄 why3_1.3.3-1.debian.tar.xz | 2020-09-23 20:00:10 | 18 KB |
| 📄 why3_1.3.3-1.dsc | 2020-09-23 20:00:10 | 2.77 KB |
| 📄 why3_1.3.3.orig.tar.gz | 2020-09-23 20:00:10 | 5.54 MB |
| 📄 why3_1.5.1-1+b1_armhf.deb | 2023-01-23 22:08:05 | 9.35 MB |
| 📄 why3_1.5.1-1.debian.tar.xz | 2022-10-19 19:24:47 | 18.03 KB |
| 📄 why3_1.5.1-1.dsc | 2022-10-19 19:24:47 | 2.6 KB |
| 📄 why3_1.5.1.orig.tar.gz | 2022-10-19 19:24:47 | 6.42 MB |
| 📄 why3_1.8.0-2+b1_armhf.deb | 2025-02-16 22:08:02 | 20.84 MB |
| 📄 why3_1.8.0-2.debian.tar.xz | 2025-02-02 06:56:05 | 18.45 KB |
| 📄 why3_1.8.0-2.dsc | 2025-02-02 06:56:05 | 2.09 KB |
| 📄 why3_1.8.0.orig.tar.bz2 | 2025-01-22 21:04:28 | 6.33 MB |
