Merge pull request #746 from JuliaReach/schillic/IA

Use latest supported version of frozen packages (=)
JuliaReach · Oct 15, 2023 · 861d78a · 861d78a
2 parents 7467635 + bba20d0
commit 861d78a
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/Project.toml b/Project.toml
@@ -29,7 +29,7 @@ CarlemanLinearization = "0.3"
 CommonSolve = "0.2"
 ExprTools = "0.1"
 HybridSystems = "0.4"
-IntervalArithmetic = "0.16 - 0.20, =0.20"  # new versions require updates and are incompatible with dependencies
+IntervalArithmetic = "0.16 - 0.20, =0.20.9"  # new versions require updates and are incompatible with dependencies
 IntervalMatrices = "0.6 - 0.9"
 LazySets = "2.11"
 MathematicalSystems = "0.11 - 0.13"
@@ -40,7 +40,7 @@ RecursiveArrayTools = "2"
 Reexport = "0.2, 1"
 Requires = "0.5, 1"
 StaticArrays = "0.12, 1"
-TaylorIntegration = "0.9 - 0.10, =0.10"  # new versions require updates
+TaylorIntegration = "0.9 - 0.10, =0.10.0"  # new versions require updates
 TaylorModels = "0.6"
 TaylorSeries = "=0.12"  # new versions require updates
 julia = "1.6"
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -16,7 +16,7 @@ DifferentialEquations = "7"
 DisplayAs = "0.1"
 Documenter = "1"
 ExponentialUtilities = "1"
-IntervalArithmetic = "=0.20"  # new versions require updates and are incompatible with dependencies
+IntervalArithmetic = "=0.20.9"  # new versions require updates and are incompatible with dependencies
 JLD2 = "0.4"
 LaTeXStrings = "1"
 LazySets = "2"

diff --git a/test/Project.toml b/test/Project.toml
@@ -28,7 +28,7 @@ Expokit = "0.2"
 ExponentialUtilities = "1"
 FastExpm = "1"
 Flowstar = "0.2.4"
-IntervalArithmetic = "0.16 - 0.20, =0.20"  # new versions require updates and are incompatible with dependencies
+IntervalArithmetic = "0.16 - 0.20, =0.20.9"  # new versions require updates and are incompatible with dependencies
 JuMP = "0.21 - 0.23, 1"
 LazySets = "2.3"
 MultivariatePolynomials = "0.3 - 0.5"