diff --git a/Project.toml b/Project.toml index ff7d7f9e8..4275e1b7d 100644 --- 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"