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