Sat, 30 Nov 2024 01:13:07 UTC | login

Information for file semigroupoids-5.3.7.tar.gz

Namesemigroupoids-5.3.7.tar.gz
Digest (sha256)6d45cdb6c58c75ca588859b80b2c92b6f48590a03e065c24ce5d767a6a963799
Size34.52 KB
Modification timeTue, 07 Jun 2022 06:29:26 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMghc-semigroupoids-5.3.7-9.rvre0.fc40.src.rpm