Information for file /usr/share/gap/pkg/corelg/gap/otherStuff.gi

Name/usr/share/gap/pkg/corelg/gap/otherStuff.gi
Digest (sha256)5b020293e4c93e756cc974bb646e460f361200b66ca52a3ce958b48b51706ebb
Size2.64 KB
Modification timeSun, 07 Jul 2024 20:25:30 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgap-pkg-corelg-1.57-4.fc42.noarch.rpm