summaryrefslogtreecommitdiff
path: root/sci-mathematics/lean
ModeNameSize
-rw-r--r--Manifest3655logplain
d---------files111logplain
-rw-r--r--lean-3.49.0.ebuild1767logplain
-rw-r--r--lean-3.50.3.ebuild1815logplain
-rw-r--r--lean-3.51.0.ebuild1816logplain
-rw-r--r--lean-3.51.1.ebuild1815logplain
-rw-r--r--lean-3.9999.ebuild1816logplain
-rw-r--r--metadata.xml606logplain