New version: RangeEnclosures v0.2.4 (#98772)

UUID: 1b4d18b6-9e5d-11e9-236c-f792b01831f8 Repo: https://github.com/JuliaReach/RangeEnclosures.jl.git Tree: 0075c55093765b088130b60e6e34c357725396b5 Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a
JuliaRegistries · Jan 12, 2024 · 802aa34 · 802aa34
1 parent db1abb6
commit 802aa34
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/R/RangeEnclosures/Compat.toml b/R/RangeEnclosures/Compat.toml
@@ -13,5 +13,8 @@ ReachabilityBase = "0.1.1-0.1"
 ["0.1.4-0"]
 ReachabilityBase = "0.1.1-0.2"
 
-["0.2-0"]
+["0.2-0.2.3"]
 IntervalArithmetic = "0.15-0.21"
+
+["0.2.4-0"]
+IntervalArithmetic = ["0.15-0.20", "0.21.0"]
diff --git a/R/RangeEnclosures/Versions.toml b/R/RangeEnclosures/Versions.toml
@@ -21,3 +21,6 @@ git-tree-sha1 = "56e86e9f5cdb0889da778921806f3ad62fae5b99"
 
 ["0.2.3"]
 git-tree-sha1 = "749e7d1a309159cf10bbbb616304bb5576457753"
+
+["0.2.4"]
+git-tree-sha1 = "0075c55093765b088130b60e6e34c357725396b5"