Merge pull request #324 from oscar-system/bump020

bump polymake to 4.2 and libpolymake_julia to 0.2
oscar-system · Oct 18, 2020 · 98afdcc · 98afdcc · benlorenz · Oct 19, 2020
2 parents d74e965 + c0111be
commit 98afdcc
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Project.toml b/Project.toml
@@ -26,8 +26,8 @@ JSON = "^0.20, ^0.21"
 Mongoc = "~0.5.0, ~0.6.0"
 Perl_jll = "=5.30.3"
 julia = "^1.3"
-libpolymake_julia_jll = "~0.1.2"
-polymake_jll = "~4.1.0"
+libpolymake_julia_jll = "~0.2.0"
+polymake_jll = "~4.2.0"
 
 [extras]
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"

diff --git a/src/Polymake.jl b/src/Polymake.jl
@@ -37,7 +37,7 @@ using Perl_jll
 using Ninja_jll
 using libpolymake_julia_jll
 
-const jlpolymake_version_range = (v"0.1.2",  v"0.2")
+const jlpolymake_version_range = (v"0.2.0",  v"0.3")
 
 struct PolymakeError <: Exception
     msg