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 | Tue, 03 Nov 2015 13:24:53 CET |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | gmp-devel-1:6.0.0-12.el7_1.x86_64.rpm |