Name | /usr/share/gap/pkg/corelg/gap/otherStuff.gi |
---|---|
Digest (sha256) | 5b020293e4c93e756cc974bb646e460f361200b66ca52a3ce958b48b51706ebb |
Size | 2.64 KB |
Modification time | Sun, 07 Jul 2024 20:25:30 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | gap-pkg-corelg-1.57-4.fc42.noarch.rpm |