Information for file /usr/lib/gap/pkg/nautytracesinterface/makedoc.g
| Name | /usr/lib/gap/pkg/nautytracesinterface/makedoc.g |
|---|---|
| Digest (sha256) | 66defac7b85f02f322b63bd64ecc360d1f2db5174f3b02d078859203a3cea88b |
| Size | 372.00 B |
| Modification time | Thu, 12 Sep 2019 08:05:01 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gap-pkg-nautytracesinterface-0.2-10.20190912git7a658d8.fc31.riscv64.rpm |
