Merge pull request #3842 from JuliaReach/schillic-patch-1

schillic · web-flow · commit ac5eeaad6254 · 2025-04-17T20:56:06.000+02:00
v4.0.0
diff --git a/Project.toml b/Project.toml
@@ -1,6 +1,6 @@
 name = "LazySets"
 uuid = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
-version = "3.1.0"
+version = "4.0.0"
 
 [deps]
 Distributed = "8ba89e20-285c-5b6f-9357-94700520ee1b"
