diff --git a/Project.toml b/Project.toml index c6f04394..18548010 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "Polymake" uuid = "d720cf60-89b5-51f5-aff5-213f193123e7" repo = "https://github.com/oscar-system/Polymake.jl.git" -version = "0.11.11" +version = "0.11.12" [deps] BinaryWrappers = "f01c122e-0ea1-4f85-ad8f-907073ad7a9f"