Closed Drup closed 7 years ago
As a temporary fix, we can install the 0.1.8 version with opam by cloning the repo and creating a local package.
Edit: I meant version 0.1.7
I submitted a PR to opam to have 0.1.7: https://github.com/ocaml/opam-repository/pull/7745
Opam has now been updated.
Thank you
Just as note, the current version (0.1.7) is not compatible with glpk:
glp_get_it_cnt
introduced in version 4.53glp_main
removed in version 4.58I am running version 4.57 and it works fine!
Thanks for letting me know, this should be fixed in 0.1.8.
Last version on opam is 0.1.6, which is the one that is broken with recent glpk. :)
Also, to be consistent with other opam packages, I think the name should be simply "glpk".