summaryrefslogtreecommitdiff
path: root/sci-mathematics/lean
ModeNameSize
-rw-r--r--Manifest2740logplain
d---------files59logplain
-rw-r--r--lean-3.49.0.ebuild1768logplain
-rw-r--r--lean-3.49.1.ebuild1768logplain
-rw-r--r--lean-3.50.0.ebuild1768logplain
-rw-r--r--lean-3.9999.ebuild1767logplain
-rw-r--r--metadata.xml606logplain