diff --git a/docs/Project.toml b/docs/Project.toml
index 7d0de3528..47e122270 100644
--- a/docs/Project.toml
+++ b/docs/Project.toml
@@ -17,7 +17,7 @@ Symbolics = "0c5d862f-8b57-4792-8d23-62f2024744c7"
 DisplayAs = "0.1"
 Documenter = "1"
 ExponentialUtilities = "1"
-IntervalArithmetic = "=0.20.9"  # new versions require updates and are incompatible with dependencies
+IntervalArithmetic = "=0.20.9"
 JLD2 = "0.4"
 LaTeXStrings = "1"
 LazySets = "2.14"
@@ -26,4 +26,4 @@ MathematicalSystems = "0.11 - 0.13"
 OrdinaryDiffEq = "6"
 Plots = "1"
 ReachabilityBase = "0.2.3 - 0.3"
-Symbolics = "5"
+Symbolics = "5, 6"