Skip to content

Commit deb7a5e

Browse files
thofmaemikelsons
authored andcommitted
Temporarily fix Hecke version (oscar-system#4782)
There is an error in the doc build in Oscar with the Hecke release from yesterday.
1 parent 11f95ce commit deb7a5e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Project.toml

+1-1
Original file line numberDiff line numberDiff line change
@@ -37,7 +37,7 @@ Compat = "4.13.0"
3737
Distributed = "1.6"
3838
GAP = "0.13.1"
3939
GAP_lib_jll = "~400.1400.4" # remove again once GAP.jl requires this version
40-
Hecke = "0.35.10"
40+
Hecke = "= 0.35.15"
4141
JSON = "^0.20, ^0.21"
4242
JSON3 = "1.13.2"
4343
LazyArtifacts = "1.6"

0 commit comments

Comments
 (0)