Description
As soon as GAP's PackageManager supports a version number as an optional argument of InstallPackage (see gap-packages/PackageManager/issues/60), we should change GAP.Packages.install and GAP.packages.load accordingly.
(Today I ran into the "undefined symbol" problem with the ferret package (see oscar-system/Oscar.jl/issues/262):
Version 1.0.3 was already installed, and in this situation GAP.packages.load has currently no chance to force installing version at least 1.0.5. Note that GAP.Packages.install is called in a non-interactive way, and then InstallPackage does not try to upgrade.)
Once this functionalit is available, the packages.load call in Oscar.jl/experimental/GaloisGrp/GaloisGrp.jl can be changed to GAP.Packages.load("ferret", "1.0.5", install = true).