From e359c81e639069cb85d7d54411b73c9cade989d3 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Tue, 28 Nov 2023 10:58:05 +0100
Subject: [PATCH] Pin libsingular_julia_jll version

---
 Project.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Project.toml b/Project.toml
index 93da1b4eb..3a31446aa 100644
--- a/Project.toml
+++ b/Project.toml
@@ -33,4 +33,4 @@ Singular_jll = "~403.210.1000"
 Statistics = "1.6"
 julia = "1.6"
 lib4ti2_jll = "1.6.10"
-libsingular_julia_jll = "~0.40.7"
+libsingular_julia_jll = "=0.40.7"