Information for file /usr/share/coin/Data/miplib3/gen.gz
| Name | /usr/share/coin/Data/miplib3/gen.gz |
|---|---|
| Digest (sha256) | fe8a0d1c66ef573d9456d3f31613a4d43d87b28dd150581aa8a6517a0c534b2a |
| Size | 15.42 KB |
| Modification time | Fri, 12 May 2006 16:13:46 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | coin-or-Data-miplib3-1.2.8-8.fc39.noarch.rpm |
