diff --git a/Project.toml b/Project.toml index 32345e1b82d9..9841099712e3 100644 --- a/Project.toml +++ b/Project.toml @@ -30,7 +30,7 @@ AbstractAlgebra = "0.35.2" AlgebraicSolving = "0.4.6" Distributed = "1.6" DocStringExtensions = "0.8, 0.9" -GAP = "0.10.0" +GAP = "0.10.2" Hecke = "0.24.0" JSON = "^0.20, ^0.21" JSON3 = "1.13.2" diff --git a/src/Oscar.jl b/src/Oscar.jl index 9c2e5ad1e8ae..7d00a5e32f7b 100644 --- a/src/Oscar.jl +++ b/src/Oscar.jl @@ -83,6 +83,14 @@ function __init__() withenv("TERMINFO_DIRS" => joinpath(GAP.GAP_jll.Readline_jll.Ncurses_jll.find_artifact_dir(), "share", "terminfo")) do GAP.Packages.load("browse"; install=true) # needed for all_character_table_names doctest end + # We want newer versions of some GAP packages than the distributed ones. + # (But we do not complain if the installation fails.) + for (pkg, version) in [ + ("repsn", "3.1.1"), + ] + GAP.Packages.install(pkg, version, interactive = false, quiet = true) + end + # We need some GAP packages. for pkg in [ "atlasrep", "ctbllib", # character tables