Information for file /usr/src/debug/Osi-0.107.8/src/Osi
| Name | /usr/src/debug/Osi-0.107.8/src/Osi |
|---|---|
| Digest (sha256) | |
| Size | 4.00 KB |
| Modification time | Fri, 03 Feb 2017 04:09:23 UTC |
| User | root |
| Group | root |
| Mode | drwxr-xr-x |
| Flags | |
| RPM | coin-or-Osi-debuginfo-0.107.8-1.el7.x86_64.rpm |
