Name Last modified Size Description Parent Directory - semigroupoids-5.3.7-r1.ebuild 01-Oct-2024 23:41 1.6K Manifest 01-Oct-2024 23:41 921 metadata.xml 10-Aug-2022 05:40 335