Name Last modified Size Description Parent Directory - Manifest 2023-03-17 19:40 921 metadata.xml 2022-08-10 05:40 335 semigroupoids-5.3.7-r1.ebuild 2023-03-17 19:40 1.6K