From e3a58fdef0cea89379798d54bf4d0610f9872dd6 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Tue, 16 Jul 2019 15:46:39 +0200
Subject: [PATCH] fix BinaryProvider-0.5.6; IntervalArithmetic-^0.15

Binary Provider 0.5.5 has disappeared,
0.15.2 is the last version of IntervalArithmetic supporting julia-^1.0.0
---
 Manifest.toml | 6 +++---
 Project.toml  | 1 +
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/Manifest.toml b/Manifest.toml
index d170cbc..ca218ca 100644
--- a/Manifest.toml
+++ b/Manifest.toml
@@ -143,10 +143,10 @@ deps = ["Markdown"]
 uuid = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
 
 [[IntervalArithmetic]]
-deps = ["CRlibm", "FastRounding", "LinearAlgebra", "Markdown", "RecipesBase", "SetRounding", "StaticArrays"]
-git-tree-sha1 = "bc228a23925eb3a98a7bf5c2f4dc2a2bb7b0842b"
+deps = ["CRlibm", "FastRounding", "LinearAlgebra", "Markdown", "RecipesBase", "SetRounding", "StaticArrays", "Test"]
+git-tree-sha1 = "e2379c6b0b48ce6e414e8eeabec95cd6982aad22"
 uuid = "d1acc4aa-44c8-5952-acd4-ba5d80a2a253"
-version = "0.16.0"
+version = "0.15.2"
 
 [[JLD]]
 deps = ["Compat", "FileIO", "HDF5", "LegacyStrings", "Profile", "Random"]
diff --git a/Project.toml b/Project.toml
index ed05ad8..9c38a9a 100644
--- a/Project.toml
+++ b/Project.toml
@@ -20,6 +20,7 @@ SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
 [compat]
 GroupRings = "^0.3.0"
 Groups = "^0.2.1"
+IntervalArithmetic = "^0.15.0"
 JuMP = "^0.19.0"
 
 [extras]