New version: JuMP v1.4.0 (#71272)

UUID: 4076af6c-e467-56ae-b986-b466b2749572 Repo: https://github.com/jump-dev/JuMP.jl.git Tree: 9a57156b97ed7821493c9c0a65f5b72710b38cf7 Registrator tree SHA: 8e1a5ac2695627143951512d700c7e3c445102ec
JuliaRegistries · Oct 29, 2022 · d8010e9 · d8010e9
1 parent 058fd4b
commit d8010e9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/J/JuMP/Versions.toml b/J/JuMP/Versions.toml
@@ -99,3 +99,6 @@ git-tree-sha1 = "906e2325c22ba8aaed432677d0a8d5cf24c9ea9e"
 
 ["1.3.1"]
 git-tree-sha1 = "8c0aacbcb0530d6fdc2650fe8cd312e7da452dbc"
+
+["1.4.0"]
+git-tree-sha1 = "9a57156b97ed7821493c9c0a65f5b72710b38cf7"