gap-docker on main λ curl --connect-timeout 1 https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/PackageInfo.g
curl: (28) Failed to connect to www.math.rwth-aachen.de port 443 after 1001 ms: Timeout was reached
gap-docker on main λ
=> ERROR [bare 6/6] RUN echo 'LoadPackage("PackageManager"); UpdatePackage("PackageManager", false); QuitGap(InstallRequiredPackages());' | gap --bare 78.4s
------
> [bare 6/6] RUN echo 'LoadPackage("PackageManager"); UpdatePackage("PackageManager", false); QuitGap(InstallRequiredPackages());' | gap --bare:
#20 0.336 ********* GAP 4.13.1 of 2024-06-11
#20 0.336 * GAP * https://www.gap-system.org/
#20 0.336 ********* Architecture: aarch64-unknown-linux-gnu-default64-kv9
#20 0.336 Configuration: gmp 6.2.1, GASMAN, readline
#20 0.336 Loading the library and packages ...
#20 0.636 Try '??help' for help. See also '?copyright', '?cite' and '?authors'
#20 0.664 gap> -----------------------------------------------------------------------------
#20 0.665 Loading PackageManager 1.6.2 (Easily download and install GAP packages)
#20 0.665 by Michael Young (https://myoung.uk/work).
#20 0.665 maintained by:
#20 0.665 Michael Young (https://myoung.uk/work) and
#20 0.665 The GAP Team (support@gap-system.org).
#20 0.665 Homepage: https://gap-packages.github.io/PackageManager/
#20 0.665 Report issues at https://github.com/gap-packages/PackageManager/issues
#20 0.665 -----------------------------------------------------------------------------
#20 0.678 true
#20 1.847 #I Retrieving PackageInfo.g from https://gap-packages.github.io/PackageManager/PackageInfo.g ...
#20 2.226 #I The newest version of package "packagemanager" is already installed
#20 2.227 #I Running compilation script on /opt/gap/.gap/pkg/PackageManager-1.6.2/ ...
#20 2.231 #I + GAPROOT=/opt/gap/gap-4.13.1
#20 2.232 #I + PKGDIR=/opt/gap/.gap/pkg/PackageManager-1.6.2/
#20 2.232 #I + command -v gmake
#20 2.232 #I + cd /opt/gap/.gap/pkg/PackageManager-1.6.2/
#20 2.232 #I + [ -x autogen.sh ]
#20 2.232 #I + [ -x configure ]
#20 2.232 true
#20 2.232 #I Getting PackageInfo URLs...
#20 3.184 #I Retrieving PackageInfo.g from https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/PackageInfo.g ...
#20 78.34 #I Possible error detected, see log:
#20 78.34 #I Unable to download from https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/PackageInfo.g
------
executor failed running [/bin/bash -o pipefail -c echo 'LoadPackage("PackageManager"); UpdatePackage("PackageManager", false); QuitGap(InstallRequiredPackages());' | gap --bare]: exit code: 1
