Console Output

+ bin/isabelle ghc_setup
Preparing to install GHC to an isolated location.
This will not interfere with any system-level installation.
Preparing to download ghc-8.10.7 ...
ghc-8.10.7: download has begun
ghc-8.10.7:    9.89 MiB / 206.66 MiB (  4.78%) downloaded...
ghc-8.10.7:   15.43 MiB / 206.66 MiB (  7.46%) downloaded...
ghc-8.10.7:   18.74 MiB / 206.66 MiB (  9.07%) downloaded...
ghc-8.10.7:   23.33 MiB / 206.66 MiB ( 11.29%) downloaded...
ghc-8.10.7:   29.97 MiB / 206.66 MiB ( 14.50%) downloaded...
ghc-8.10.7:   39.70 MiB / 206.66 MiB ( 19.21%) downloaded...
ghc-8.10.7:   47.87 MiB / 206.66 MiB ( 23.16%) downloaded...
ghc-8.10.7:   53.49 MiB / 206.66 MiB ( 25.89%) downloaded...
ghc-8.10.7:   58.95 MiB / 206.66 MiB ( 28.53%) downloaded...
ghc-8.10.7:   65.82 MiB / 206.66 MiB ( 31.85%) downloaded...
ghc-8.10.7:   74.35 MiB / 206.66 MiB ( 35.98%) downloaded...
ghc-8.10.7:   81.15 MiB / 206.66 MiB ( 39.27%) downloaded...
ghc-8.10.7:   86.62 MiB / 206.66 MiB ( 41.92%) downloaded...
ghc-8.10.7:   92.36 MiB / 206.66 MiB ( 44.69%) downloaded...
ghc-8.10.7:  100.15 MiB / 206.66 MiB ( 48.46%) downloaded...
ghc-8.10.7:  106.88 MiB / 206.66 MiB ( 51.72%) downloaded...
ghc-8.10.7:  114.30 MiB / 206.66 MiB ( 55.31%) downloaded...
ghc-8.10.7:  122.63 MiB / 206.66 MiB ( 59.34%) downloaded...
ghc-8.10.7:  128.20 MiB / 206.66 MiB ( 62.03%) downloaded...
ghc-8.10.7:  136.32 MiB / 206.66 MiB ( 65.96%) downloaded...
ghc-8.10.7:  142.98 MiB / 206.66 MiB ( 69.19%) downloaded...
ghc-8.10.7:  149.80 MiB / 206.66 MiB ( 72.49%) downloaded...
ghc-8.10.7:  158.97 MiB / 206.66 MiB ( 76.92%) downloaded...
ghc-8.10.7:  169.94 MiB / 206.66 MiB ( 82.23%) downloaded...
ghc-8.10.7:  176.75 MiB / 206.66 MiB ( 85.53%) downloaded...
ghc-8.10.7:  181.22 MiB / 206.66 MiB ( 87.69%) downloaded...
ghc-8.10.7:  186.16 MiB / 206.66 MiB ( 90.08%) downloaded...
ghc-8.10.7:  194.09 MiB / 206.66 MiB ( 93.92%) downloaded...
ghc-8.10.7:  200.22 MiB / 206.66 MiB ( 96.88%) downloaded...
ghc-8.10.7:  206.45 MiB / 206.66 MiB ( 99.90%) downloaded...
ghc-8.10.7:  206.66 MiB / 206.66 MiB (100.00%) downloaded...
Downloaded ghc-8.10.7.
Unpacking GHC into /media/data/jenkins/.stack/programs/x86_64-linux/ghc-8.10.7.temp/ ...
Configuring GHC ...
Installing GHC ...
Installed GHC.
stack will use a sandboxed GHC it installed
For more information on paths, see 'stack path' and 'stack exec env'
To use this GHC and packages outside of a project, consider using:
stack ghc, stack ghci, stack runghc, or stack exec
The Glorious Glasgow Haskell Compilation System, version 8.10.7