| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 why3-for-spark-2020-bibtex.patch | 288 bytes | 2021-02-09 18:09:17 |
| 📄 why3-for-spark-2020-gentoo.patch | 332 bytes | 2021-02-09 18:09:17 |
| 📄 why3-for-spark-2021-flags.patch | 1234 bytes | 2021-06-29 20:09:41 |
| 📄 why3-for-spark-2021-make.patch | 350 bytes | 2023-04-03 06:40:20 |
| 📄 why3-for-spark-2021-sighandler.patch | 408 bytes | 2025-04-12 07:47:36 |
| 📄 why3-for-spark-2023.12.13-flags.patch | 863 bytes | 2025-02-07 21:11:26 |
| 📄 why3-for-spark-2023.12.13-spark.patch | 357 bytes | 2025-02-11 18:13:38 |