summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
AgeCommit message (Expand)Author
2018-03-27gentoo resync : 27.03.2018V3n3RiX
2017-11-10gentoo resync : 10.11.2017V3n3RiX
2017-11-02gentoo resync : 02.11.2017V3n3RiX
2017-10-29gentoo resync : 29.10.2017V3n3RiX
2017-10-20gentoo resync : 20.10.2017V3n3RiX