New version: ClosedLoopReachability v0.6.0 (#108124)

UUID: 73c0b437-a350-4e9b-97ac-9adb151c271b Repo: https://github.com/JuliaReach/ClosedLoopReachability.jl.git Tree: 716befb0ea87beb33f713bbcad102269ffdf0ec7 Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a
JuliaRegistries · Jun 3, 2024 · 1cc0f43 · 1cc0f43
1 parent 944ff68
commit 1cc0f43
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/C/ClosedLoopReachability/Compat.toml b/C/ClosedLoopReachability/Compat.toml
@@ -42,5 +42,8 @@ ReachabilityBase = "0.2.1-0.2"
 ["0.5-0.5.2"]
 ReachabilityAnalysis = "0.14.5-0.24"
 
-["0.5.3-0"]
+["0.5.3-0.5"]
 ReachabilityAnalysis = "0.14.5-0.25"
+
+["0.6-0"]
+ReachabilityAnalysis = "0.14.5-0.26"
diff --git a/C/ClosedLoopReachability/Versions.toml b/C/ClosedLoopReachability/Versions.toml
@@ -36,3 +36,6 @@ git-tree-sha1 = "9629f7a3c9126ea2ec92614ca6cce27be5a15950"
 
 ["0.5.3"]
 git-tree-sha1 = "6744b0a7f1157cd73df2dcf800ed6efead196143"
+
+["0.6.0"]
+git-tree-sha1 = "716befb0ea87beb33f713bbcad102269ffdf0ec7"