Information for file /usr/bin/nauty-dretodot
Name | /usr/bin/nauty-dretodot |
---|---|
Digest (sha256) | 0ad98403729caa0a560b493f3068dfb11712e74bff6b4fde456693753a4801a5 |
Size | 23.81 KB |
Modification time | Fri, 10 Aug 2018 11:59:24 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | nauty-2.6.10-3.fc29.riscv64.rpm |