Name Last modified Size Description Parent Directory - metadata.xml 20-Mar-2025 20:38 1.2K idris2-0.7.0.ebuild 20-Mar-2025 20:38 2.8K files/ 08-Jul-2025 21:11 - Manifest 17-May-2025 05:11 1.2K