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"