Information for file /usr/bin/nauty-dretodot
Name | /usr/bin/nauty-dretodot |
---|---|
Digest (sha256) | c35bdc6f83cdfd6028a45eee72605762aece78f75c70b0476d361a721c606708 |
Size | 23.90 KB |
Modification time | Sat, 01 Dec 2018 22:38:50 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | nauty-2.6.11-1.fc30.riscv64.rpm |