CompatHelper: bump compat for Polyhedra to 0.8 for package test, (kee…

…p existing compat)
JuliaReach · Jan 16, 2025 · 3c3e927 · 3c3e927
1 parent 118d182
commit 3c3e927
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/Project.toml b/test/Project.toml
@@ -21,11 +21,11 @@ Aqua = "0.8.9"
 CDDLib = "0.5 - 0.9"
 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"
-Polyhedra = "0.5 - 0.7"
+Polyhedra = "0.5 - 0.7, 0.8"
 StaticArrays = "0.12, 1"
 Suppressor = "0.2"
 Symbolics = "4 - 6"