CompatHelper: bump compat for CDDLib to 0.10 for package test, (keep …

…existing compat)
JuliaReach · Jan 16, 2025 · 3431e09 · 3431e09
1 parent 118d182
commit 3431e09
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/Project.toml b/test/Project.toml
@@ -18,10 +18,10 @@ Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
 Aqua = "0.8.9"
-CDDLib = "0.5 - 0.9"
+CDDLib = "0.5 - 0.9, 0.10"
 Expokit = "0.2"
 Flowstar = "0.2.4"
-IntervalArithmetic = "0.16 - 0.20, =0.20.9"  # new versions require updates and are incompatible with dependencies
+IntervalArithmetic = "0.16 - 0.20, =0.20.9"
 LazySets = "2.14, 3"
 Optim = "0.15 - 0.22, 1"
 OrdinaryDiffEq = "6"