From 438f9108cb0ca0fff1e5ed34e8cc0f1b5130ea39 Mon Sep 17 00:00:00 2001 From: Registrator Date: Thu, 23 Feb 2023 05:01:14 +0530 Subject: [PATCH] New version: JuMP v1.8.1 (#78287) UUID: 4076af6c-e467-56ae-b986-b466b2749572 Repo: https://github.com/jump-dev/JuMP.jl.git Tree: 205e4b5b4d7df39568e0b3635082f0c179ef62a9 Registrator tree SHA: f73a20c99934db92a256057d0d83ba394036a701 --- J/JuMP/Versions.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/J/JuMP/Versions.toml b/J/JuMP/Versions.toml index adbd119badbe0c6..f2da07545f5d480 100644 --- a/J/JuMP/Versions.toml +++ b/J/JuMP/Versions.toml @@ -114,3 +114,6 @@ git-tree-sha1 = "8ebcb407c28617ea075563c550ec766dddf25a2e" ["1.8.0"] git-tree-sha1 = "35d0aef36be41d78c57e347fa36decf89cefca12" + +["1.8.1"] +git-tree-sha1 = "205e4b5b4d7df39568e0b3635082f0c179ef62a9"