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