diff --git a/P/Polyhedra/Versions.toml b/P/Polyhedra/Versions.toml index 5da8bce6c5352b9..86e65ca75a8401b 100644 --- a/P/Polyhedra/Versions.toml +++ b/P/Polyhedra/Versions.toml @@ -129,3 +129,6 @@ git-tree-sha1 = "e2e81cdf047d2921d99f7ff0b6dece45b3195185" ["0.8.0"] git-tree-sha1 = "b2c90d964c23ee8c0bbd8cb765d83172d376e553" + +["0.8.1"] +git-tree-sha1 = "754bc39995daff07ed01d7ebdc8c9cf6681d241e"