summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild
AgeCommit message (Expand)Author
2021-01-22gentoo resync : 22.01.2021V3n3RiX
2020-06-21gentoo resync : 21.06.2020V3n3RiX
2020-06-13gentoo resync : 13.06.2020V3n3RiX
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-10 01:34:34 +0000