Information for file /usr/lib/gap/pkg/GAPDoc/lib/GAPDoc.gd
| Name | /usr/lib/gap/pkg/GAPDoc/lib/GAPDoc.gd |
|---|---|
| Digest (sha256) | 316ea2b7f9db07fbf43c8bb5f41bd8f2c8477ecb3c6a44745144297d7dd0c717 |
| Size | 1.45 KB |
| Modification time | Sun, 20 Nov 2011 21:05:24 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | GAPDoc-1.5.1-11.fc25.noarch.rpm |
