From 8f97bdc3d9850bc1f9c0e7aea7ba66cd9175e780 Mon Sep 17 00:00:00 2001 From: Hans Schoenemann Date: Fri, 20 Oct 2023 13:45:16 +0200 Subject: [PATCH] update to new Singular_jll, libsingular_julia_jll (#717) --- Project.toml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Project.toml b/Project.toml index 86a9edd58..e17d684a0 100644 --- 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"