Fix Oscar dependency (#22)

oscar-system · Feb 28, 2024 · 8a3e6b6 · 8a3e6b6
1 parent 4a606b6
commit 8a3e6b6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -9,5 +9,5 @@ Oscar = "f1435218-dba5-11e9-1e4d-f1a5fab5fc13"
 
 [compat]
 JSON = "^0.20, ^0.21"
-Oscar = "0.15, 1.0"
+Oscar = "0.14, 1.0"
 julia = "1.6"
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -5,5 +5,5 @@ Oscar = "f1435218-dba5-11e9-1e4d-f1a5fab5fc13"
 
 [compat]
 Documenter = "1"
-Oscar = "0.12, 0.13, 0.14"
+Oscar = "0.14, 1.0"
 julia = "1.6"