Gurobi.jl not released for 1.0 yet?

General Usage
1

(v1.0) pkg> add Gurobi
Cloning git-repo Gurobi
ERROR: Git repository not found at ‘Gurobi’

2

Gurobi is working fine on 1.0 for me. I bet you have a local directory called “Gurobi” and Pkg finds that first, instead of resolving with the registered package Gurobi. But your local directory is not a git repo, hence the error.

Try renaming your local “Gurobi” directory to something else and then run the add command again.

3

This confusion will likely be avoided in the next Pkg release (https://github.com/JuliaLang/Pkg.jl/issues/597).

4

Gurobi is definitely officially released for 1.0, and has been for at least a few weeks.

5

Thanks! I did have a local directory named “Gurobi”, which was used to host the licence file. Your suggestion solved my problem!