From a5dcba08e3e8980aa982f48bac97c3406bbfa75a Mon Sep 17 00:00:00 2001 From: Registrator Date: Tue, 5 Apr 2022 02:24:03 +0530 Subject: [PATCH] New version: Polyhedra v0.7.4 (#57923) UUID: 67491407-f73d-577b-9b50-8179a7c68029 Repo: https://github.com/JuliaPolyhedra/Polyhedra.jl.git Tree: 7c6b4f8fbd47e7491709895d1499ab61d524d7f3 Registrator tree SHA: 8e1a5ac2695627143951512d700c7e3c445102ec --- P/Polyhedra/Versions.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/P/Polyhedra/Versions.toml b/P/Polyhedra/Versions.toml index 39efa9cb798c9ff..92df92bb16faf85 100644 --- a/P/Polyhedra/Versions.toml +++ b/P/Polyhedra/Versions.toml @@ -111,3 +111,6 @@ git-tree-sha1 = "1a39f51a0e504c5a7a215cb49178d29ca3a7eab2" ["0.7.3"] git-tree-sha1 = "1b1d5b0181099b7a24c2cee3fec35eed3a9a198b" + +["0.7.4"] +git-tree-sha1 = "7c6b4f8fbd47e7491709895d1499ab61d524d7f3"