summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild
AgeCommit message (Expand)Author
2020-01-15gentoo resync : 15.01.2020V3n3RiX