Name Last modified Size Description Parent Directory - lambdapi-mode-4.0.0...> 06-Nov-2026 02:25 561 Manifest 06-Nov-2026 02:25 914 metadata.xml 17-Jul-2025 02:15 332