From 8be0d1c6e37fe6439a28d87507154525dc7e6a9d Mon Sep 17 00:00:00 2001 From: Registrator Date: Mon, 4 Dec 2023 05:34:13 +0530 Subject: [PATCH] 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 --- K/KNITRO/Versions.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/K/KNITRO/Versions.toml b/K/KNITRO/Versions.toml index 15c8f5f4d1c3ff8..e4d125334b6c420 100644 --- 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"