summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark
ModeNameSize
-rw-r--r--Manifest319logplain
d---------files439logplain
-rw-r--r--metadata.xml1498logplain
-rw-r--r--why3-for-spark-2023.12.13-r2.ebuild3508logplain