Information for file /usr/bin/bonmin
| Name | /usr/bin/bonmin |
|---|---|
| Digest (sha256) | 9980fbbfed5875ae597639b7dd3d7f7f67d00e76fe87226fe67596bdb634e88f |
| Size | 20.40 KB |
| Modification time | Tue, 07 Feb 2023 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | coin-or-Bonmin-1.8.8-12.fc38.riscv64.rpm |
