- updated to 1.3.1 (note: new soname; build system changed to cmake)
- removed obsolete glpk patch
- -static is gone