Name Last modified Size Description Parent Directory - metadata.xml 13-Aug-2023 02:19 320 Manifest 17-Jul-2024 15:51 925 idris-mode-20240704...> 17-Jul-2024 15:51 453