Information for file /usr/bin/nauty-pickg
Name | /usr/bin/nauty-pickg |
---|---|
Digest (sha256) | ba4ea726a36ca212ec14cba2f623b9a484126d645f3328dee941a083ea9b7656 |
Size | 26.28 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 |