Name Last modified Size Description Parent Directory - envrc-0.11 13-May-2024 03:31 555 idris-mode-1.0 07-May-2024 03:15 634 idris-mode-9999 07-May-2024 03:15 596 inheritenv-0.2 13-May-2024 03:31 547 prop-menu-0.1.2 07-May-2024 03:15 575