Index of /gentoo-repo/app-emacs/lean-mode/

../
files/                                             21-Jan-2022 17:17                   -
Manifest                                           21-Jun-2023 22:48                 313
lean-mode-0_p20230611-r1.ebuild                    02-Jan-2025 22:22                 819
metadata.xml                                       08-Mar-2022 14:38                 642