summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark/files/why3-for-spark-2020-gentoo.patch
AgeCommit message (Expand)Author
2021-02-13gentoo (valentine's day) resync : 14.02.2021V3n3RiX