diff --git a/docs/Project.toml b/docs/Project.toml
index a9d0c7c5f..9ac669e1a 100644
--- a/docs/Project.toml
+++ b/docs/Project.toml
@@ -19,7 +19,7 @@ DisplayAs = "0.1"
 Documenter = "1"
 DocumenterCitations = "1.3"
 ExponentialUtilities = "1"
-IntervalArithmetic = "=0.20.9"  # new versions require updates and are incompatible with dependencies
+IntervalArithmetic = "=0.20.9"
 JLD2 = "0.4 - 0.6"
 LaTeXStrings = "1"
 LazySets = "2.14, 3, 4, 5"
@@ -28,4 +28,4 @@ MathematicalSystems = "0.14.1"
 OrdinaryDiffEq = "6"
 Plots = "1"
 ReachabilityBase = "0.2.3 - 0.3"
-Symbolics = "5 - 6"
+Symbolics = "5 - 6, 7"