Changeset 1249 for ThirdParty/Glpk/stable/1.4/get.Glpk

Timestamp:

Mar 13, 2009 6:46:16 AM (12 years ago)

Author:

stefan

Message:

downgrade to use glpk 4.30 again (because fixes in OsiGlpk? trunk to use it with glpk >= 4.31 are not merged into stable/0.99 yet)

File:

• ThirdParty/Glpk/stable/1.4/get.Glpk (modified) (1 diff)

ThirdParty/Glpk/stable/1.4/get.Glpk

@@ -2 +2 @@
 
 set -e
-glpk_ver=4.31
+glpk_ver=4.30
 
 wgetcmd=wget