diff --git a/I/IntervalConstraintProgramming/Compat.toml b/I/IntervalConstraintProgramming/Compat.toml
index 6e33060cef44134..9831ad6c825ff8f 100644
--- a/I/IntervalConstraintProgramming/Compat.toml
+++ b/I/IntervalConstraintProgramming/Compat.toml
@@ -24,11 +24,13 @@ IntervalContractors = "0.4"
 IntervalArithmetic = "0.16.0-0.17"
 
 ["0.12.1-0"]
-IntervalRootFinding = "0.5"
 MacroTools = "0.4-0.5"
-ModelingToolkit = "3"
 julia = "1.3.0-1"
 
+["0.12.1-0.12"]
+IntervalRootFinding = "0.5"
+ModelingToolkit = "3"
+
 ["0.12.1-0.12.2"]
 IntervalArithmetic = "0.16-0.17"
 
@@ -37,3 +39,6 @@ IntervalArithmetic = "0.16-0.18"
 
 ["0.12.4-0"]
 IntervalArithmetic = "0.16-0.20"
+
+["0.13-0"]
+Requires = ["0.5", "1"]
diff --git a/I/IntervalConstraintProgramming/Deps.toml b/I/IntervalConstraintProgramming/Deps.toml
index 1cb1001e9d6c42a..77aa13745bd69c4 100644
--- a/I/IntervalConstraintProgramming/Deps.toml
+++ b/I/IntervalConstraintProgramming/Deps.toml
@@ -1,11 +1,16 @@
 [0]
 IntervalArithmetic = "d1acc4aa-44c8-5952-acd4-ba5d80a2a253"
 IntervalContractors = "15111844-de3b-5229-b4ba-526f2f385dc9"
-IntervalRootFinding = "d2bf35a9-74e0-55ec-b149-d360ff49b807"
 MacroTools = "1914dd2f-81c6-5fcd-8719-6d5c9610ff09"
 
 ["0-0.10"]
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
-["0.10-0"]
+["0-0.12"]
+IntervalRootFinding = "d2bf35a9-74e0-55ec-b149-d360ff49b807"
+
+["0.10-0.12"]
 ModelingToolkit = "961ee093-0014-501f-94e3-6117800e7a78"
+
+["0.13-0"]
+Requires = "ae029012-a4dd-5104-9daa-d747884805df"
diff --git a/I/IntervalConstraintProgramming/Versions.toml b/I/IntervalConstraintProgramming/Versions.toml
index 1507d7dd5e6189d..367e7c1ef7023c4 100644
--- a/I/IntervalConstraintProgramming/Versions.toml
+++ b/I/IntervalConstraintProgramming/Versions.toml
@@ -24,3 +24,6 @@ git-tree-sha1 = "41ea60436207d9612d386cafc783807cd174c0b3"
 
 ["0.12.4"]
 git-tree-sha1 = "c39742767b9ba904966e336b4f1795320b05c374"
+
+["0.13.0"]
+git-tree-sha1 = "aa88cc1284dc06dc9dd93e9c35fba59094f43130"