Name Last modified Size Description Parent Directory - Manifest 11-Apr-2025 02:17 905 idris-mode-1.0.ebuild 23-Mar-2023 02:19 460 metadata.xml 23-Mar-2023 02:19 320