Name Last modified Size Description Parent Directory - metadata.xml 18-Mar-2024 02:46 389 Manifest 21-Jan-2026 02:27 625 semigroupoids-6.0.2...> 21-Jan-2026 02:27 1.6K