summaryrefslogtreecommitdiff
path: root/sci-mathematics/lean
ModeNameSize
-rw-r--r--Manifest612logplain
d---------files60logplain
-rw-r--r--lean-4.14.0-r1.ebuild1914logplain
-rw-r--r--lean-4.23.0.ebuild1843logplain
-rw-r--r--metadata.xml954logplain