Information for file /usr/share/gap/pkg/corelg/gap/otherStuff.gi
| Name | /usr/share/gap/pkg/corelg/gap/otherStuff.gi |
|---|---|
| Digest (sha256) | 5b020293e4c93e756cc974bb646e460f361200b66ca52a3ce958b48b51706ebb |
| Size | 2.64 KB |
| Modification time | Wed, 23 Feb 2022 23:56:50 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gap-pkg-corelg-1.56-6.fc39.noarch.rpm |
