Commit e778322
Update LazySets requirement from 2 to 2, 5.2 (#144)
* Update LazySets requirement from 2 to 2, 5.2
Updates the requirements on [LazySets](https://github.com/JuliaReach/LazySets.jl) to permit the latest version.
- [Release notes](https://github.com/JuliaReach/LazySets.jl/releases)
- [Commits](JuliaReach/LazySets.jl@v2.0.0...v5.2.2)
---
updated-dependencies:
- dependency-name: LazySets
dependency-version: 5.2.2
dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com>
* Update LazySets version range in Project.toml
---------
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: Benoît Legat <benoit.legat@gmail.com>1 parent b9d2415 commit e778322
1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
26 | 26 | | |
27 | 27 | | |
28 | 28 | | |
29 | | - | |
| 29 | + | |
30 | 30 | | |
31 | 31 | | |
32 | 32 | | |
| |||
0 commit comments