Index of /app-emacs/lean-mode/

NameLast ModifiedSizeType
../ -  Directory
files/2024-Oct-08 23:11:02-  Directory
Manifest2023-Jun-22 00:10:411.2Kapplication/octet-stream
lean-mode-0_p20230611.ebuild2023-Jun-22 00:10:410.8Kapplication/octet-stream
metadata.xml2022-Mar-08 15:40:070.6Kapplication/xml
lighttpd/1.4.45