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
JuliaRegistries · Apr 4, 2022 · a5dcba0 · a5dcba0
1 parent 5399a46
commit a5dcba0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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"