From 2132dc57f4270b423330c98f5a80727838e16242 Mon Sep 17 00:00:00 2001 From: Registrator Date: Thu, 21 Mar 2024 14:01:14 +0530 Subject: [PATCH] New version: PolyJuMP v0.7.3 (#103319) UUID: ddf597a6-d67e-5340-b84c-e37d84115374 Repo: https://github.com/jump-dev/PolyJuMP.jl.git Tree: 95da3712ff083f3fee39afba21e83ec03d54a5b9 Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a --- P/PolyJuMP/Versions.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/P/PolyJuMP/Versions.toml b/P/PolyJuMP/Versions.toml index 7a8b72a2365fb9a..652ae21cd367491 100644 --- a/P/PolyJuMP/Versions.toml +++ b/P/PolyJuMP/Versions.toml @@ -57,3 +57,6 @@ git-tree-sha1 = "9a7d96a46320c673a0296cc75d7c6a63918dc4f2" ["0.7.2"] git-tree-sha1 = "cd098c4541f63aff1fc2d4496cb58a6eef0c44eb" + +["0.7.3"] +git-tree-sha1 = "95da3712ff083f3fee39afba21e83ec03d54a5b9"