summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark
ModeNameSize
-rw-r--r--Manifest1539logplain
d---------files60logplain
-rw-r--r--metadata.xml1301logplain
-rw-r--r--why3-for-spark-2017.ebuild1536logplain