File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
semigroupoids-5.3.4.ebuild | 1.9 KiB | 2021-Jul-27 09:39 |
semigroupoids-5.3.7.ebuild | 1.8 KiB | 2022-Jul-22 22:40 |
metadata.xml | 335 B | 2022-Aug-10 03:40 |
Manifest | 921 B | 2023-Mar-17 18:40 |
semigroupoids-5.3.7-r1.ebuild | 1.6 KiB | 2023-Mar-17 18:40 |