/app-emacs/lean-mode/

• ../
• Manifest
• files
• lean-mode-20211220-r1.ebuild
• lean-mode-20220124-r1.ebuild
• lean-mode-20220501.ebuild
• metadata.xml