| Name | /usr/share/coin/Data/Sample/block_milp.dec |
|---|---|
| Digest (sha256) | 506038e06dcef45a48d06362f5d6c42cc485b62c02694d5d14e8e3c3a142b3d8 |
| Size | 235.00 B |
| Modification time | Mon, 05 Jan 2015 10:26:45 CST |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | coin-or-Sample-1.2.12-11.fc41.noarch.rpm |