remove packages that are now redundant

JuliaReach · Feb 3, 2024 · eb3b9f9 · eb3b9f9
1 parent 93da0ed
commit eb3b9f9
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -3,19 +3,13 @@ DifferentialEquations = "0c46a032-eb83-5123-abaf-570d42b7fbaa"
 DisplayAs = "0b91fe84-8a4c-11e9-3e1d-67c38462b6d6"
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 Literate = "98b081ad-f1c9-55d3-8b20-4c87d4299306"
-MAT = "23992714-dd62-5051-b70f-ba57cb901cac"
-ONNX = "d0dd6a25-fac6-55c0-abf7-829e0c774d20"
 Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80"
 ReachabilityAnalysis = "1e97bd63-91d1-579d-8e8d-501d2b57c93f"
-YAML = "ddb6d928-2868-570f-bddf-ab3f9cf99eb6"
 
 [compat]
 DifferentialEquations = "7"
 DisplayAs = "0.1"
 Documenter = "1"
 Literate = "2"
-MAT = "0.10"
-ONNX = "0.2"
 Plots = "1"
 ReachabilityAnalysis = "0.23.1"  # this version is needed for the ACC model
-YAML = "0.4"