Information for file /usr/lib/gap/grp/basicprm.gi
| Name | /usr/lib/gap/grp/basicprm.gi |
|---|---|
| Digest (sha256) | da0e8d4d47b3772680becdcba5efeda329a6722dd53a09fff679224583f98133 |
| Size | 12.19 KB |
| Modification time | Wed, 19 Jun 2019 18:51:38 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gap-libs-4.10.2-2.fc31.noarch.rpm |
