Name Last modified Size Description Parent Directory - metadata.xml 10-Aug-2022 11:40 335 Manifest 18-Mar-2023 02:40 921 semigroupoids-5.3.7-r1.ebuild 18-Mar-2023 02:40 1.6K