Name Last modified Size Description Parent Directory - Manifest 16-May-2025 23:11 1.2K files/ 20-Mar-2025 14:08 - idris2-0.7.0.ebuild 20-Mar-2025 13:38 2.8K metadata.xml 20-Mar-2025 13:38 1.2K