Information for file /usr/lib/gap/grp/imf.gi
| Name | /usr/lib/gap/grp/imf.gi |
|---|---|
| Digest (sha256) | b1a4eddd08c694bcb08b76b749b97c7c033f319c6571529922cd35c3c3b8329e |
| Size | 18.92 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-1.fc31.noarch.rpm |
