summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark
ModeNameSize
-rw-r--r--Manifest2188logplain
d---------files237logplain
-rw-r--r--metadata.xml1486logplain
-rw-r--r--why3-for-spark-2021-r1.ebuild3070logplain