summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark/metadata.xml
AgeCommit message (Expand)Author
2022-03-20gentoo resync : 20.03.2022V3n3RiX
2021-09-16gentoo resync : 16.09.2021V3n3RiX
2017-10-29gentoo resync : 29.10.2017V3n3RiX
2017-10-20gentoo resync : 20.10.2017V3n3RiX