update to new Singular_jll, libsingular_julia_jll (#717)

oscar-system · Oct 20, 2023 · 8f97bdc · 8f97bdc
1 parent 9a78598
commit 8f97bdc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -25,8 +25,8 @@ CxxWrap = "0.14"
 Nemo = "0.33.0, 0.34.0, 0.35.0, 0.36.0, 0.37.0"
 Pidfile = "1.3"
 RandomExtensions = "0.4.2"
-Singular_jll = "~403.208.800"
+Singular_jll = "~403.209.900"
 Statistics = "1.6"
 julia = "1.6"
 lib4ti2_jll = "1.6.10"
-libsingular_julia_jll = "~0.40.2"
+libsingular_julia_jll = "~0.40.4"