summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-x[l---------]thirdparty/linux/lib/x64/libcoinmumps.sobin21 -> 1647272 bytes
-rwxr-xr-x[l---------]thirdparty/linux/lib/x64/libcoinmumps.so.1bin21 -> 1647272 bytes
-rwxr-xr-xthirdparty/linux/lib/x64/libcoinmumps.so.1.6.0bin0 -> 1647272 bytes
-rwxr-xr-x[l---------]thirdparty/linux/lib/x64/libipopt.sobin18 -> 2919920 bytes
-rwxr-xr-x[l---------]thirdparty/linux/lib/x64/libipopt.so.1bin18 -> 2919920 bytes
-rwxr-xr-xthirdparty/linux/lib/x64/libipopt.so.1.10.7bin0 -> 2919920 bytes
6 files changed, 0 insertions, 0 deletions
diff --git a/thirdparty/linux/lib/x64/libcoinmumps.so b/thirdparty/linux/lib/x64/libcoinmumps.so
index c2d14a9..03e6e54 120000..100755
--- a/thirdparty/linux/lib/x64/libcoinmumps.so
+++ b/thirdparty/linux/lib/x64/libcoinmumps.so
Binary files differ
diff --git a/thirdparty/linux/lib/x64/libcoinmumps.so.1 b/thirdparty/linux/lib/x64/libcoinmumps.so.1
index c2d14a9..03e6e54 120000..100755
--- a/thirdparty/linux/lib/x64/libcoinmumps.so.1
+++ b/thirdparty/linux/lib/x64/libcoinmumps.so.1
Binary files differ
diff --git a/thirdparty/linux/lib/x64/libcoinmumps.so.1.6.0 b/thirdparty/linux/lib/x64/libcoinmumps.so.1.6.0
new file mode 100755
index 0000000..03e6e54
--- /dev/null
+++ b/thirdparty/linux/lib/x64/libcoinmumps.so.1.6.0
Binary files differ
diff --git a/thirdparty/linux/lib/x64/libipopt.so b/thirdparty/linux/lib/x64/libipopt.so
index 5cfe046..e4c262e 120000..100755
--- a/thirdparty/linux/lib/x64/libipopt.so
+++ b/thirdparty/linux/lib/x64/libipopt.so
Binary files differ
diff --git a/thirdparty/linux/lib/x64/libipopt.so.1 b/thirdparty/linux/lib/x64/libipopt.so.1
index 5cfe046..e4c262e 120000..100755
--- a/thirdparty/linux/lib/x64/libipopt.so.1
+++ b/thirdparty/linux/lib/x64/libipopt.so.1
Binary files differ
diff --git a/thirdparty/linux/lib/x64/libipopt.so.1.10.7 b/thirdparty/linux/lib/x64/libipopt.so.1.10.7
new file mode 100755
index 0000000..e4c262e
--- /dev/null
+++ b/thirdparty/linux/lib/x64/libipopt.so.1.10.7
Binary files differ