* New upstream snapshot. * debian/control: + add git to Recommends (for Julia package manager) + remove dependencies on libglpk-dev (it moved to its own package) + add explicit dependency on libgmp10 (there is no more a wrapper) * fix-clean-rules.patch: remove patch, applied upstream * gsvddense_blasint.patch: new patch * Refresh other patches