| 📂 Parent Directory | | |
| 📄 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+b2_armhf.deb | 2025-07-04 04:08:02 | 7.26 MB |
| 📄 why3-coq_1.3.3-1+b5_armhf.deb | 2021-01-25 06:40:13 | 739.12 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-html_1.8.2-1_all.deb | 2025-09-23 21:41:00 | 1.24 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-doc-pdf_1.8.2-1_all.deb | 2025-09-23 21:41:00 | 1.33 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-examples_1.8.2-1_all.deb | 2025-09-23 21:41:00 | 4.08 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+b2_armhf.deb | 2025-07-04 04: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 |
| 📄 why3_1.8.2-1.debian.tar.xz | 2025-09-23 20:53:13 | 19.04 KB |
| 📄 why3_1.8.2-1.dsc | 2025-09-23 20:53:13 | 2.61 KB |
| 📄 why3_1.8.2.orig.tar.bz2 | 2025-09-23 20:53:13 | 6.34 MB |
