Tag JuMP v0.1.2