Merge 70e7ffd into 530a438

JuliaDiff · Oct 31, 2019 · 5ed4317 · 5ed4317
2 parents 530a438 + 70e7ffd
commit 5ed4317
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -11,7 +11,8 @@ Requires = "ae029012-a4dd-5104-9daa-d747884805df"
 SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
 
 [compat]
-IntervalArithmetic = "≥ 0.15.0"
+IntervalArithmetic = "^0.15.0"
+Requires = "^v0.5.2"
 julia = "1"
 
 [extras]