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