Merge 7f80eeb into eb180c6

oscar-system · Sep 17, 2021 · 7a564c4 · 7a564c4
2 parents eb180c6 + 7f80eeb
commit 7a564c4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -23,7 +23,7 @@ Nemo = "0.26.1"
 RandomExtensions = "0.4.2"
 Singular_jll = "~402.100.101"
 julia = "1.3"
-libsingular_julia_jll = "~0.17.0"
+libsingular_julia_jll = "~0.18.0"
 
 [extras]
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"