New version: LazySets v2.3.0 (JuliaRegistries#70053)

UUID: b4f0291d-fe17-52bc-9479-3d1a343d9043 Repo: https://github.com/JuliaReach/LazySets.jl.git Tree: 1ce78ea9f32f7e237ed5718ca3f294006fa870c3 Registrator tree SHA: 8e1a5ac2695627143951512d700c7e3c445102ec
nassarhuda · Oct 12, 2022 · cc1da82 · cc1da82
1 parent 7490948
commit cc1da82
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/L/LazySets/Compat.toml b/L/LazySets/Compat.toml
@@ -138,6 +138,11 @@ julia = "1.6.0-1"
 ["2-2.1"]
 ReachabilityBase = "0.1"
 
-["2.2-2"]
+["2.2"]
 ReachabilityBase = "0.1.1-0.1"
+
+["2.2-2"]
 StaticArraysCore = "1"
+
+["2.3-2"]
+ReachabilityBase = "0.1.2-0.1"
diff --git a/L/LazySets/Versions.toml b/L/LazySets/Versions.toml
@@ -357,3 +357,6 @@ git-tree-sha1 = "b6ed1e3b381acd2f2340a084521e5471a2831019"
 
 ["2.2.1"]
 git-tree-sha1 = "da2424e384515415f7180d84b9ff40e2463532fb"
+
+["2.3.0"]
+git-tree-sha1 = "1ce78ea9f32f7e237ed5718ca3f294006fa870c3"