files

0 directories 7 files 3.7 KiB total

Name	Size	Modified
Up
why3-for-spark-2020-bibtex.patch	288 B	02/09/2021 06:09:17 PM +00:00
why3-for-spark-2020-gentoo.patch	332 B	02/09/2021 06:09:17 PM +00:00
why3-for-spark-2021-flags.patch	1.2 KiB	06/29/2021 08:09:41 PM +00:00
why3-for-spark-2021-make.patch	350 B	04/03/2023 06:40:20 AM +00:00
why3-for-spark-2021-sighandler.patch	408 B	04/12/2025 07:47:36 AM +00:00
why3-for-spark-2023.12.13-flags.patch	863 B	02/07/2025 09:11:26 PM +00:00
why3-for-spark-2023.12.13-spark.patch	357 B	02/11/2025 06:13:38 PM +00:00