Information for file nauty-shared.patch
| Name | nauty-shared.patch |
|---|---|
| Digest (sha256) | 5a00b64d7c8013707e7e32752c21c6cf582b75bbd53fbc8339750ada12bf1fb2 |
| Size | 13.24 KB |
| Modification time | Thu, 16 Jul 2026 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | nauty-2.9.3-4.fc45.src.rpm |
