Closed rlinfati closed 3 months ago
I'll make a PR, but I don't have a machine to test with so I might need your help :smile:
I'll comment with instructions shortly.
I'll see if we can make a new release: https://github.com/jump-dev/Gurobi_jll.jl/pull/21
Otherwise you need ] add Gurobi_jll#master
until the next official release.
A new version is released, so this should work if you update to the latest version.
[[Gurobi]] git-tree-sha1 = " ¿? " arch = "aarch64" os = "linux"