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