/sci-mathematics/lean/

• ../
• Manifest
• lean-4.24.0.ebuild
• metadata.xml