Name Last modified Size Description Parent Directory - metadata.xml 12-Feb-2025 02:16 332 lambdapi-mode-202611..> 07-Nov-2026 02:26 554 Manifest 07-Nov-2026 02:26 930