Tue, 17 Dec 2024 02:39:11 UTC | login

Information for file semigroups-0.20.tar.gz

Namesemigroups-0.20.tar.gz
Digest (sha256)902d2e33c96b40a89de5957f2a9e097197afcc35e257e45b32ebe770993673e1
Size18.35 KB
Modification timeSun, 22 Jan 2023 17:36:43 UTC
Userroot
Grouproot
Mode-rw-rw-r--
Flags
RPMghc-semigroups-0.20-9.fc41.src.rpm