diff --git a/Project.toml b/Project.toml index 801e13fa7281..77b3a29c0628 100644 --- a/Project.toml +++ b/Project.toml @@ -42,7 +42,7 @@ Preferences = "1" Random = "1.6" RandomExtensions = "0.4.3" Serialization = "1.6" -Singular = "0.22.3" +Singular = "0.22.4" TOPCOM_jll = "0.17.8" UUIDs = "1.6" cohomCalg_jll = "0.32.0"