New version: LazySets v1.16.0 (#2487)

UUID: b4f0291d-fe17-52bc-9479-3d1a343d9043 Repo: https://github.com/JuliaReach/LazySets.jl.git Tree: a986735237ee685c2d314e3a9992d63d64305322 Registrator tree SHA: 3358484330f361397979cc5f65a9354333511e25
JuliaRegistries · Aug 7, 2019 · 7849548 · 7849548
1 parent 4ff8143
commit 7849548
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 0 deletions.
diff --git a/L/LazySets/Compat.toml b/L/LazySets/Compat.toml
@@ -32,6 +32,9 @@ julia = "1.0.0-*"
 GLPK = "0.10.0-*"
 JuMP = "0.19.2-*"
 
+["1.16-1"]
+Reexport = "0.2.0-*"
+
 ["1.2.2-1.2"]
 Compat = "0-2"
 

diff --git a/L/LazySets/Deps.toml b/L/LazySets/Deps.toml
@@ -24,6 +24,9 @@ InteractiveUtils = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
 GLPK = "60bf3e95-4087-53dc-ae20-288a0d20c6a6"
 JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
 
+["1.16-1"]
+Reexport = "189a3867-3050-52da-a836-e630ba90ab69"
+
 ["1.2.2-1.12"]
 Compat = "34da2185-b29b-5c13-b0c7-acf172513d20"
 

diff --git a/L/LazySets/Versions.toml b/L/LazySets/Versions.toml
@@ -57,3 +57,6 @@ git-tree-sha1 = "27cd1cf92c3f77b0d6d2835d15da6c67601d58e8"
 
 ["1.15.0"]
 git-tree-sha1 = "17107fb15a4a7ecd147cd38031bfe5ff1746e692"
+
+["1.16.0"]
+git-tree-sha1 = "a986735237ee685c2d314e3a9992d63d64305322"