Tag JuMP v0.6.3