summaryrefslogtreecommitdiff
path: root/sci-mathematics/lean
ModeNameSize
-rw-r--r--Manifest2140logplain
d---------files111logplain
-rw-r--r--lean-3.51.1.ebuild1815logplain
-rw-r--r--lean-4.2.0_rc4.ebuild1320logplain
-rw-r--r--metadata.xml606logplain