New version: KNITRO v0.14.1 (#96413)

UUID: 67920dd8-b58e-52a8-8622-53c4cffbe346 Repo: https://github.com/jump-dev/KNITRO.jl.git Tree: 03755388a42d2ab652acc9aaf6e1ddae116ef9a2 Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a
JuliaRegistries · Dec 4, 2023 · 8be0d1c · 8be0d1c
1 parent ca00357
commit 8be0d1c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/K/KNITRO/Versions.toml b/K/KNITRO/Versions.toml
@@ -60,3 +60,6 @@ git-tree-sha1 = "f6b5afa744ba4dedc98ac2f4a1496243f5f511b8"
 
 ["0.14.0"]
 git-tree-sha1 = "e6b1408511c988e688457251b7b175dde81a668a"
+
+["0.14.1"]
+git-tree-sha1 = "03755388a42d2ab652acc9aaf6e1ddae116ef9a2"