From f9e77d2b9eaeef021890d3f007732c62d84e29aa Mon Sep 17 00:00:00 2001 From: JuliaRegistrator Date: Thu, 25 Aug 2022 12:15:47 +0000 Subject: [PATCH] New version: LazySets v2.2.0 UUID: b4f0291d-fe17-52bc-9479-3d1a343d9043 Repo: https://github.com/JuliaReach/LazySets.jl.git Tree: b6ed1e3b381acd2f2340a084521e5471a2831019 Registrator tree SHA: 8e1a5ac2695627143951512d700c7e3c445102ec --- L/LazySets/Compat.toml | 6 +++++- L/LazySets/Deps.toml | 5 ++++- L/LazySets/Versions.toml | 3 +++ 3 files changed, 12 insertions(+), 2 deletions(-) diff --git a/L/LazySets/Compat.toml b/L/LazySets/Compat.toml index 1c79058ba81278e..f604b41fa80d064 100644 --- a/L/LazySets/Compat.toml +++ b/L/LazySets/Compat.toml @@ -135,5 +135,9 @@ JuMP = ["0.21-0.23", "1"] ["1.57-2"] julia = "1.6.0-1" -[2] +["2-2.1"] ReachabilityBase = "0.1" + +["2.2-2"] +ReachabilityBase = "0.1.1-0.1" +StaticArraysCore = "1" diff --git a/L/LazySets/Deps.toml b/L/LazySets/Deps.toml index 431397942bb417e..9ef710132f84097 100644 --- a/L/LazySets/Deps.toml +++ b/L/LazySets/Deps.toml @@ -47,7 +47,7 @@ Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c" Distributed = "8ba89e20-285c-5b6f-9357-94700520ee1b" SharedArrays = "1a1011a3-84de-559e-8e89-a11a2f7dc383" -["1.56-2"] +["1.56-2.1"] Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f" ["1.7-2"] @@ -58,3 +58,6 @@ InteractiveUtils = "b77e0a4c-d291-57a0-90e8-8db25a27a240" [2] ReachabilityBase = "379f33d0-9447-4353-bd03-d664070e549f" + +["2.2-2"] +StaticArraysCore = "1e83bf80-4336-4d27-bf5d-d5a4f845583c" diff --git a/L/LazySets/Versions.toml b/L/LazySets/Versions.toml index fdbab2584b41374..662c9ee3be26f7c 100644 --- a/L/LazySets/Versions.toml +++ b/L/LazySets/Versions.toml @@ -351,3 +351,6 @@ git-tree-sha1 = "20816aa534953b1dfe017b284ec5e1539b6e22f5" ["2.1.1"] git-tree-sha1 = "593a70ed027597b3d540934d9a481c1d1a99c993" + +["2.2.0"] +git-tree-sha1 = "b6ed1e3b381acd2f2340a084521e5471a2831019"