Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-flags.patch
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: enabled hypothesis-selectionAlfredo Tupone2021-06-291-0/+9
* sci-mathematics/why3-for-spark: version bump to 2021Alfredo Tupone2021-06-121-0/+28