summaryrefslogtreecommitdiff
path: root/sci-mathematics/lean
ModeNameSize
-rw-r--r--Manifest306logplain
-rw-r--r--lean-4.24.0.ebuild1842logplain
-rw-r--r--metadata.xml915logplain
generated by cgit v1.3 (git 2.53.0) at 2026-09-23 11:03:27 +0000