Information for file /usr/share/info/gmp.info-1.gz
| Name | /usr/share/info/gmp.info-1.gz |
|---|---|
| Digest (sha256) | d7cd086cf8d67463ece1160b3a19d54d2d813d12c4b8fd2ee6c1fea27b15e372 |
| Size | 85762 |
| Modification time | Thu, 03 Aug 2017 03:12:20 CEST |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | gmp-devel-1:6.0.0-15.el7.x86_64.rpm |
