diff options
Diffstat (limited to 'thirdparty/linux/lib')
| l---------[-rwxr-xr-x] | thirdparty/linux/lib/x64/libcoinmumps.so | bin | 1647272 -> 21 bytes |
| l---------[-rwxr-xr-x] | thirdparty/linux/lib/x64/libcoinmumps.so.1 | bin | 1647272 -> 21 bytes |
| -rwxr-xr-x | thirdparty/linux/lib/x64/libcoinmumps.so.1.5.4 | bin | 1639895 -> 1647272 bytes |
| -rwxr-xr-x | thirdparty/linux/lib/x64/libipopt.so.1.10.4 | bin | 2568699 -> 0 bytes |
4 files changed, 0 insertions, 0 deletions
diff --git a/thirdparty/linux/lib/x64/libcoinmumps.so b/thirdparty/linux/lib/x64/libcoinmumps.so Binary files differindex 03e6e54..c2d14a9 100755..120000 --- a/thirdparty/linux/lib/x64/libcoinmumps.so +++ b/thirdparty/linux/lib/x64/libcoinmumps.so diff --git a/thirdparty/linux/lib/x64/libcoinmumps.so.1 b/thirdparty/linux/lib/x64/libcoinmumps.so.1 Binary files differindex 03e6e54..c2d14a9 100755..120000 --- a/thirdparty/linux/lib/x64/libcoinmumps.so.1 +++ b/thirdparty/linux/lib/x64/libcoinmumps.so.1 diff --git a/thirdparty/linux/lib/x64/libcoinmumps.so.1.5.4 b/thirdparty/linux/lib/x64/libcoinmumps.so.1.5.4 Binary files differindex 2cb7e1c..03e6e54 100755 --- a/thirdparty/linux/lib/x64/libcoinmumps.so.1.5.4 +++ b/thirdparty/linux/lib/x64/libcoinmumps.so.1.5.4 diff --git a/thirdparty/linux/lib/x64/libipopt.so.1.10.4 b/thirdparty/linux/lib/x64/libipopt.so.1.10.4 Binary files differdeleted file mode 100755 index 7808b17..0000000 --- a/thirdparty/linux/lib/x64/libipopt.so.1.10.4 +++ /dev/null |