Name Last modified Size Description Parent Directory - metadata.xml 18-Mar-2024 02:46 389 Manifest 07-Aug-2024 02:40 936 semigroupoids-5.3.7-..> 13-May-2023 02:12 1.5K semigroupoids-6.0.1...> 07-Aug-2024 02:40 1.7K