From bba20d0f1151687972b8784755ce94a33214ded9 Mon Sep 17 00:00:00 2001
From: schillic <git@christianschilling.net>
Date: Sun, 15 Oct 2023 21:46:08 +0200
Subject: [PATCH] use latest supported IA version

---
 Project.toml      | 4 ++--
 docs/Project.toml | 2 +-
 test/Project.toml | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Project.toml b/Project.toml
index b565344e2..cc7bec78b 100644
--- 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
index 65c6d447f..7b3e1217a 100644
--- 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
index 60dc859ef..97fc0b7d7 100644
--- 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"