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