summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark
ModeNameSize
-rw-r--r--Manifest5082logplain
d---------files417logplain
-rw-r--r--metadata.xml1363logplain
-rw-r--r--why3-for-spark-2018.ebuild1729logplain
-rw-r--r--why3-for-spark-2019-r2.ebuild3000logplain
-rw-r--r--why3-for-spark-2020.ebuild2929logplain
-rw-r--r--why3-for-spark-2021.ebuild3001logplain