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