Filename Modification time Size Manifest 2023-03-17 19:40 CET 921 B metadata.xml 2022-08-10 05:40 CEST 335 B semigroupoids-5.3.7-r1.ebuild 2023-03-17 19:40 CET 1591 B