diff --git a/P/PolyJuMP/Compat.toml b/P/PolyJuMP/Compat.toml
index 8f1ba1c8a9f854f..7bf03f6d7d13fa0 100644
--- a/P/PolyJuMP/Compat.toml
+++ b/P/PolyJuMP/Compat.toml
@@ -88,3 +88,6 @@ SemialgebraicSets = "0.3"
 
 ["0.7.1-0"]
 DataStructures = "0.18"
+
+["0.7.2-0"]
+IntervalArithmetic = "0.22"
diff --git a/P/PolyJuMP/Deps.toml b/P/PolyJuMP/Deps.toml
index c5955c87cd9af79..e291b1cc81e8370 100644
--- a/P/PolyJuMP/Deps.toml
+++ b/P/PolyJuMP/Deps.toml
@@ -25,3 +25,6 @@ DynamicPolynomials = "7c1d4256-1411-5781-91ec-d7bc3513ac07"
 
 ["0.7.1-0"]
 DataStructures = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8"
+
+["0.7.2-0"]
+IntervalArithmetic = "d1acc4aa-44c8-5952-acd4-ba5d80a2a253"
diff --git a/P/PolyJuMP/Versions.toml b/P/PolyJuMP/Versions.toml
index 1209a46c1c3ebce..7a8b72a2365fb9a 100644
--- a/P/PolyJuMP/Versions.toml
+++ b/P/PolyJuMP/Versions.toml
@@ -54,3 +54,6 @@ git-tree-sha1 = "b6078caeed60c9226fca2208ca725e3fa1d36875"
 
 ["0.7.1"]
 git-tree-sha1 = "9a7d96a46320c673a0296cc75d7c6a63918dc4f2"
+
+["0.7.2"]
+git-tree-sha1 = "cd098c4541f63aff1fc2d4496cb58a6eef0c44eb"