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