CompatHelper: bump compat for Oscar to 0.12, (keep existing compat)

lgoettgens · Jul 28, 2023 · f7e9a65 · f7e9a65
1 parent 3930c05
commit f7e9a65
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -11,5 +11,5 @@ Oscar = "f1435218-dba5-11e9-1e4d-f1a5fab5fc13"
 [compat]
 AbstractAlgebra = "0.31.0"
 Hecke = "0.19.2"
-Oscar = "0.13.0"
+Oscar = "0.13.0, 0.12"
 julia = "1.6"