Update Project.toml

[mforets]

No description provided.

[mforets]

the error is only on v.1.0 build https://travis-ci.org/github/JuliaReach/LazySets.jl/jobs/714876626#L543

[schillic]

From the error log:

Building GLPK ──→ `~/.julia/packages/GLPK/oTTtu/deps/build.log`
┌ Error: Error building `GLPK`: 
│ ┌ Warning: Package BinaryProvider does not have Pkg in its dependencies:
│ │ - If you have BinaryProvider checked out for development and have
│ │   added Pkg as a dependency but haven't updated your primary
│ │   environment's manifest file, try `Pkg.resolve()`.
│ │ - Otherwise you may need to report an issue with BinaryProvider
│ └ Loading Pkg into BinaryProvider from project dependency, future warnings for BinaryProvider are suppressed.
│ ERROR: LoadError: UndefVarError: PlatformEngines not defined

Not our fault 😅