Information for file /usr/lib/gap/pkg/GAPDoc/lib/GAPDoc2HTML.gi
| Name | /usr/lib/gap/pkg/GAPDoc/lib/GAPDoc2HTML.gi |
|---|---|
| Digest (sha256) | 0f951ba51291eaed3a89b99c6400bf319828a7e7a90657caf43b04905122825b |
| Size | 69.49 KB |
| Modification time | Thu, 23 Feb 2012 09:59:12 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | GAPDoc-1.5.1-11.fc25.noarch.rpm |
