Name Last modified Size Description Parent Directory - metadata.xml 05-Apr-2024 03:17 789 idris-mode-9999.ebuild 05-Apr-2024 03:17 699 idris-mode-1.0.ebuild 05-Apr-2024 03:17 699 files/ 05-Apr-2024 03:17 - Manifest 05-Apr-2024 03:17 306