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