summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark
ModeNameSize
-rw-r--r--Manifest3466logplain
d---------files367logplain
-rw-r--r--metadata.xml1561logplain
-rw-r--r--why3-for-spark-2021-r1.ebuild3103logplain
-rw-r--r--why3-for-spark-2023.12.13-r2.ebuild3127logplain