Change libsingular_julia_jll dependency to use a *fixed* version

We don't want an old Singular.jl version to use a newer libsingular_julia_jll as that would cause a treehash mismatch; besides, it is problematic anyway if done by accident.
oscar-system · May 23, 2023 · 60be270 · 60be270
1 parent 856f658
commit 60be270
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -26,7 +26,7 @@ Nemo = "0.33.0, 0.34.0"
 RandomExtensions = "0.4.2"
 Singular_jll = "~403.201.001"
 julia = "1.6"
-libsingular_julia_jll = "~0.30.0"
+libsingular_julia_jll = "=0.30.0"
 
 [extras]
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"