From 92e81ed8404d0807f9faa74c7025999ec0a86f7e Mon Sep 17 00:00:00 2001 From: Benjamin Lorenz Date: Thu, 1 Feb 2024 00:13:24 +0100 Subject: [PATCH] bump version --- Project.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"