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