From c3b1dc8de1df697aaba05d47a7b5af508d7805a6 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Wed, 20 Dec 2023 23:00:38 +0100 Subject: [PATCH 1/3] Update JLL deps --- Project.toml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Project.toml b/Project.toml index 062796015..857661a0a 100644 --- a/Project.toml +++ b/Project.toml @@ -29,8 +29,8 @@ Pidfile = "1.3" Pkg = "1.6" Random = "1.6" RandomExtensions = "0.4.2" -Singular_jll = "~403.210.1000" +Singular_jll = "~403.212.1200" Statistics = "1.6" julia = "1.6" lib4ti2_jll = "1.6.10" -libsingular_julia_jll = "=0.40.7" +libsingular_julia_jll = "=0.40.9" From 9982d1f4e5783567addca0d9bccba8bf066d8b26 Mon Sep 17 00:00:00 2001 From: Benjamin Lorenz Date: Thu, 21 Dec 2023 14:46:20 +0100 Subject: [PATCH 2/3] Update Singular_jll --- Project.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index 857661a0a..53537eb60 100644 --- a/Project.toml +++ b/Project.toml @@ -29,7 +29,7 @@ Pidfile = "1.3" Pkg = "1.6" Random = "1.6" RandomExtensions = "0.4.2" -Singular_jll = "~403.212.1200" +Singular_jll = "~403.212.1201" Statistics = "1.6" julia = "1.6" lib4ti2_jll = "1.6.10" From 06c7b7ed57a837e219392c34d6a7dea9ac954855 Mon Sep 17 00:00:00 2001 From: Benjamin Lorenz Date: Thu, 21 Dec 2023 16:31:29 +0100 Subject: [PATCH 3/3] Bump Singular_jll again --- Project.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index 53537eb60..857f73c80 100644 --- a/Project.toml +++ b/Project.toml @@ -29,7 +29,7 @@ Pidfile = "1.3" Pkg = "1.6" Random = "1.6" RandomExtensions = "0.4.2" -Singular_jll = "~403.212.1201" +Singular_jll = "~403.212.1202" Statistics = "1.6" julia = "1.6" lib4ti2_jll = "1.6.10"