Name Last modified Size Description Parent Directory - semigroupoids-5.3.7-r1.ebuild 20-Mar-2025 13:38 1.6K Manifest 20-Mar-2025 13:38 921 metadata.xml 20-Mar-2025 13:38 335