mirrors/gentoo-ebuilds
3
0
Fork 0
mirror of https://anongit.gentoo.org/git/repo/gentoo.git synced 2025-12-19 16:38:01 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
gentoo-ebuilds/sci-mathematics/why3-for-spark/files
History
Exact
…
..
why3-for-spark-2020-bibtex.patch
why3-for-spark-2020-gentoo.patch
why3-for-spark-2021-flags.patch
why3-for-spark-2021-make.patch
why3-for-spark-2021-sighandler.patch
why3-for-spark-2023.12.13-flags.patch
why3-for-spark-2023.12.13-spark.patch