New version: LazySets v5.1.0 (#143032)

JuliaRegistrator · web-flow · commit 53c186922521 · 2025-11-23T05:49:22.000-04:00
UUID: b4f0291d-fe17-52bc-9479-3d1a343d9043 Repo: https://github.com/JuliaReach/LazySets.jl.git Tree: cfad81d72c99dba685e54b2b207dfc4eb9e52f83 Registrator tree SHA: 50f504d641745716a5b3eabaf681d3a4937d2ae3
diff --git a/L/LazySets/Versions.toml b/L/LazySets/Versions.toml
@@ -453,3 +453,6 @@ git-tree-sha1 = "0cbcb1e90f52fb166f01b9e71a11b99c0cc74011"
 
 ["5.0.2"]
 git-tree-sha1 = "d7c4695f6c12a396752456efa3f64fd283999f10"
+
+["5.1.0"]
+git-tree-sha1 = "cfad81d72c99dba685e54b2b207dfc4eb9e52f83"
