summaryrefslogtreecommitdiff
path: root/sci-mathematics/lean
ModeNameSize
-rw-r--r--Manifest2740logplain
d---------files59logplain
-rw-r--r--lean-3.44.1.ebuild1786logplain
-rw-r--r--lean-3.45.0.ebuild1786logplain
-rw-r--r--lean-3.46.0.ebuild1786logplain
-rw-r--r--lean-3.9999.ebuild1786logplain
-rw-r--r--metadata.xml606logplain