Information for file /usr/share/man/man1/gp-2.11.1.gz
| Name | /usr/share/man/man1/gp-2.11.1.gz |
|---|---|
| Digest (sha256) | 00b53a1b8319ce561d9055fc17df182d85786a09bdb9e3dbf4aa25c534dc5271 |
| Size | 4.23 KB |
| Modification time | Wed, 25 Jul 2018 18:00:21 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | pari-gp-2.11.2-2.fc31.riscv64.rpm |
