Information for file /usr/lib/gap/pkg/AutoDoc/gap/DocumentationTree.gi
| Name | /usr/lib/gap/pkg/AutoDoc/gap/DocumentationTree.gi |
|---|---|
| Digest (sha256) | 3be21f6739c7558c31a2f87061704ea5b6048f4ff87284f83a80ed378b31c547 |
| Size | 19.90 KB |
| Modification time | Wed, 04 Sep 2019 11:33:35 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gap-pkg-autodoc-2019.09.04-1.fc31.noarch.rpm |
