files

     _                _          _     
 ___| |__   ___  _ __| | __  ___| |__  
/ __| '_ \ / _ \| '__| |/ / / __| '_ \ 
\__ \ | | | (_) | |  |   < | (__| | | |
|___/_| |_|\___/|_|  |_|\_(_)___|_| |_|

Rsync: rsync://mirrors.shork.ch/gentoo/sci-mathematics/why3-for-spark/files/

Contact: admin@shork.ch

0 directories 7 files 3.0 KiB total

List Grid

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-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
why3-for-spark-2023.12.13-yojson3.patch	449 B	02/20/2026 01:11:40 PM +00:00