Information for file /usr/lib/gap/pkg/GAPDoc/lib/GAPDoc2HTML.gi
| Name | /usr/lib/gap/pkg/GAPDoc/lib/GAPDoc2HTML.gi |
|---|---|
| Digest (sha256) | e8b6c9a75b69268b72472ac7239202c1f50a3aafda8071279563f594cf55b839 |
| Size | 70.38 KB |
| Modification time | Tue, 28 Nov 2017 13:37:29 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | GAPDoc-1.6.1-1.fc27.noarch.rpm |
