From 8ab892be211b7cec71168d6340c62e2fe77b978e Mon Sep 17 00:00:00 2001 From: Christian Schilling Date: Fri, 5 Jan 2024 16:27:40 +0100 Subject: [PATCH] Update Project.toml --- Project.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index 60345453..797b884e 100644 --- a/Project.toml +++ b/Project.toml @@ -10,7 +10,7 @@ Requires = "ae029012-a4dd-5104-9daa-d747884805df" [compat] ForwardDiff = "0.10" -IntervalArithmetic = "0.15 - 0.21, =0.21.0" # v0.21.1 removed IntervalBox +IntervalArithmetic = "0.15 - 0.20, =0.21.0" # v0.21.1 removed IntervalBox ReachabilityBase = "0.1.1 - 0.2" Requires = "0.5, 1" julia = "1.6"