summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
AgeCommit message (Expand)Author
2020-01-15gentoo resync : 15.01.2020V3n3RiX
2019-03-19gentoo resync : 19.03.2019V3n3RiX
2018-12-24gentoo resync : 24.12.2018V3n3RiX
2018-07-14gentoo resync : 14.07.2018V3n3RiX