fix

debug
Fix git CI job
2021-10-10 20:21:36 +02:00 · 2021-10-10 18:38:46 +02:00 · 2021-10-10 18:26:19 +02:00 · 2021-10-10 17:24:39 +02:00 · 2021-10-09 23:22:29 +02:00 · 2021-10-09 22:49:09 +02:00
25 changed files with 1611 additions and 172 deletions
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,6 +1,8 @@
 stages:
-  - hlint
-  - test
+  - linting
+  - quick-tests
+  - tests
+  - expensive-tests
  - release

 variables:
@@ -230,7 +232,7 @@ variables:
 ######## stack test ########

 test:linux:stack:
-  stage: test
+  stage: tests
  before_script:
    - ./.gitlab/before_script/linux/install_deps_minimal.sh
  script:
@@ -242,21 +244,21 @@ test:linux:stack:
 ######## bootstrap test ########

 test:linux:bootstrap_script:
-  stage: test
+  stage: quick-tests
  before_script:
    - ./.gitlab/before_script/linux/install_deps_minimal.sh
  script:
    - ./.gitlab/script/ghcup_bootstrap.sh
  variables:
-    GHC_VERSION: "8.10.6"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"
  extends:
    - .debian
    - .root_cleanup
  needs: []

 test:windows:bootstrap_powershell_script:
-  stage: test
+  stage: quick-tests
  script:
    - ./scripts/bootstrap/bootstrap-haskell.ps1 -InstallDir $CI_PROJECT_DIR -BootstrapUrl $CI_PROJECT_DIR/bootstrap-haskell -InBash
  after_script:
@@ -265,8 +267,8 @@ test:windows:bootstrap_powershell_script:
    - "[Environment]::SetEnvironmentVariable('CABAL_DIR', $null, [System.EnvironmentVariableTarget]::User)"
    - bash ./.gitlab/after_script.sh
  variables:
-    GHC_VERSION: "8.10.6"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"
  extends:
    - .windows
  needs: []
@@ -274,22 +276,22 @@ test:windows:bootstrap_powershell_script:
 ######## linux test ########

 test:linux:
-  stage: test
+  stage: tests
  extends: .test_ghcup_version:linux
  variables:
-    GHC_VERSION: "8.10.6"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"
  needs: []

 test:linux:hls:
-  stage: test
+  stage: expensive-tests
  extends:
    - .test_ghcup_version
    - .debian
  variables:
    GHC_VERSION: "8.10.7"
    HLS_TARGET_VERSION: "1.4.0"
-    CABAL_VERSION: "3.6.0.0"
+    CABAL_VERSION: "3.6.2.0"
  needs: []
  when: manual
  allow_failure: true
@@ -299,14 +301,14 @@ test:linux:hls:
    - ./.gitlab/script/ghcup_hls.sh

 test:linux:cross-armv7:
-  stage: test
+  stage: expensive-tests
  extends:
    - .test_ghcup_version
    - .debian
  variables:
-    GHC_VERSION: "8.10.5"
-    GHC_TARGET_VERSION: "8.10.6"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.10.6"
+    GHC_TARGET_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"
    CROSS: "arm-linux-gnueabihf"
  needs: []
  when: manual
@@ -317,21 +319,22 @@ test:linux:cross-armv7:
    - ./.gitlab/script/ghcup_cross.sh

 test:linux:git:hadrian:
-  stage: test
+  stage: expensive-tests
  extends:
    - .test_ghcup_version
-    - .debian
+    - .alpine:64bit
  variables:
-    GHC_VERSION: "8.10.6"
-    GHC_GIT_TAG: "ghc-9.0.1-release"
-    GHC_GIT_VERSION: "9.0.1"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.8.4"
+    GHC_GIT_TAG: "ghc-8.10.7-release"
+    GHC_GIT_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"
    CROSS: ""
  needs: []
  when: manual
  allow_failure: true
  before_script:
-    - ./.gitlab/before_script/linux/install_deps.sh
+    - apk add --no-cache python3 autoconf automake
+    - ./.gitlab/before_script/linux/alpine/install_deps.sh
  script:
    - ./.gitlab/script/ghcup_git.sh

@@ -339,31 +342,31 @@ test:linux:git:hadrian:
 ######## linux 32bit test ########

 test:linux:32bit:
-  stage: test
+  stage: tests
  extends: .test_ghcup_version:linux32
  variables:
-    GHC_VERSION: "8.10.6"
-    CABAL_VERSION: "3.2.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"
  needs: []

 ######## arm tests ########

 test:linux:armv7:
-  stage: test
+  stage: tests
  extends: .test_ghcup_version:armv7
  variables:
-    GHC_VERSION: "8.10.4"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"
    CROSS: ""
  when: manual
  needs: []

 test:linux:aarch64:
-  stage: test
+  stage: tests
  extends: .test_ghcup_version:aarch64
  variables:
-    GHC_VERSION: "8.10.4"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"
    CROSS: ""
  when: manual
  needs: []
@@ -371,19 +374,19 @@ test:linux:aarch64:
 ######## darwin test ########

 test:mac:
-  stage: test
+  stage: tests
  extends: .test_ghcup_version:darwin
  variables:
-    GHC_VERSION: "8.10.4"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"
  needs: []

 test:mac:aarch64:
-  stage: test
+  stage: tests
  extends: .test_ghcup_version:darwin:aarch64
  variables:
-    GHC_VERSION: "8.10.6"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"
  needs: []
  allow_failure: true

@@ -391,21 +394,21 @@ test:mac:aarch64:
 ######## freebsd test ########

 test:freebsd12:
-  stage: test
+  stage: tests
  extends: .test_ghcup_version:freebsd12
  variables:
-    GHC_VERSION: "8.10.4"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"
  allow_failure: true # freebsd runners are unreliable
  when: manual
  needs: []

 test:freebsd13:
-  stage: test
+  stage: tests
  extends: .test_ghcup_version:freebsd13
  variables:
-    GHC_VERSION: "8.10.4"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"
  allow_failure: true # freebsd runners are unreliable
  when: manual
  needs: []
@@ -413,11 +416,11 @@ test:freebsd13:
 ######## windows test ########

 test:windows:
-  stage: test
+  stage: tests
  extends: .test_ghcup_version:windows
  variables:
-    GHC_VERSION: "8.10.6"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"
  needs: []

 # test:windows:scoop:
@@ -437,8 +440,8 @@ release:linux:64bit:
    - ./.gitlab/before_script/linux/alpine/install_deps.sh
  variables:
    ARTIFACT: "x86_64-linux-ghcup"
-    GHC_VERSION: "8.10.6"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"


 release:linux:32bit:
@@ -451,8 +454,8 @@ release:linux:32bit:
    - ./.gitlab/before_script/linux/alpine/install_deps.sh
  variables:
    ARTIFACT: "i386-linux-ghcup"
-    GHC_VERSION: "8.10.6"
-    CABAL_VERSION: "3.2.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"

 release:linux:armv7:
  stage: release
@@ -464,8 +467,8 @@ release:linux:armv7:
    - ./.gitlab/before_script/linux/install_deps.sh
  variables:
    ARTIFACT: "armv7-linux-ghcup"
-    GHC_VERSION: "8.10.4"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"
    CROSS: ""

 release:linux:aarch64:
@@ -478,8 +481,8 @@ release:linux:aarch64:
    - ./.gitlab/before_script/linux/install_deps.sh
  variables:
    ARTIFACT: "aarch64-linux-ghcup"
-    GHC_VERSION: "8.10.4"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"
    CROSS: ""

 ######## darwin release ########
@@ -495,8 +498,8 @@ release:darwin:
    - ./.gitlab/before_script/darwin/install_deps.sh
  variables:
    ARTIFACT: "x86_64-apple-darwin-ghcup"
-    GHC_VERSION: "8.10.6"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"
    MACOSX_DEPLOYMENT_TARGET: "10.7"

 release:darwin:aarch64:
@@ -528,8 +531,8 @@ release:darwin:aarch64:
    runInNixShell ./.gitlab/script/ghcup_release.sh 2>&1
  variables:
    ARTIFACT: "aarch64-apple-darwin-ghcup"
-    GHC_VERSION: "8.10.6"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"
    MACOSX_DEPLOYMENT_TARGET: "10.7"
  allow_failure: true

@@ -547,8 +550,8 @@ release:freebsd12:
    - ./.gitlab/before_script/freebsd/install_deps.sh
  variables:
    ARTIFACT: "x86_64-portbld-freebsd-ghcup"
-    GHC_VERSION: "8.10.6"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"
  allow_failure: true

 release:freebsd13:
@@ -562,8 +565,8 @@ release:freebsd13:
    - ./.gitlab/before_script/freebsd/install_deps.sh
  variables:
    ARTIFACT: "x86_64-portbld-freebsd-ghcup"
-    GHC_VERSION: "8.10.6"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"
  allow_failure: true

 ######## windows release ########
@@ -579,13 +582,13 @@ release:windows:
    - bash ./.gitlab/before_script/windows/install_deps.sh
  variables:
    ARTIFACT: "x86_64-mingw64-ghcup"
-    GHC_VERSION: "8.10.6"
-    CABAL_VERSION: "3.4.0.0"
+    GHC_VERSION: "8.10.7"
+    CABAL_VERSION: "3.6.2.0"

 ######## hlint ########

 hlint:
-  stage: hlint
+  stage: linting
  extends:
    - .debian
  script:
@@ -596,3 +599,29 @@ hlint:
    paths:
      - report.html
    when: on_failure
+
+######## mkdocs ########
+
+mkdocs:
+  stage: linting
+  extends:
+    - .debian
+  before_script:
+    - sudo apt-get update -y
+    - sudo apt-get install -y python3-pip
+    - pip3 install mkdocs
+  script:
+    - ~/.local/bin/mkdocs build
+  allow_failure: true
+
+######## shellcheck ########
+
+shellcheck:
+  image: "koalaman/shellcheck-alpine"
+  tags:
+    - x86_64-linux
+  stage: linting
+  script:
+    - shellcheck scripts/bootstrap/bootstrap-haskell
+  allow_failure: true
+
--- a/.gitlab/script/ghcup_git.sh
+++ b/.gitlab/script/ghcup_git.sh
@@ -41,7 +41,20 @@ cabal --version

 eghcup debug-info

-eghcup compile ghc -j $(nproc) -g ${GHC_GIT_TAG} -b ${GHC_VERSION} -- --enable-unregisterised
+(
+	cd /tmp
+	ecabal install --installdir="$CI_PROJECT_DIR/.local/bin" --overwrite-policy=always --install-method=copy --constraint="happy == 1.19.12" happy
+	ecabal install --installdir="$CI_PROJECT_DIR/.local/bin" --overwrite-policy=always --install-method=copy --constraint="alex == 3.2.6" alex
+)
+
+ls -la "$CI_PROJECT_DIR/.local/bin"
+which alex
+which happy
+"$CI_PROJECT_DIR/.local/bin/alex" --version
+"$CI_PROJECT_DIR/.local/bin/happy" --version
+
+
+eghcup compile ghc -j $(nproc) -g ${GHC_GIT_TAG} -b ${GHC_VERSION} --hadrian -- --enable-unregisterised
 eghcup set ghc ${GHC_GIT_VERSION}

 [ `$(eghcup whereis ghc ${GHC_GIT_VERSION}) --numeric-version` = "${GHC_GIT_VERSION}" ]
--- a/README.md
+++ b/README.md
@@ -8,4 +8,4 @@

 GHCup is an installer for the general purpose language [Haskell](https://www.haskell.org/).

-See the [quick installation](https://www.haskell.org/ghcup/) or browse the [documentation](https://ghcup.readthedocs.io/en/latest/).
+Visit the [documentation](https://www.haskell.org/ghcup/) for installation instructions.
--- a/cabal.project
+++ b/cabal.project
@@ -8,7 +8,9 @@ package ghcup
    tests: True
    flags: +tui

-constraints: http-io-streams -brotli
+constraints: http-io-streams -brotli,
+             any.Cabal ==3.4.0.0 || ==3.6.2.0
+

 package libarchive
  flags: -system-libarchive
--- a/data/metadata/ghcup-0.0.6.yaml
+++ b/data/metadata/ghcup-0.0.6.yaml
@@ -2182,7 +2182,8 @@ ghcupDownloads:
              dlUri: https://downloads.haskell.org/~cabal/cabal-install-3.2.0.0/cabal-install-3.2.0.0-i386-unknown-linux.tar.xz
              dlHash: 2b3ac28549916de5f3379241797eaf60e84b6c001f2abbe73d9fadbbaf768e93
    3.4.0.0:
-      viTags: []
+      viTags:
+        - old
      viChangeLog: https://github.com/haskell/cabal/blob/master/release-notes/cabal-install-3.4.0.0.md
      viArch:
        A_64:
@@ -2231,10 +2232,60 @@ ghcupDownloads:
            unknown_versioning:
              dlUri: https://downloads.haskell.org/~ghcup/unofficial-bindists/cabal/3.4.0.0/cabal-install-3.4.0.0-armv7-linux-bootstrapped.tar.xz
              dlHash: 16c0d1eaba24bed14f3e152970179a45d9f9bb5cc839b2c210ad06eb7d4826ed
+    3.4.1.0:
+      viTags:
+        - Recommended
+      viChangeLog: https://github.com/haskell/cabal/blob/master/release-notes/cabal-install-3.4.1.0.md
+      viArch:
+        A_64:
+          Linux_UnknownLinux:
+            unknown_versioning:
+              dlUri: https://downloads.haskell.org/~cabal/cabal-install-3.4.1.0/cabal-install-3.4.1.0-x86_64-linux-deb10.tar.xz
+              dlHash: 019351d5ddc282f2195aca6d432699a31ad0ff75b01eeddff2402f5f3ca2104e
+          Linux_Alpine:
+            unknown_versioning:
+              dlUri: https://downloads.haskell.org/~ghcup/unofficial-bindists/cabal/3.4.1.0/cabal-install-3.4.1.0-x86_64-linux-alpine-static.tar.xz
+              dlHash: f8cae8b5e6346b56676f734de1afd9b4b5f27eab6ab87852c19a30f7850f17fe
+          Darwin:
+            unknown_versioning:
+              dlUri: https://downloads.haskell.org/~cabal/cabal-install-3.4.1.0/cabal-install-3.4.1.0-x86_64-darwin.tar.xz
+              dlHash: c45f9503a60cb580c0ef13c7d9c0069fb953ee4c173835454d1e8f708ed2b574
+          FreeBSD:
+            '( >= 12 && < 13 )':
+              dlUri: https://downloads.haskell.org/~cabal/cabal-install-3.4.1.0/cabal-install-3.4.1.0-x86_64-freebsd12.tar.xz
+              dlHash: 54563fb7624d871dec0d852c156f4826e31078def99d376bbebb4d066d3aa7ae
+            '( >= 13 )':
+              dlUri: https://downloads.haskell.org/~cabal/cabal-install-3.4.1.0/cabal-install-3.4.1.0-x86_64-freebsd13.tar.xz
+              dlHash: 3cc9e9a8f9dadcb97b777907bb884042edc5a2f89c81a782b086554a48852506
+          Windows:
+            unknown_versioning:
+              dlUri: https://downloads.haskell.org/~cabal/cabal-install-3.4.1.0/cabal-install-3.4.1.0-x86_64-windows.zip
+              dlSubdir:
+              dlHash: b86761a55a0899e33b6e9b64c75a52b33716430de93ea47bfd07d8f11417e800
+        A_32:
+          Linux_UnknownLinux:
+            unknown_versioning: &cabal-3410-32
+              dlUri: https://downloads.haskell.org/~ghcup/unofficial-bindists/cabal/3.4.1.0/cabal-install-3.4.1.0-i386-linux-alpine.tar.xz
+              dlHash: 7622c64b9382443a43494a992c836654d6554110acf34a4331271e1b438e2ab8
+          Linux_Alpine:
+            unknown_versioning: *cabal-3410-32
+        A_ARM64:
+          Linux_UnknownLinux:
+            unknown_versioning:
+              dlUri: https://downloads.haskell.org/~cabal/cabal-install-3.4.1.0/cabal-install-3.4.1.0-aarch64-linux-deb10.tar.xz
+              dlHash: 67a7d253e2f4069d47c321fb1b72ca8156e7387a05801417569b95c2654e18ce
+          Darwin:
+            unknown_versioning:
+              dlUri: https://downloads.haskell.org/~cabal/cabal-install-3.4.1.0/cabal-install-3.4.1.0-aarch64-darwin.tar.xz
+              dlHash: f1fb07f1e385ef12d6c3a26ee6caa5223463b095373f1ea1ef74ab5922b0302f
+        A_ARM:
+          Linux_UnknownLinux:
+            unknown_versioning:
+              dlUri: https://downloads.haskell.org/~ghcup/unofficial-bindists/cabal/3.4.1.0/cabal-install-3.4.1.0-armv7-linux-deb10.tar.xz
+              dlHash: 7c5b75ded319629ff47b17dd283b90ad1ba2635cf65c1a0d2b5be9610e843968
    3.6.0.0:
      viTags:
-      - Recommended
-      - Latest
+        - old
      viChangeLog: https://github.com/haskell/cabal/blob/master/release-notes/cabal-install-3.6.0.0.md
      viArch:
        A_64:
@@ -2262,6 +2313,13 @@ ghcupDownloads:
              dlUri: https://downloads.haskell.org/~cabal/cabal-install-3.6.0.0/cabal-install-3.6.0.0-x86_64-windows.zip
              dlSubdir:
              dlHash: 8222b49b6eac3d06aaa390bc688f467e8f949a38943567f46246f8320fd72ded
+        A_32:
+          Linux_UnknownLinux:
+            unknown_versioning: &cabal-3600-32
+              dlUri: https://downloads.haskell.org/~ghcup/unofficial-bindists/cabal/3.6.0.0/cabal-install-3.6.0.0-i386-linux.tar.gz
+              dlHash: f2fcef4a212906379a255e12c853f1d015fa22c867764bd7f6e09c6f656b3c75
+          Linux_Alpine:
+            unknown_versioning: *cabal-3600-32
        A_ARM64:
          Linux_UnknownLinux:
            unknown_versioning:
@@ -2276,6 +2334,57 @@ ghcupDownloads:
            unknown_versioning:
              dlUri: https://downloads.haskell.org/~ghcup/unofficial-bindists/cabal/3.6.0.0/cabal-install-3.6.0.0-armv7-linux.tar.xz
              dlHash: 11b5ca042a8bf45971224f2127a3e9d6b803f09210042ca80a254bea06f01a2e
+    3.6.2.0:
+      viTags:
+        - Latest
+      viChangeLog: https://github.com/haskell/cabal/blob/master/release-notes/cabal-install-3.6.2.0.md
+      viArch:
+        A_64:
+          Linux_UnknownLinux:
+            unknown_versioning:
+              dlUri: https://downloads.haskell.org/~cabal/cabal-install-3.6.2.0/cabal-install-3.6.2.0-x86_64-linux-deb10.tar.xz
+              dlHash: 4759b56e9257e02f29fa374a6b25d6cb2f9d80c7e3a55d4f678a8e570925641c
+          Linux_Alpine:
+            unknown_versioning:
+              dlUri: https://downloads.haskell.org/~ghcup/unofficial-bindists/cabal/3.6.2.0/cabal-install-3.6.2.0-x86_64-linux-alpine-static.tar.xz
+              dlHash: 7810d31f35ca7649355647abc6406ad2a3696648ce848e49409e86bd70f6a2c6
+          Darwin:
+            unknown_versioning:
+              dlUri: https://downloads.haskell.org/~cabal/cabal-install-3.6.2.0/cabal-install-3.6.2.0-x86_64-darwin.tar.xz
+              dlHash: d616284712f052e599cf1940b10fa2dca4fc6ae1308c32db03f5bd2c23eb2419
+          FreeBSD:
+            '( >= 12 && < 13 )':
+              dlUri: https://downloads.haskell.org/~cabal/cabal-install-3.6.2.0/cabal-install-3.6.2.0-x86_64-freebsd12.tar.xz
+              dlHash: eaabbc6f6f4782ad21f8df95d1902eb29b66d8fafe6c8278aaa3d48da772aecb
+            '( >= 13 )':
+              dlUri: https://downloads.haskell.org/~cabal/cabal-install-3.6.2.0/cabal-install-3.6.2.0-x86_64-freebsd13.tar.xz
+              dlHash: b22965d2cc70061e6efb3b4a0e901906c83fb448810e79aca97b9e61bce22692
+          Windows:
+            unknown_versioning:
+              dlUri: https://downloads.haskell.org/~cabal/cabal-install-3.6.2.0/cabal-install-3.6.2.0-x86_64-windows.zip
+              dlSubdir:
+              dlHash: 89aa3aa3f76d15182c0d03227639890cd537627ba0bf0ef9ab451fee504b24c6
+        A_32:
+          Linux_UnknownLinux:
+            unknown_versioning: &cabal-3620-32
+              dlUri: https://downloads.haskell.org/~ghcup/unofficial-bindists/cabal/3.6.2.0/cabal-install-3.6.2.0-i386-linux-alpine.tar.xz
+              dlHash: 902b15de4ec5935474c62a72b373a76f727684449d7425996f0ad067a5481bd0
+          Linux_Alpine:
+            unknown_versioning: *cabal-3620-32
+        A_ARM64:
+          Linux_UnknownLinux:
+            unknown_versioning:
+              dlUri: https://downloads.haskell.org/~cabal/cabal-install-3.6.2.0/cabal-install-3.6.2.0-aarch64-linux-deb10.tar.xz
+              dlHash: d9acee67d4308bc5c22d27bee034d388cc4192a25deff9e7e491e2396572b030
+          Darwin:
+            unknown_versioning:
+              dlUri: https://downloads.haskell.org/~cabal/cabal-install-3.6.2.0/cabal-install-3.6.2.0-aarch64-darwin.tar.xz
+              dlHash: 859c526cde4498879a935e38422d3a0b70ae012dff034913331be8dd429a4a74
+        A_ARM:
+          Linux_UnknownLinux:
+            unknown_versioning:
+              dlUri: https://downloads.haskell.org/~ghcup/unofficial-bindists/cabal/3.6.2.0/cabal-install-3.6.2.0-armv7-linux-deb10.tar.xz
+              dlHash: 694ba7c14f8d720c6e790ab0488dbff2d8a07d9c6de97b4deeba31088f825bc2
  GHCup:
    0.1.17.2:
      viTags:
--- a/docs/about.md
+++ b/docs/about.md
@@ -2,10 +2,48 @@

 All you wanted to know about GHCup.

+## Team
+
+### Author and Maintainer
+
+* [Julian Ospald](https://github.com/hasufell) (aka: maerwald, hasufell)
+
+### Collaborators
+
+* [Arjun Kathuria](https://github.com/arjunkathuria)
+* [Ben Gamari](https://github.com/bgamari)
+* [Javier Neira](https://github.com/jneira)
+
+### Contributors
+
+* amesgen
+* Chris Smith
+* Anton-Latukha
+* Brian McKenna
+* Huw campbell
+* Tom Ellis
+* Sigmund Vestergaard
+* Ron Toland
+* Paolo Martini
+* Mario Lang
+* Jan Hrček
+* vglfr
+* Fendor
+* Enrico Maria De Angelis
+* Emily Pillmore
+* Colin Barrett
+* Artur Gajowy
+
+### Sponsors
+
+* All [opencollective](https://opencollective.com/ghcup#category-CONTRIBUTE) contributors
+* [haskell.org](https://www.haskell.org/haskell-org-committee/) via CI and infrastructure
+* [Haskell Foundation](https://haskell.foundation/affiliates/) via affiliation
+
 ## Design goals

 1. simplicity
-2. non-interactive
+2. non-interactive CLI interface
 3. portable
 4. do one thing and do it well (UNIX philosophy)

@@ -40,7 +78,7 @@ cabal-install/HLS/stack are installed in `~/.ghcup/bin/<tool>-<ver>` and have un

 ## Known problems

-#### Custom ghc version names
+### Custom ghc version names

 When installing ghc bindists with custom version names as outlined in
 [installing custom bindists](#installing-custom-bindists), then cabal might
@@ -51,16 +89,16 @@ as the current one via: `ghcup set ghc <version-name>`.

 This problem doesn't exist for regularly installed GHC versions.

-#### Limited distributions supported
+### Limited distributions supported

 Currently only GNU/Linux distributions compatible with the [upstream GHC](https://www.haskell.org/ghc/download_ghc_8_6_1.html#binaries) binaries are supported.

-#### Precompiled binaries
+### Precompiled binaries

 Since this uses precompiled binaries you may run into
 several problems.

-##### Missing libtinfo (ncurses)
+#### Missing libtinfo (ncurses)

 You may run into problems with *ncurses* and **missing libtinfo**, in case
 your distribution doesn't use the legacy way of building
@@ -69,13 +107,13 @@ ncurses and has no compatibility symlinks in place.
 Ask your distributor on how to solve this or
 try to compile from source via `ghcup compile <version>`.

-##### Libnuma required
+#### Libnuma required

 This was a [bug](https://ghc.haskell.org/trac/ghc/ticket/15688) in the build system of some GHC versions that lead to
 unconditionally enabled libnuma support. To mitigate this you might have to install the libnuma
 package of your distribution. See [here](https://gitlab.haskell.org/haskell/ghcup/issues/58) for a discussion.

-#### Compilation
+### Compilation

 Although this script can compile GHC for you, it's just a very thin
 wrapper around the build system. It makes no effort in trying
@@ -83,7 +121,7 @@ to figure out whether you have the correct toolchain and
 the correct dependencies. Refer to [the official docs](https://ghc.haskell.org/trac/ghc/wiki/Building/Preparation/Linux)
 on how to prepare your environment for building GHC.

-#### Stack support
+### Stack support

 There may be a number of bugs when trying to make ghcup installed GHC versions work with stack,
 such as:
@@ -95,7 +133,7 @@ issues discussed here:

 - https://gitlab.haskell.org/haskell/ghcup-hs/-/issues/153

-#### Windows support
+### Windows support

 Windows support is in early stages. Since windows doesn't support symbolic links properly,
 ghcup uses a [shimgen wrapper](https://github.com/71/scoop-better-shimexe). It seems to work
@@ -108,17 +146,17 @@ Windows 7 and Powershell 2.0 aren't well supported at the moment, also see:

 ## FAQ

-#### Why reimplement stack?
+### Why reimplement stack?

 GHCup is not a reimplementation of stack. The only common part is automatic installation of GHC,
 but even that differs in scope and design.

-#### Why should I use ghcup over stack?
+### Why should I use ghcup over stack?

 GHCup is not a replacement for stack. Instead, it supports installing and managing stack versions.
 It does the same for cabal, GHC and HLS. As such, It doesn't make a workflow choice for you.

-#### Why should I let ghcup manage stack?
+### Why should I let ghcup manage stack?

 You don't need to. However, some users seem to prefer to have a central tool that manages cabal and stack
 at the same time. Additionally, it can allow better sharing of GHC installation across these tools.
@@ -127,25 +165,21 @@ Also see:
 * https://docs.haskellstack.org/en/stable/yaml_configuration/#system-ghc
 * https://github.com/commercialhaskell/stack/pull/5585

-#### Why does ghcup not use stack code?
-
-Oddly, this question has been asked a couple of times. For the curious, here are a few reasons:
+### Why does ghcup not use stack code?

 1. GHCup started as a shell script. At the time of rewriting it in Haskell, the authors didn't even know that stack exposes *some* of its [installation API](https://hackage.haskell.org/package/stack-2.5.1.1/docs/Stack-Setup.html)
-2. Even if they did, it doesn't seem it would have satisfied their needs
-	  - it didn't support cabal installation, which was the main motivation behind GHCup back then
-	  - depending on a codebase as big as stack for a central part of one's application without having a short contribution pipeline would likely have caused stagnation or resulted in simply copy-pasting the relevant code in order to adjust it
-	  - it's not clear how GHCup would have been implemented with the provided API. It seems the codebases are fairly different. GHCup does a lot of symlink handling to expose a central `bin/` directory that users can easily put in PATH, without having to worry about anything more. It also provides explicit removal functionality, GHC cross-compilation, a TUI, etc etc.
-3. GHCup is built around unix principles and supposed to be simple.
+2. it doesn't support cabal installation, which was the main motivation behind GHCup back then
+3. depending on a codebase as big as stack for a central part of one's application without having a short contribution pipeline would likely have caused stagnation or resulted in simply copy-pasting the relevant code in order to adjust it
+4. it's not clear how GHCup would have been implemented with the provided API. It seems the codebases are fairly different. GHCup does a lot of symlink handling to expose a central `bin/` directory that users can easily put in PATH, without having to worry about anything more. It also provides explicit removal functionality, GHC cross-compilation, a TUI, etc etc.

-#### Why not unify...
+### Why not unify...

-##### ...stack and Cabal and do away with standalone installers
+#### ...stack and Cabal and do away with standalone installers

 GHCup is not involved in such decisions. cabal-install and stack might have a
 sufficiently different user experience to warrant having a choice.

-##### ...installer implementations and have a common library
+#### ...installer implementations and have a common library

 This sounds like an interesting goal. However, GHC installation isn't a hard engineering problem
 and the shared code wouldn't be too exciting. For such an effort to make sense, all involved
@@ -158,21 +192,19 @@ can then call into ghcup or anything else, also see:
 * https://github.com/haskell/cabal/issues/7394
 * https://github.com/commercialhaskell/stack/pull/5585

-##### ...installers (like, all of it)
+#### ...installers (like, all of it)

-So far, there hasn't been an **open** discussion about this. Is this even a good idea?
+So far, there hasn't been an open discussion about this. Is this even a good idea?
 Sometimes projects converge eventually if their overlap is big enough, sometimes they don't.

 While unification sounds like a simplification of the ecosystem, it also takes away choice.
 Take `curl` and `wget` as an example.

-How bad do we need this?
-
-#### Why not support windows?
+### Why not support windows?

 Windows is supported since GHCup version 0.1.15.1.

-#### Why the haskell reimplementation?
+### Why the haskell reimplementation?

 GHCup started as a portable posix shell script of maybe 50 LOC. GHC installation itself can be carried out in
 about ~3 lines of shell code (download, unpack , configure+make install). However, much convenient functionality
@@ -182,12 +214,3 @@ over 2k LOC, which was very hard to maintain.
 The main concern when switching from a portable shell script to haskell was platform/architecture support.
 However, ghcup now re-uses GHCs CI infrastructure and as such is perfectly in sync with all platforms that
 GHC supports.
-
-#### Is GHCup affiliated with the Haskell Foundation?
-
-There has been some collaboration: Windows and Stack support were mainly requested by the Haskell Foundation
-and those seemed interesting features to add.
-
-Other than that, GHCup is dedicated only to its users and is supported by haskell.org through hosting and CI
-infrastructure.
-
--- a/docs/css/extra.css
+++ b/docs/css/extra.css
@@ -1,3 +1,28 @@
+h2
+{
+    border-bottom:1px solid #CCC;
+    padding-bottom:5px;
+    padding-top:15px;
+}
+
+h1 {
+    text-align: center;
+    font-size: 60px;
+    font-weight: 300;
+    padding-top:15px;
+}
+
+h3 {
+    font-size: 30px;
+    padding-top:10px;
+}
+
+h4 {
+    font-size: 25px;
+    padding-top:10px;
+}
+
+
 div.col-md-9 h1:first-of-type {
    text-align: center;
    font-size: 60px;
@@ -27,10 +52,16 @@ div.gh-badge img {
 }

 a.donate-badge img {
-	margin-top: 10;
-	margin-bottom: 0;
-	padding: 0;
-	height: 35px;
+    margin-top: 10px;
+    margin-bottom: 0;
+    padding: 0;
+    height: 35px;
+}
+
+@media only screen and (min-width: 1000px) {
+    a.donate-badge img {
+        margin-top: 0;
+    }
 }

 /* Definition List styles */
@@ -56,8 +87,8 @@ body.homepage>div.container div.col-md-3 {
 }

 body.homepage>div.container div.col-md-9 {
-    margin-left: 0;
-    padding-left: 0;
+    /* margin-left: 0; */
+    /* padding-left: 0; */
    flex: 0 0 100%;
    max-width: 100%;
 }
@@ -120,3 +151,101 @@ a:hover {
    color: #fff;
    background-color: #453A62;
 }
+
+.ghcup-intro {
+    text-align: center;
+}
+
+.main-buttons {
+    display: flex;
+    align-items: center;
+    flex-wrap: wrap;
+    justify-content: center;
+}
+
+.main-buttons a {
+    margin-right: 5px;
+    margin-bottom: 5px;
+}
+
+.command-button {
+    display: flex;
+    align-items: center;
+}
+
+.command-button > pre {
+    flex: 0 1 80%;
+    margin: 0;
+    padding: 10px;
+    text-align: center;
+    background-color: #515151;
+    color: white;
+    border-radius: 3px;
+    box-shadow: inset 0px 0px 20px 0px #333333;
+    font-size: 1em;
+    white-space: nowrap;
+    overflow: auto;
+}
+
+.ghcup-command:before {
+    color: #999;
+    content: " $ ";
+    margin-left: 15px;
+}
+
+div.command-button {
+    display: flex;
+    align-items: center;
+    justify-content: center;
+}
+
+.command-button pre {
+
+}
+
+div.command-button button {
+    color: #515151;
+    background: rgb(230, 230, 230);
+    border: 1px solid grey;
+    margin: 0 0 0 10px;
+    padding: 10px;
+    flex-basis: 0 0 20%;
+}
+
+div.command-button button .fa {
+    font-size: x-large;
+}
+
+div.command-button button:hover {
+    background: rgb(220, 220, 220);
+    color: black;
+    border: 1px solid black;
+}
+
+div.command-button button:focus {
+    background-color: #04aa6d;
+}
+
+footer > hr {
+    border-top: 0.5px solid #CCC;
+}
+
+.qi-container {
+    display: flex;
+    flex-direction: column;
+    align-items: center;
+}
+
+.ghcup-os-container {
+    width: 100%;
+    margin: 10px 0;
+}
+.ghcup-os-container > * {
+    text-align: center;
+}
+
+/* fix list overflows (esp about page) */
+ul > li {
+    overflow-wrap: anywhere;
+}
+
--- a/docs/dev.md
+++ b/docs/dev.md
@@ -1,27 +1,40 @@
 # Development

-All you wanted to know about development.
+All you wanted to know about GHCup development.
+
+## Module graph
+
+[![Module graph](./modules_small.svg){: .center style="width:900px"}](./modules_wide.svg)
+
+Main functionality is in `GHCup` module. Utility functions are
+organised tree-ish in `GHCup.Utils` and `GHCup.Utils.*`.
+
+Anything dealing with ghcup specific directories is in
+`GHCup.Utils.Dirs`.
+
+Download information on where to fetch bindists from is in the appropriate
+yaml files: `data/metadata/ghcup-<yaml-ver>.yaml`.

 ## Design decisions

-#### Using [Excepts](https://hackage.haskell.org/package/haskus-utils-variant-3.0/docs/Haskus-Utils-Variant-Excepts.html) as a beefed up ExceptT
+### Using [Excepts](https://hackage.haskell.org/package/haskus-utils-variant-3.0/docs/Haskus-Utils-Variant-Excepts.html) as a beefed up ExceptT

 This is an open variant, similar to [plucky](https://hackage.haskell.org/package/plucky) or [oops](https://github.com/i-am-tom/oops) and allows us to combine different error types. Maybe it is too much and it's a little bit [unergonomic](https://github.com/haskus/packages/issues/32) at times. If it really hurts maintenance, it will be removed. It was more of an experiment.

-#### No use of haskell-TLS
+### No use of haskell-TLS

-I consider haskell-TLS an interesting experiment, but not a battle-tested and peer-reviewed crypto implementation. There is little to no research about what the intricacies of using haskell for low-level crypto are and how vulnerable such binaries are. Instead, we use either curl the binary (for FreeBSD and mac) or http-io-streams, which works with OpenSSL bindings.
+I consider haskell-TLS an interesting experiment, but not a battle-tested and peer-reviewed crypto implementation. There is little to no research about what the intricacies of using haskell for low-level crypto are and how vulnerable such binaries are. Instead, we use either curl the binary or wget. There's also an implementation based on OpenSSL bindings, but it isn't enabled by default, since it would complicate shipping static binaries.

-#### Optics instead of lens
+### Optics instead of lens

-They're a little safer (less Monoid weirdness with view) and have better error messages. Consider the following wit lens
+They're a little safer (less Monoid weirdness with view) and have better error messages. Consider the following with [lens](https://hackage.haskell.org/package/lens):

 ```
 > view (_Just . to (++ "abc")) Nothing
 ""
 ```

-vs optics
+vs [optics](https://hackage.haskell.org/package/optics):

 ```
 > view (_Just % to (++ "abc")) Nothing
@@ -32,37 +45,38 @@ vs optics
      In an equation for ‘it’: it = view (_Just % to (++ "abc")) Nothing
 ```

-#### Strict and StrictData on by default
+### StrictData on by default

 Kazu Yamamoto [explained it in his PR](https://github.com/yesodweb/wai/pull/752#issuecomment-501531386) very well. I like to agree with him. The instances where we need non-strict behavior, we annotate it.

+`Strict` is a little more odd as a default, since it depends on how you define your functions as well.
+
 ## Code style and formatting

-1. Brittany
-2. mtl-style preferred
-3. no overly pointfree style
+Unfortunately, code formatters are semi-broken on this codebase, due to TH and CPP.

-#### Code structure
+Some light suggestions:

-Main functionality is in `GHCup` module. Utility functions are
-organised tree-ish in `GHCup.Utils` and `GHCup.Utils.*`.
-
-Anything dealing with ghcup specific directories is in
-`GHCup.Utils.Dirs`.
-
-Download information on where to fetch bindists from is in the appropriate
-yaml files: `ghcup-<yaml-ver>.yaml`.
+1. mtl-style preferred
+2. no overly pointfree style
+3. use `where` a lot, so the main function body reads like prose
+4. documentation is part of the code

 ## Common Tasks

-#### Adding a new GHC version
+### Adding a new GHC version

-1. open the latest `ghcup-<yaml-ver>.yaml`
-2. find the latest ghc version (in yaml tree e.g. `ghcupDownloads -> GHC -> 8.10.3`)
+1. open the latest `data/metadata/ghcup-<yaml-ver>.yaml`
+2. find the latest ghc version (in yaml tree e.g. `ghcupDownloads -> GHC -> 8.10.7`)
 3. copy-paste it
 4. adjust the version, tags, changelog, source url
 5. adjust the various bindist urls (make sure to also change the yaml anchors)
-6. run `cabal run exe:ghcup-gen -- check-tarballs -f ghcup-<yaml-ver>.yaml -u 'ghc-8\.10\.4'`
+6. run `cabal run exe:ghcup-gen -- check          -f data/metadata/ghcup-<yaml-ver>.yaml`
+7. run `cabal run exe:ghcup-gen -- check-tarballs -f data/metadata/ghcup-<yaml-ver>.yaml -u 'ghc-8\.10\.8'`
+
+### Adding a new CLI command
+
+An example illustration on how to deal with [optparse-applicative](https://hackage.haskell.org/package/optparse-applicative) can be seen here: https://gitlab.haskell.org/haskell/ghcup-hs/-/commit/c19dd5ee8b2edbaf0336af143f1c75b6f4843e26

 ## Major refactors

@@ -84,17 +98,23 @@ yaml files: `ghcup-<yaml-ver>.yaml`.

 3. Add ChangeLog entry

-4. Add/fix downloads in `ghcup-<ver>.yaml` (under `data/metadata`), then verify with `ghcup-gen check -f ghcup-<ver>.yaml` and possibly (example only) `ghcup-gen check-tarballs -f ghcup-<ver>.yaml -u 'ghc-8.10.7'`. Generally, new GHC/cabal/stack/hls versions are only added to the latest yaml file. New GHCup versions are added to all (great care must be taken here to not break the parser... e.g. ARM platforms don't parse in all older formats).
+4. Add/fix downloads in `ghcup-<ver>.yaml` (under `data/metadata`), then verify with `ghcup-gen check -f data/metadata/ghcup-<ver>.yaml` and possibly (example only) `ghcup-gen check-tarballs -f data/metadata/ghcup-<ver>.yaml -u 'ghc-8.10.7'`. Generally, new GHC/cabal/stack/hls versions are only added to the latest yaml file. New GHCup versions are added to all (great care must be taken here to not break the parser... e.g. ARM platforms don't parse in all older formats).

 5. Commit and git push with tag. Wait for tests to succeed and release artifacts to build.

-6. Download release artifacts and upload them `downloads.haskell.org/ghcup` along with checksum files (`sha256sum --tag * > SHA256SUMS && gpg --detach-sign -u <your-email> SHA256SUMS`)
+6. Download release artifacts and upload them `downloads.haskell.org/~ghcup` along with checksum files (`sha256sum --tag * > SHA256SUMS && gpg --detach-sign -u <your-email> SHA256SUMS`)

 7. Add ghcup release artifacts to ALL yaml files (see point 4.)

-8. Upload the final `ghcup-<ver>.yaml` to `webhost.haskell.org/ghcup/data/`.
+8. Upload the final `data/metadata/ghcup-<ver>.yaml` (and a detached GPG sig of it) to `webhost.haskell.org/ghcup/data/`.

 9. Update `bootstrap-haskell` and `bootstrap-haskell.ps1` to `webhost.haskell.org/ghcup/sh/`

-10. Update the ghcup symlinks at `downloads.haskell.org/ghcup`
+10. Update the top-level ghcup symlinks at `downloads.haskell.org/~ghcup`

+11. Post on reddit/discourse/etc. and collect rewards
+
+# Documentation
+
+This documentation page is built via [mkdocs](https://www.mkdocs.org/), see `mkdocs.yml` and `docs/` subfolder.
+The module graph needs [graphmod](https://github.com/yav/graphmod) and is generated via `scripts/dev/modgraph.sh`.
--- a/docs/expand-piece.svg
+++ b/docs/expand-piece.svg
@@ -0,0 +1,65 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+
+<svg
+   xmlns:dc="http://purl.org/dc/elements/1.1/"
+   xmlns:cc="http://creativecommons.org/ns#"
+   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   width="158.21451"
+   height="33.036404"
+   id="svg2997"
+   version="1.1"
+   inkscape:version="0.48.5 r10040"
+   sodipodi:docname="expand-piece.svg">
+  <defs
+     id="defs2999" />
+  <sodipodi:namedview
+     id="base"
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1.0"
+     inkscape:pageopacity="0.0"
+     inkscape:pageshadow="2"
+     inkscape:zoom="11.2"
+     inkscape:cx="74.534935"
+     inkscape:cy="-6.6497355"
+     inkscape:document-units="px"
+     inkscape:current-layer="layer1"
+     showgrid="false"
+     fit-margin-top="0"
+     fit-margin-left="0"
+     fit-margin-right="0"
+     fit-margin-bottom="0"
+     inkscape:window-width="2560"
+     inkscape:window-height="1374"
+     inkscape:window-x="0"
+     inkscape:window-y="27"
+     inkscape:window-maximized="1" />
+  <metadata
+     id="metadata3002">
+    <rdf:RDF>
+      <cc:Work
+         rdf:about="">
+        <dc:format>image/svg+xml</dc:format>
+        <dc:type
+           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+        <dc:title />
+      </cc:Work>
+    </rdf:RDF>
+  </metadata>
+  <g
+     inkscape:label="Layer 1"
+     inkscape:groupmode="layer"
+     id="layer1"
+     transform="translate(-218.01937,-324.40519)">
+    <path
+       style="fill:none;stroke:#524a67;stroke-width:13;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
+       d="m 224.64286,330.93361 74.64102,20 70.35898,-18.85263"
+       id="path2994"
+       inkscape:connector-curvature="0" />
+  </g>
+</svg>
--- a/docs/guide.md
+++ b/docs/guide.md
@@ -176,9 +176,9 @@ Examples:
 5. you can even compile ghc to an isolated location.  
    - `ghcup compile ghc -j 4 -v 9.0.1 -b 8.10.5 -i /home/username/my/dir/ghc` 

-## CI
+## Continuous integration

-On windows, ghcup can be installed automatically on a CI runner like so:
+On windows, ghcup can be installed automatically on a CI runner non-interactively like so:

 ```ps
 Set-ExecutionPolicy Bypass -Scope Process -Force;[System.Net.ServicePointManager]::SecurityProtocol = [System.Net.ServicePointManager]::SecurityProtocol -bor 3072;Invoke-Command -ScriptBlock ([ScriptBlock]::Create((Invoke-WebRequest https://www.haskell.org/ghcup/sh/bootstrap-haskell.ps1 -UseBasicParsing))) -ArgumentList $false,$true,$true,$false,$false,$false,$false,"C:\"
@@ -192,6 +192,11 @@ curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_H

 This will just install `ghcup` and on windows additionally `msys2`.

+For the full list of env variables and parameters to tweak the script behavior, see:
+
+* [bootstrap-haskell for linux/darwin/freebsd](https://gitlab.haskell.org/haskell/ghcup-hs/-/blob/master/scripts/bootstrap/bootstrap-haskell#L7)
+* [bootstrap-haskell.ps1 for windows](https://gitlab.haskell.org/haskell/ghcup-hs/-/blob/master/scripts/bootstrap/bootstrap-haskell.ps1#L17)
+
 ### Example github workflow

 On github workflows you can use https://github.com/haskell/actions/
--- a/docs/index.md
+++ b/docs/index.md
@@ -4,9 +4,13 @@ hide:
  - toc
 ---

+<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.min.css">
+<script src="javascripts/extra.js"></script>
+
+
 # ![](./haskell_logo.png){: .main-logo style="width:100px"} GHCup

-GHCup is an installer for the general purpose language [Haskell](https://www.haskell.org/).
+<p class="ghcup-intro">GHCup is an installer for the general purpose language <a href="https://www.haskell.org">Haskell</a>.</p>

 <div class="text-center gh-badge">
 <a href="https://kiwiirc.com/nextclient/irc.libera.chat/?nick=Guest%7C?#haskell,#haskell-ghcup"><img src="https://img.shields.io/badge/chat-on%20libera%20IRC-brightgreen.svg" alt="Join the chat at Libera.chat"></a>
@@ -22,15 +26,41 @@ GHCup makes it easy to install specific versions of GHC on GNU/Linux,
 macOS (aka Darwin), FreeBSD and Windows and can also bootstrap a fresh [Haskell developer environment](./install/#supported-tools) from scratch.
 It follows the unix UNIX philosophy of [do one thing and do it well](https://en.wikipedia.org/wiki/Unix_philosophy#Do_One_Thing_and_Do_It_Well). Similar in scope to [rustup](https://github.com/rust-lang-nursery/rustup.rs), [pyenv](https://github.com/pyenv/pyenv) and [jenv](http://www.jenv.be).

-<div class="text-center">
-<a href="https://www.haskell.org/ghcup/" class="btn btn-primary" role="button">Quick Install</a>
+<div class="text-center main-buttons">
+<a href="#quick-install" class="btn btn-primary" role="button">Quick Install</a>
 <a href="install/" class="btn btn-primary" role="button">Getting Started</a>
 <a href="guide/" class="btn btn-primary" role="button">User Guide</a>
 <a href="https://gitlab.haskell.org/haskell/ghcup-hs/-/issues" class="btn btn-primary" role="button">Issue tracker</a>
 </div>

+[![GHCup](./ghcup.gif){: .center style="width:700px"}](install#installation)

----
+<section class="qi-container">
+    <h2 class="text-center" id="quick-install">Quick Install<a class="headerlink" href="#quick-install" title="Permanent link"></a></h2>

-![GHCup](./ghcup.gif){: .center style="width:700px"}
+    <div class="ghcup-os-container">
+      <h3>Linux, macOS, FreeBSD or <a href="https://docs.microsoft.com/en-us/windows/wsl/"> WSL2 </a></h3>
+      <p>Run the following in a terminal (as a non-root user):<p>
+      <div class="command-button">
+	    <pre>
+            <span class="ghcup-command" id="ghcup-command-linux">curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh</span>
+          </pre>
+        <button class="btn" onclick="copyToClipboardNux()" id="ghcup-linux-button"><i class="fa fa-copy"></i></button>
+      </div>
+      <span>
+      </span>
+    </div>

+    <div class="ghcup-os-container">
+      <h3>Windows</h3>
+      <p>Run the following in a PowerShell session (as a non-admin user):<p>
+
+      <div class="command-button">
+	    <pre>
+          <span class="ghcup-command" id="ghcup-command-windows">Set-ExecutionPolicy Bypass -Scope Process -Force;[System.Net.ServicePointManager]::SecurityProtocol = [System.Net.ServicePointManager]::SecurityProtocol -bor 3072;Invoke-Command -ScriptBlock ([ScriptBlock]::Create((Invoke-WebRequest https://www.haskell.org/ghcup/sh/bootstrap-haskell.ps1 -UseBasicParsing))) -ArgumentList $true
+          </span>
+        </pre>
+        <button class="btn" onclick="copyToClipboardWin()" id="ghcup-windows-button"><i class="fa fa-copy"></i></button>
+      </div>
+    </div>
+</section>
--- a/docs/install.md
+++ b/docs/install.md
@@ -4,23 +4,27 @@ Let's get started....

 ## Installation

-On Linux, macOS, FreeBSD or Windows Subsystem 2 for Linux, run the following in your terminal (as a user other than root), then follow the onscreen instructions:
+The following commands will download the `ghcup` binary into `~/.ghcup/bin` (or `C:\ghcup\bin` on windows) and then
+run it to interactively install the [Haskell Toolchain](#supported-tools). These commands should be run as **non-root/non-admin
+user**.
+
+For Linux, macOS, FreeBSD or Windows Subsystem 2 for Linux, run this in a terminal:

 ```sh
 curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh
 ```

-If you are running Windows, run the following in a powershell session (as a non-admin user).
+For Windows, run this in a PowerShell session:

 ```psh
 Set-ExecutionPolicy Bypass -Scope Process -Force;[System.Net.ServicePointManager]::SecurityProtocol = [System.Net.ServicePointManager]::SecurityProtocol -bor 3072;Invoke-Command -ScriptBlock ([ScriptBlock]::Create((Invoke-WebRequest https://www.haskell.org/ghcup/sh/bootstrap-haskell.ps1 -UseBasicParsing))) -ArgumentList $true
 ```

-Advanced users may want to perform a [manual installation](#manual-install).
+Advanced users may want to perform a [manual installation](#manual-install) and GPG verify the binaries.

 ## Supported tools

-GHCup supports the following tools:
+GHCup supports the following tools, which are also known as the **Haskell Toolchain**:

 1. [GHC](https://www.haskell.org/ghc/)
 2. [cabal-install](https://cabal.readthedocs.io/en/latest/)
@@ -40,8 +44,8 @@ This list may not be exhaustive and specifies support for bindists only.
 | Windows Server 2022 | amd64 | ✅ | ✅ | ✅ | ✅ | ✅ |
 | Windows WSL1 | amd64 | ❌ | ❔ | ❔ | ❔ | ❔ |
 | Windows WSL2 | amd64 | ✅ | ✅ | ✅ | ✅ | ✅ |
-| MacOS >=13 | amd64 | ✅ | ✅ | ✅ | ✅ | ✅ |
-| MacOS <13 | amd64 | ❌ | ❔ | ❔ | ❔ | ❔ |
+| MacOS >=10.13 | amd64 | ✅ | ✅ | ✅ | ✅ | ✅ |
+| MacOS <10.13 | amd64 | ❌ | ❔ | ❔ | ❔ | ❔ |
 | MacOS | aarch64 | ✅ | ✅ | ✅ | ⚠️ | ❌ |
 | FreeBSD | amd64 | ✅ | ⚠️ | ✅ | ⚠️ | ❌ |
 | Linux generic | x86 | ✅ | ✅ | ✅ | ✅ | ✅ |
@@ -49,32 +53,32 @@ This list may not be exhaustive and specifies support for bindists only.
 | Linux generic | aarch64 | ✅ | ⚠️ | ✅ | ⚠️ | ❌ |
 | Linux generic | armv7 | ✅ | ⚠️ | ✅ | ⚠️ | ❌ |

-#### Windows 7
+### Windows 7

 May or may not work, several issues:

 * https://gitlab.haskell.org/haskell/ghcup-hs/-/issues/140
 * https://gitlab.haskell.org/haskell/ghcup-hs/-/issues/197

-#### WSL1
+### WSL1

 Unsupported. GHC may or may not work. Upgrade to WSL2.

-#### MacOS <13
+### MacOS <13

 Not supported. Would require separate binaries, since >=13 binaries are incompatible.
 Please upgrade.

-#### MacOS aarch64
+### MacOS aarch64

 HLS bindists are still experimental. Stack is theoretically supported, but has no binaries yet.

-#### FreeBSD
+### FreeBSD

 Lacks some upstream bindists and may need compat libs, since most bindists are built on FreeBSD-12.
 HLS bindists are experimental.

-#### Linux ARMv7/AARCH64
+### Linux ARMv7/AARCH64

 Lower availability of bindists. HLS only has experimental ones. Stack not supported currently.

@@ -83,6 +87,8 @@ Lower availability of bindists. HLS only has experimental ones. Stack not suppor
 Download the binary for your platform at [https://downloads.haskell.org/~ghcup/](https://downloads.haskell.org/~ghcup/)
 and place it into your `PATH` anywhere.

+If you want to GPG verify the binaries, import the following key first: `7784930957807690A66EBDBE3786C5262ECB4A3F`.
+
 Then adjust your `PATH` in `~/.bashrc` (or similar, depending on your shell) like so:

 ```sh
--- a/docs/javascripts/extra.js
+++ b/docs/javascripts/extra.js
@@ -0,0 +1,23 @@
+function copyToClipboardNux() {
+  const text = document.getElementById("ghcup-command-linux").innerText;
+  const el = document.createElement('textarea');
+  el.value = text;
+  document.body.appendChild(el);
+  el.select();
+  document.execCommand('copy');
+  document.body.removeChild(el);
+  const button = document.getElementById("ghcup-linux-button");
+  button.focus();
+}
+
+function copyToClipboardWin() {
+  const text = document.getElementById("ghcup-command-windows").innerText;
+  const el = document.createElement('textarea');
+  el.value = text;
+  document.body.appendChild(el);
+  el.select();
+  document.execCommand('copy');
+  document.body.removeChild(el);
+  const button = document.getElementById("ghcup-windows-button");
+  button.focus();
+}
--- a/docs/modules_small.svg
+++ b/docs/modules_small.svg
@@ -0,0 +1,366 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+ "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<!-- Generated by graphviz version 2.44.0 (0)
+ -->
+<!-- Title: G Pages: 1 -->
+<svg width="719pt" height="648pt"
+ viewBox="0.00 0.00 719.28 648.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(0.81 0.81) rotate(0) translate(4 794.2)">
+<title>G</title>
+<polygon fill="white" stroke="transparent" points="-4,4 -4,-794.2 882,-794.2 882,4 -4,4"/>
+<g id="clust1" class="cluster">
+<title>cluster_0</title>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="8,-8.95 8,-660.37 870,-660.37 870,-8.95 8,-8.95"/>
+<text text-anchor="middle" x="439" y="-645.17" font-family="Times-Roman" font-size="14.00">GHCup</text>
+</g>
+<g id="clust2" class="cluster">
+<title>cluster_1</title>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="190,-364.88 190,-541.72 450,-541.72 450,-364.88 190,-364.88"/>
+<text text-anchor="middle" x="320" y="-526.52" font-family="Times-Roman" font-size="14.00">Download</text>
+</g>
+<g id="clust3" class="cluster">
+<title>cluster_2</title>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="271,-191.39 271,-355.93 452,-355.93 452,-191.39 271,-191.39"/>
+<text text-anchor="middle" x="361.5" y="-340.73" font-family="Times-Roman" font-size="14.00">Types</text>
+</g>
+<g id="clust4" class="cluster">
+<title>cluster_3</title>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="566,-17.91 566,-576.42 862,-576.42 862,-17.91 566,-17.91"/>
+<text text-anchor="middle" x="714" y="-561.22" font-family="Times-Roman" font-size="14.00">Utils</text>
+</g>
+<g id="clust5" class="cluster">
+<title>cluster_4</title>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="640,-271.98 640,-448.82 758,-448.82 758,-271.98 640,-271.98"/>
+<text text-anchor="middle" x="699" y="-433.62" font-family="Times-Roman" font-size="14.00">File</text>
+</g>
+<g id="clust6" class="cluster">
+<title>cluster_5</title>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="583,-26.86 583,-110.81 653,-110.81 653,-26.86 583,-26.86"/>
+<text text-anchor="middle" x="618" y="-95.61" font-family="Times-Roman" font-size="14.00">String</text>
+</g>
+<g id="clust7" class="cluster">
+<title>cluster_6</title>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="712,-457.78 712,-541.72 782,-541.72 782,-457.78 712,-457.78"/>
+<text text-anchor="middle" x="747" y="-526.52" font-family="Times-Roman" font-size="14.00">Version</text>
+</g>
+<!-- u1 -->
+<g id="node1" class="node">
+<title>u1</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="387" cy="-486.95" rx="55.49" ry="18"/>
+<text text-anchor="middle" x="387" y="-483.25" font-family="Times-Roman" font-size="14.00">Download</text>
+</g>
+<!-- u12 -->
+<g id="node7" class="node">
+<title>u12</title>
+<ellipse fill="#bbffff" stroke="black" stroke-width="2" cx="688" cy="-393.95" rx="27" ry="18"/>
+<text text-anchor="middle" x="688" y="-390.25" font-family="Times-Roman" font-size="14.00">File</text>
+</g>
+<!-- u1&#45;&gt;u12 -->
+<g id="edge15" class="edge">
+<title>u1&#45;&gt;u12</title>
+<path fill="none" stroke="black" d="M416.08,-471.48C425.43,-467.42 435.96,-463.44 446,-460.95 491.68,-449.63 616.67,-467.2 657,-442.95 665.62,-437.77 672.27,-429.17 677.16,-420.67"/>
+<polygon fill="black" stroke="black" points="680.34,-422.15 681.79,-411.65 674.11,-418.95 680.34,-422.15"/>
+</g>
+<!-- u11 -->
+<g id="node15" class="node">
+<title>u11</title>
+<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="603" cy="-393.95" rx="28.7" ry="18"/>
+<text text-anchor="middle" x="603" y="-390.25" font-family="Times-Roman" font-size="14.00">Dirs</text>
+</g>
+<!-- u1&#45;&gt;u11 -->
+<g id="edge14" class="edge">
+<title>u1&#45;&gt;u11</title>
+<path fill="none" stroke="black" d="M419.14,-472.31C427.86,-468.62 437.29,-464.63 446,-460.95 489.08,-442.77 538.85,-421.87 570.6,-408.54"/>
+<polygon fill="black" stroke="black" points="571.98,-411.76 579.85,-404.66 569.27,-405.3 571.98,-411.76"/>
+</g>
+<!-- u13 -->
+<g id="node18" class="node">
+<title>u13</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="109" cy="-300.95" rx="44.39" ry="18"/>
+<text text-anchor="middle" x="109" y="-297.25" font-family="Times-Roman" font-size="14.00">Version</text>
+</g>
+<!-- u1&#45;&gt;u13 -->
+<g id="edge13" class="edge">
+<title>u1&#45;&gt;u13</title>
+<path fill="none" stroke="black" d="M356.68,-471.88C346.23,-467.63 334.3,-463.44 323,-460.95 290.82,-453.87 49.58,-466.95 27,-442.95 4.16,-418.68 12.6,-398.02 27,-367.95 36.61,-347.88 55.63,-331.97 72.94,-320.81"/>
+<polygon fill="black" stroke="black" points="75.07,-323.61 81.77,-315.4 71.41,-317.64 75.07,-323.61"/>
+</g>
+<!-- u17 -->
+<g id="node2" class="node">
+<title>u17</title>
+<ellipse fill="#bbbbff" stroke="black" stroke-width="0" cx="332" cy="-393.95" rx="30.59" ry="18"/>
+<text text-anchor="middle" x="332" y="-390.25" font-family="Times-Roman" font-size="14.00">Utils</text>
+</g>
+<!-- u5 -->
+<g id="node6" class="node">
+<title>u5</title>
+<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="410" cy="-300.95" rx="33.6" ry="18"/>
+<text text-anchor="middle" x="410" y="-297.25" font-family="Times-Roman" font-size="14.00">JSON</text>
+</g>
+<!-- u17&#45;&gt;u5 -->
+<g id="edge16" class="edge">
+<title>u17&#45;&gt;u5</title>
+<path fill="none" stroke="black" d="M345.23,-377.52C357.37,-363.35 375.54,-342.16 389.55,-325.81"/>
+<polygon fill="black" stroke="black" points="392.59,-327.64 396.44,-317.77 387.28,-323.09 392.59,-327.64"/>
+</g>
+<!-- u19 -->
+<g id="node3" class="node">
+<title>u19</title>
+<ellipse fill="#bbbbff" stroke="black" stroke-width="0" cx="256" cy="-486.95" rx="57.69" ry="18"/>
+<text text-anchor="middle" x="256" y="-483.25" font-family="Times-Roman" font-size="14.00">IOStreams</text>
+</g>
+<!-- u19&#45;&gt;u17 -->
+<g id="edge17" class="edge">
+<title>u19&#45;&gt;u17</title>
+<path fill="none" stroke="black" d="M272.49,-469.68C280.19,-461.83 289.33,-452.14 297,-442.95 303.18,-435.56 309.51,-427.17 315.06,-419.49"/>
+<polygon fill="black" stroke="black" points="318.21,-421.09 321.16,-410.91 312.51,-417.03 318.21,-421.09"/>
+</g>
+<!-- u3 -->
+<g id="node4" class="node">
+<title>u3</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="399" cy="-220.95" rx="36.29" ry="18"/>
+<text text-anchor="middle" x="399" y="-217.25" font-family="Times-Roman" font-size="14.00">Types</text>
+</g>
+<!-- u4 -->
+<g id="node5" class="node">
+<title>u4</title>
+<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="319" cy="-300.95" rx="39.79" ry="18"/>
+<text text-anchor="middle" x="319" y="-297.25" font-family="Times-Roman" font-size="14.00">Optics</text>
+</g>
+<!-- u4&#45;&gt;u3 -->
+<g id="edge18" class="edge">
+<title>u4&#45;&gt;u3</title>
+<path fill="none" stroke="black" d="M335.19,-284.17C346.87,-272.78 362.8,-257.24 375.83,-244.55"/>
+<polygon fill="black" stroke="black" points="378.39,-246.94 383.11,-237.45 373.5,-241.92 378.39,-246.94"/>
+</g>
+<!-- u6 -->
+<g id="node12" class="node">
+<title>u6</title>
+<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="638" cy="-486.95" rx="64.19" ry="18"/>
+<text text-anchor="middle" x="638" y="-483.25" font-family="Times-Roman" font-size="14.00">MegaParsec</text>
+</g>
+<!-- u5&#45;&gt;u6 -->
+<g id="edge19" class="edge">
+<title>u5&#45;&gt;u6</title>
+<path fill="none" stroke="black" d="M425.28,-317.32C443.67,-335.87 472.3,-364.95 474,-367.95 491,-397.97 469.27,-418.9 494,-442.95 518.89,-467.15 536.76,-450.95 570,-460.95 577.45,-463.2 585.27,-465.82 592.85,-468.5"/>
+<polygon fill="black" stroke="black" points="591.68,-471.8 602.27,-471.91 594.06,-465.22 591.68,-471.8"/>
+</g>
+<!-- u7 -->
+<g id="node13" class="node">
+<title>u7</title>
+<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="618" cy="-220.95" rx="44.39" ry="18"/>
+<text text-anchor="middle" x="618" y="-217.25" font-family="Times-Roman" font-size="14.00">Prelude</text>
+</g>
+<!-- u5&#45;&gt;u7 -->
+<g id="edge20" class="edge">
+<title>u5&#45;&gt;u7</title>
+<path fill="none" stroke="black" d="M429.11,-285.89C434.97,-281.99 441.58,-277.99 448,-274.95 487.67,-256.18 535.63,-241.92 570.48,-232.95"/>
+<polygon fill="black" stroke="black" points="571.56,-236.29 580.4,-230.45 569.85,-229.51 571.56,-236.29"/>
+</g>
+<!-- u9 -->
+<g id="node8" class="node">
+<title>u9</title>
+<ellipse fill="#ffbbff" stroke="black" stroke-width="0" cx="699" cy="-300.95" rx="51.19" ry="18"/>
+<text text-anchor="middle" x="699" y="-297.25" font-family="Times-Roman" font-size="14.00">Common</text>
+</g>
+<!-- u12&#45;&gt;u9 -->
+<g id="edge30" class="edge">
+<title>u12&#45;&gt;u9</title>
+<path fill="none" stroke="black" d="M690.07,-375.84C691.65,-362.75 693.87,-344.43 695.69,-329.32"/>
+<polygon fill="black" stroke="black" points="699.21,-329.34 696.94,-318.99 692.27,-328.5 699.21,-329.34"/>
+</g>
+<!-- u9&#45;&gt;u7 -->
+<g id="edge31" class="edge">
+<title>u9&#45;&gt;u7</title>
+<path fill="none" stroke="black" d="M682.22,-283.79C670.52,-272.53 654.74,-257.34 641.76,-244.83"/>
+<polygon fill="black" stroke="black" points="644.12,-242.24 634.48,-237.83 639.26,-247.29 644.12,-242.24"/>
+</g>
+<!-- u10 -->
+<g id="node9" class="node">
+<title>u10</title>
+<ellipse fill="#77ff77" stroke="black" stroke-width="0" cx="618" cy="-55.95" rx="27" ry="18"/>
+<text text-anchor="middle" x="618" y="-52.25" font-family="Times-Roman" font-size="14.00">QQ</text>
+</g>
+<!-- u16 -->
+<g id="node10" class="node">
+<title>u16</title>
+<ellipse fill="#ffff77" stroke="black" stroke-width="0" cx="747" cy="-486.95" rx="27" ry="18"/>
+<text text-anchor="middle" x="747" y="-483.25" font-family="Times-Roman" font-size="14.00">QQ</text>
+</g>
+<!-- u15 -->
+<g id="node11" class="node">
+<title>u15</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="823" cy="-486.95" rx="30.59" ry="18"/>
+<text text-anchor="middle" x="823" y="-483.25" font-family="Times-Roman" font-size="14.00">Utils</text>
+</g>
+<!-- u15&#45;&gt;u12 -->
+<g id="edge22" class="edge">
+<title>u15&#45;&gt;u12</title>
+<path fill="none" stroke="black" d="M803.42,-472.71C797.8,-468.92 791.66,-464.77 786,-460.95 761.96,-444.74 734.59,-426.31 714.9,-413.05"/>
+<polygon fill="black" stroke="black" points="716.68,-410.03 706.43,-407.35 712.77,-415.84 716.68,-410.03"/>
+</g>
+<!-- u15&#45;&gt;u11 -->
+<g id="edge21" class="edge">
+<title>u15&#45;&gt;u11</title>
+<path fill="none" stroke="black" d="M805.88,-471.91C799.92,-467.72 792.97,-463.55 786,-460.95 723.08,-437.5 693.45,-477.7 636,-442.95 627.23,-437.65 620.23,-429.02 614.98,-420.54"/>
+<polygon fill="black" stroke="black" points="617.89,-418.57 609.96,-411.54 611.78,-421.98 617.89,-418.57"/>
+</g>
+<!-- u6&#45;&gt;u3 -->
+<g id="edge23" class="edge">
+<title>u6&#45;&gt;u3</title>
+<path fill="none" stroke="black" d="M608.52,-470.77C594.78,-463.16 578.53,-453.36 565,-442.95 527.38,-414.03 523.93,-400.08 489,-367.95 479.95,-359.63 474.21,-360.56 468,-349.95 450.82,-320.62 469.18,-304.85 453,-274.95 446.44,-262.83 436.18,-251.74 426.36,-242.87"/>
+<polygon fill="black" stroke="black" points="428.53,-240.12 418.66,-236.26 423.97,-245.43 428.53,-240.12"/>
+</g>
+<!-- u8 -->
+<g id="node14" class="node">
+<title>u8</title>
+<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="618" cy="-139.95" rx="42.49" ry="18"/>
+<text text-anchor="middle" x="618" y="-136.25" font-family="Times-Roman" font-size="14.00">Logger</text>
+</g>
+<!-- u7&#45;&gt;u8 -->
+<g id="edge25" class="edge">
+<title>u7&#45;&gt;u8</title>
+<path fill="none" stroke="black" stroke-dasharray="5,2" d="M618,-202.81C618,-192.67 618,-179.59 618,-168.07"/>
+<polygon fill="black" stroke="black" points="621.5,-168.06 618,-158.06 614.5,-168.06 621.5,-168.06"/>
+</g>
+<!-- u2 -->
+<g id="node17" class="node">
+<title>u2</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="520" cy="-300.95" rx="37.89" ry="18"/>
+<text text-anchor="middle" x="520" y="-297.25" font-family="Times-Roman" font-size="14.00">Errors</text>
+</g>
+<!-- u7&#45;&gt;u2 -->
+<g id="edge24" class="edge">
+<title>u7&#45;&gt;u2</title>
+<path fill="none" stroke="black" d="M598.83,-237.21C584.07,-248.96 563.49,-265.34 547.06,-278.42"/>
+<polygon fill="black" stroke="black" points="544.54,-275.95 538.9,-284.91 548.9,-281.43 544.54,-275.95"/>
+</g>
+<!-- u8&#45;&gt;u4 -->
+<g id="edge26" class="edge">
+<title>u8&#45;&gt;u4</title>
+<path fill="none" stroke="black" d="M576.88,-144.38C511.17,-150.66 386.55,-166.09 354,-194.95 331.93,-214.52 323.74,-248.37 320.73,-272.34"/>
+<polygon fill="black" stroke="black" points="317.22,-272.27 319.67,-282.57 324.18,-272.99 317.22,-272.27"/>
+</g>
+<!-- u8&#45;&gt;u9 -->
+<g id="edge27" class="edge">
+<title>u8&#45;&gt;u9</title>
+<path fill="none" stroke="black" stroke-dasharray="5,2" d="M637.21,-156.09C648.59,-166.01 662.41,-179.89 671,-194.95 684.9,-219.32 692.1,-250.8 695.69,-272.91"/>
+<polygon fill="black" stroke="black" points="692.25,-273.56 697.18,-282.94 699.17,-272.53 692.25,-273.56"/>
+</g>
+<!-- u8&#45;&gt;u10 -->
+<g id="edge28" class="edge">
+<title>u8&#45;&gt;u10</title>
+<path fill="none" stroke="black" d="M618,-121.56C618,-110.73 618,-96.56 618,-84.25"/>
+<polygon fill="black" stroke="black" points="621.5,-84.04 618,-74.04 614.5,-84.04 621.5,-84.04"/>
+</g>
+<!-- u11&#45;&gt;u5 -->
+<g id="edge29" class="edge">
+<title>u11&#45;&gt;u5</title>
+<path fill="none" stroke="black" d="M575.99,-387.58C537.44,-379.55 469,-363.89 448,-349.95 439.06,-344.02 431.26,-335.31 425.1,-326.92"/>
+<polygon fill="black" stroke="black" points="427.82,-324.71 419.28,-318.44 422.05,-328.67 427.82,-324.71"/>
+</g>
+<!-- u0 -->
+<g id="node16" class="node">
+<title>u0</title>
+<ellipse fill="#bbffbb" stroke="black" stroke-width="2" cx="627" cy="-605.95" rx="42.49" ry="18"/>
+<text text-anchor="middle" x="627" y="-602.25" font-family="Times-Roman" font-size="14.00">GHCup</text>
+</g>
+<!-- u0&#45;&gt;u1 -->
+<g id="edge4" class="edge">
+<title>u0&#45;&gt;u1</title>
+<path fill="none" stroke="black" d="M584.67,-604.4C545.83,-602.07 488.09,-593.82 446,-566.95 425.91,-554.13 410.22,-531.89 400.09,-514.27"/>
+<polygon fill="black" stroke="black" points="402.91,-512.13 395.04,-505.04 396.77,-515.5 402.91,-512.13"/>
+</g>
+<!-- u0&#45;&gt;u16 -->
+<g id="edge6" class="edge">
+<title>u0&#45;&gt;u16</title>
+<path fill="none" stroke="black" d="M663.33,-596.57C681.18,-590.83 701.84,-581.54 716,-566.95 729.77,-552.77 737.62,-531.76 741.97,-514.97"/>
+<polygon fill="black" stroke="black" points="745.4,-515.69 744.26,-505.16 738.58,-514.11 745.4,-515.69"/>
+</g>
+<!-- u0&#45;&gt;u15 -->
+<g id="edge5" class="edge">
+<title>u0&#45;&gt;u15</title>
+<path fill="none" stroke="black" d="M669.23,-604.64C704.08,-602.27 753,-593.85 786,-566.95 801.95,-553.96 811.39,-532.52 816.74,-515.25"/>
+<polygon fill="black" stroke="black" points="820.24,-515.72 819.56,-505.15 813.5,-513.84 820.24,-515.72"/>
+</g>
+<!-- u14 -->
+<g id="node19" class="node">
+<title>u14</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="508" cy="-486.95" rx="48.19" ry="18"/>
+<text text-anchor="middle" x="508" y="-483.25" font-family="Times-Roman" font-size="14.00">Platform</text>
+</g>
+<!-- u0&#45;&gt;u14 -->
+<g id="edge3" class="edge">
+<title>u0&#45;&gt;u14</title>
+<path fill="none" stroke="black" d="M599.25,-592.23C586.98,-585.76 572.9,-577.11 562,-566.95 545.64,-551.71 531.56,-530.66 521.88,-514.12"/>
+<polygon fill="black" stroke="black" points="524.68,-511.96 516.71,-504.98 518.59,-515.41 524.68,-511.96"/>
+</g>
+<!-- u2&#45;&gt;u3 -->
+<g id="edge7" class="edge">
+<title>u2&#45;&gt;u3</title>
+<path fill="none" stroke="black" d="M498.37,-286.01C479.01,-273.53 450.45,-255.12 428.91,-241.23"/>
+<polygon fill="black" stroke="black" points="430.75,-238.25 420.45,-235.78 426.95,-244.14 430.75,-238.25"/>
+</g>
+<!-- u13&#45;&gt;u3 -->
+<g id="edge8" class="edge">
+<title>u13&#45;&gt;u3</title>
+<path fill="none" stroke="black" d="M144.85,-290.31C198.89,-275.78 300.93,-248.33 357.9,-233.01"/>
+<polygon fill="black" stroke="black" points="358.91,-236.36 367.66,-230.38 357.09,-229.6 358.91,-236.36"/>
+</g>
+<!-- u14&#45;&gt;u5 -->
+<g id="edge9" class="edge">
+<title>u14&#45;&gt;u5</title>
+<path fill="none" stroke="black" d="M492.36,-469.49C485.88,-461.9 478.78,-452.48 474,-442.95 458.54,-412.12 468.2,-399.39 454,-367.95 447.34,-353.21 437.53,-338.1 428.85,-326.06"/>
+<polygon fill="black" stroke="black" points="431.57,-323.84 422.81,-317.89 425.94,-328.01 431.57,-323.84"/>
+</g>
+<!-- u14&#45;&gt;u12 -->
+<g id="edge10" class="edge">
+<title>u14&#45;&gt;u12</title>
+<path fill="none" stroke="black" d="M534.95,-471.89C543.43,-467.9 552.95,-463.86 562,-460.95 602.92,-447.83 621.35,-466.95 657,-442.95 665.13,-437.48 671.61,-429.08 676.49,-420.83"/>
+<polygon fill="black" stroke="black" points="679.72,-422.21 681.33,-411.74 673.54,-418.92 679.72,-422.21"/>
+</g>
+<!-- u18 -->
+<g id="node20" class="node">
+<title>u18</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="109" cy="-393.95" rx="73.39" ry="18"/>
+<text text-anchor="middle" x="109" y="-390.25" font-family="Times-Roman" font-size="14.00">Requirements</text>
+</g>
+<!-- u18&#45;&gt;u5 -->
+<g id="edge12" class="edge">
+<title>u18&#45;&gt;u5</title>
+<path fill="none" stroke="black" d="M147.73,-378.58C159.84,-374.58 173.34,-370.6 186,-367.95 265.56,-351.31 295.73,-387.15 368,-349.95 378.45,-344.58 387.45,-335.41 394.41,-326.53"/>
+<polygon fill="black" stroke="black" points="397.39,-328.37 400.44,-318.22 391.73,-324.26 397.39,-328.37"/>
+</g>
+<!-- u18&#45;&gt;u13 -->
+<g id="edge11" class="edge">
+<title>u18&#45;&gt;u13</title>
+<path fill="none" stroke="black" d="M109,-375.84C109,-362.75 109,-344.43 109,-329.32"/>
+<polygon fill="black" stroke="black" points="112.5,-328.99 109,-318.99 105.5,-328.99 112.5,-328.99"/>
+</g>
+<!-- u20 -->
+<g id="node21" class="node">
+<title>u20</title>
+<ellipse fill="#bbffbb" stroke="black" stroke-width="0" cx="627" cy="-769.95" rx="32.49" ry="18"/>
+<text text-anchor="middle" x="627" y="-766.25" font-family="Times-Roman" font-size="14.00">Main</text>
+</g>
+<!-- u21 -->
+<g id="node22" class="node">
+<title>u21</title>
+<ellipse fill="#bbffbb" stroke="black" stroke-width="0" cx="627" cy="-689.95" rx="46.29" ry="18"/>
+<text text-anchor="middle" x="627" y="-686.25" font-family="Times-Roman" font-size="14.00">Validate</text>
+</g>
+<!-- u20&#45;&gt;u21 -->
+<g id="edge1" class="edge">
+<title>u20&#45;&gt;u21</title>
+<path fill="none" stroke="black" d="M627,-751.64C627,-741.85 627,-729.38 627,-718.29"/>
+<polygon fill="black" stroke="black" points="630.5,-718.22 627,-708.22 623.5,-718.22 630.5,-718.22"/>
+</g>
+<!-- u21&#45;&gt;u0 -->
+<g id="edge2" class="edge">
+<title>u21&#45;&gt;u0</title>
+<path fill="none" stroke="black" d="M627,-671.56C627,-660.73 627,-646.56 627,-634.25"/>
+<polygon fill="black" stroke="black" points="630.5,-634.04 627,-624.04 623.5,-634.04 630.5,-634.04"/>
+</g>
+</g>
+</svg>
--- a/docs/modules_wide.svg
+++ b/docs/modules_wide.svg
@@ -0,0 +1,366 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+ "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<!-- Generated by graphviz version 2.44.0 (0)
+ -->
+<!-- Title: G Pages: 1 -->
+<svg width="1075pt" height="648pt"
+ viewBox="0.00 0.00 1075.16 648.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(0.91 0.91) rotate(0) translate(4 710)">
+<title>G</title>
+<polygon fill="white" stroke="transparent" points="-4,4 -4,-710 1180.67,-710 1180.67,4 -4,4"/>
+<g id="clust1" class="cluster">
+<title>cluster_0</title>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="10.72,-8 10.72,-590 1165.95,-590 1165.95,-8 10.72,-8"/>
+<text text-anchor="middle" x="588.33" y="-574.8" font-family="Times-Roman" font-size="14.00">GHCup</text>
+</g>
+<g id="clust2" class="cluster">
+<title>cluster_1</title>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="254.63,-326 254.63,-484 603.08,-484 603.08,-326 254.63,-326"/>
+<text text-anchor="middle" x="428.85" y="-468.8" font-family="Times-Roman" font-size="14.00">Download</text>
+</g>
+<g id="clust3" class="cluster">
+<title>cluster_2</title>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="363.19,-171 363.19,-318 605.76,-318 605.76,-171 363.19,-171"/>
+<text text-anchor="middle" x="484.47" y="-302.8" font-family="Times-Roman" font-size="14.00">Types</text>
+</g>
+<g id="clust4" class="cluster">
+<title>cluster_3</title>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="758.53,-16 758.53,-515 1155.22,-515 1155.22,-16 758.53,-16"/>
+<text text-anchor="middle" x="956.88" y="-499.8" font-family="Times-Roman" font-size="14.00">Utils</text>
+</g>
+<g id="clust5" class="cluster">
+<title>cluster_4</title>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="857.71,-243 857.71,-401 1015.85,-401 1015.85,-243 857.71,-243"/>
+<text text-anchor="middle" x="936.78" y="-385.8" font-family="Times-Roman" font-size="14.00">File</text>
+</g>
+<g id="clust6" class="cluster">
+<title>cluster_5</title>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="781.32,-24 781.32,-99 875.13,-99 875.13,-24 781.32,-24"/>
+<text text-anchor="middle" x="828.22" y="-83.8" font-family="Times-Roman" font-size="14.00">String</text>
+</g>
+<g id="clust7" class="cluster">
+<title>cluster_6</title>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="954.2,-409 954.2,-484 1048.01,-484 1048.01,-409 954.2,-409"/>
+<text text-anchor="middle" x="1001.1" y="-468.8" font-family="Times-Roman" font-size="14.00">Version</text>
+</g>
+<!-- u1 -->
+<g id="node1" class="node">
+<title>u1</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="518.39" cy="-435" rx="55.49" ry="18"/>
+<text text-anchor="middle" x="518.39" y="-431.3" font-family="Times-Roman" font-size="14.00">Download</text>
+</g>
+<!-- u12 -->
+<g id="node7" class="node">
+<title>u12</title>
+<ellipse fill="#bbffff" stroke="black" stroke-width="2" cx="922.39" cy="-352" rx="27" ry="18"/>
+<text text-anchor="middle" x="922.39" y="-348.3" font-family="Times-Roman" font-size="14.00">File</text>
+</g>
+<!-- u1&#45;&gt;u12 -->
+<g id="edge15" class="edge">
+<title>u1&#45;&gt;u12</title>
+<path fill="none" stroke="black" d="M546.79,-419.43C556.27,-415.25 567.06,-411.24 577.39,-409 594.44,-405.31 876.17,-409.54 891.39,-401 900.16,-396.08 906.84,-387.53 911.72,-379"/>
+<polygon fill="black" stroke="black" points="914.92,-380.43 916.31,-369.92 908.67,-377.26 914.92,-380.43"/>
+</g>
+<!-- u11 -->
+<g id="node15" class="node">
+<title>u11</title>
+<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="808.39" cy="-352" rx="28.7" ry="18"/>
+<text text-anchor="middle" x="808.39" y="-348.3" font-family="Times-Roman" font-size="14.00">Dirs</text>
+</g>
+<!-- u1&#45;&gt;u11 -->
+<g id="edge14" class="edge">
+<title>u1&#45;&gt;u11</title>
+<path fill="none" stroke="black" d="M548.95,-419.93C557.99,-416.08 567.99,-412.11 577.39,-409 586.69,-405.92 709.34,-376.59 772.03,-361.65"/>
+<polygon fill="black" stroke="black" points="772.99,-365.02 781.91,-359.3 771.37,-358.21 772.99,-365.02"/>
+</g>
+<!-- u13 -->
+<g id="node18" class="node">
+<title>u13</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="146.39" cy="-269" rx="44.39" ry="18"/>
+<text text-anchor="middle" x="146.39" y="-265.3" font-family="Times-Roman" font-size="14.00">Version</text>
+</g>
+<!-- u1&#45;&gt;u13 -->
+<g id="edge13" class="edge">
+<title>u1&#45;&gt;u13</title>
+<path fill="none" stroke="black" d="M477.97,-422.58C457.84,-417.42 433.02,-411.85 410.39,-409 400.85,-407.8 71.11,-407.88 64.39,-401 41.09,-377.16 48.83,-355.48 64.39,-326 73.49,-308.76 90.55,-295.83 106.76,-286.76"/>
+<polygon fill="black" stroke="black" points="108.39,-289.86 115.62,-282.11 105.14,-283.66 108.39,-289.86"/>
+</g>
+<!-- u17 -->
+<g id="node2" class="node">
+<title>u17</title>
+<ellipse fill="#bbbbff" stroke="black" stroke-width="0" cx="445.39" cy="-352" rx="30.59" ry="18"/>
+<text text-anchor="middle" x="445.39" y="-348.3" font-family="Times-Roman" font-size="14.00">Utils</text>
+</g>
+<!-- u5 -->
+<g id="node6" class="node">
+<title>u5</title>
+<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="549.39" cy="-269" rx="33.6" ry="18"/>
+<text text-anchor="middle" x="549.39" y="-265.3" font-family="Times-Roman" font-size="14.00">JSON</text>
+</g>
+<!-- u17&#45;&gt;u5 -->
+<g id="edge16" class="edge">
+<title>u17&#45;&gt;u5</title>
+<path fill="none" stroke="black" d="M463.03,-337.26C479.49,-324.44 504.26,-305.15 523.05,-290.51"/>
+<polygon fill="black" stroke="black" points="525.22,-293.26 530.96,-284.35 520.92,-287.74 525.22,-293.26"/>
+</g>
+<!-- u19 -->
+<g id="node3" class="node">
+<title>u19</title>
+<ellipse fill="#bbbbff" stroke="black" stroke-width="0" cx="343.39" cy="-435" rx="57.69" ry="18"/>
+<text text-anchor="middle" x="343.39" y="-431.3" font-family="Times-Roman" font-size="14.00">IOStreams</text>
+</g>
+<!-- u19&#45;&gt;u17 -->
+<g id="edge17" class="edge">
+<title>u19&#45;&gt;u17</title>
+<path fill="none" stroke="black" d="M378.72,-420.5C389.55,-415.38 401.06,-408.84 410.39,-401 418.16,-394.47 425.12,-385.87 430.76,-377.75"/>
+<polygon fill="black" stroke="black" points="433.77,-379.54 436.33,-369.25 427.92,-375.7 433.77,-379.54"/>
+</g>
+<!-- u3 -->
+<g id="node4" class="node">
+<title>u3</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="534.39" cy="-197" rx="36.29" ry="18"/>
+<text text-anchor="middle" x="534.39" y="-193.3" font-family="Times-Roman" font-size="14.00">Types</text>
+</g>
+<!-- u4 -->
+<g id="node5" class="node">
+<title>u4</title>
+<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="427.39" cy="-269" rx="39.79" ry="18"/>
+<text text-anchor="middle" x="427.39" y="-265.3" font-family="Times-Roman" font-size="14.00">Optics</text>
+</g>
+<!-- u4&#45;&gt;u3 -->
+<g id="edge18" class="edge">
+<title>u4&#45;&gt;u3</title>
+<path fill="none" stroke="black" d="M449.04,-253.83C464.95,-243.42 486.78,-229.15 504.37,-217.64"/>
+<polygon fill="black" stroke="black" points="506.68,-220.31 513.13,-211.91 502.85,-214.45 506.68,-220.31"/>
+</g>
+<!-- u6 -->
+<g id="node12" class="node">
+<title>u6</title>
+<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="855.39" cy="-435" rx="64.19" ry="18"/>
+<text text-anchor="middle" x="855.39" y="-431.3" font-family="Times-Roman" font-size="14.00">MegaParsec</text>
+</g>
+<!-- u5&#45;&gt;u6 -->
+<g id="edge19" class="edge">
+<title>u5&#45;&gt;u6</title>
+<path fill="none" stroke="black" d="M566.7,-284.68C579.52,-295.01 597.75,-308.62 615.39,-318 624.58,-322.89 630.09,-318.59 637.39,-326 662.15,-351.13 635.32,-379.63 663.39,-401 674.37,-409.36 773.88,-406.14 787.39,-409 795.7,-410.76 804.37,-413.33 812.61,-416.16"/>
+<polygon fill="black" stroke="black" points="811.46,-419.47 822.06,-419.57 813.84,-412.88 811.46,-419.47"/>
+</g>
+<!-- u7 -->
+<g id="node13" class="node">
+<title>u7</title>
+<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="828.39" cy="-197" rx="44.39" ry="18"/>
+<text text-anchor="middle" x="828.39" y="-193.3" font-family="Times-Roman" font-size="14.00">Prelude</text>
+</g>
+<!-- u5&#45;&gt;u7 -->
+<g id="edge20" class="edge">
+<title>u5&#45;&gt;u7</title>
+<path fill="none" stroke="black" d="M567.9,-253.71C573.85,-249.71 580.65,-245.72 587.39,-243 648.94,-218.19 724.91,-206.91 774.9,-201.88"/>
+<polygon fill="black" stroke="black" points="775.54,-205.33 785.16,-200.9 774.87,-198.36 775.54,-205.33"/>
+</g>
+<!-- u9 -->
+<g id="node8" class="node">
+<title>u9</title>
+<ellipse fill="#ffbbff" stroke="black" stroke-width="0" cx="936.39" cy="-269" rx="51.19" ry="18"/>
+<text text-anchor="middle" x="936.39" y="-265.3" font-family="Times-Roman" font-size="14.00">Common</text>
+</g>
+<!-- u12&#45;&gt;u9 -->
+<g id="edge30" class="edge">
+<title>u12&#45;&gt;u9</title>
+<path fill="none" stroke="black" d="M925.36,-333.82C927.2,-323.19 929.6,-309.31 931.69,-297.2"/>
+<polygon fill="black" stroke="black" points="935.17,-297.6 933.42,-287.15 928.27,-296.41 935.17,-297.6"/>
+</g>
+<!-- u9&#45;&gt;u7 -->
+<g id="edge31" class="edge">
+<title>u9&#45;&gt;u7</title>
+<path fill="none" stroke="black" d="M912.96,-252.81C897.32,-242.68 876.58,-229.24 859.56,-218.2"/>
+<polygon fill="black" stroke="black" points="861.33,-215.18 851.04,-212.68 857.53,-221.06 861.33,-215.18"/>
+</g>
+<!-- u10 -->
+<g id="node9" class="node">
+<title>u10</title>
+<ellipse fill="#77ff77" stroke="black" stroke-width="0" cx="828.39" cy="-50" rx="27" ry="18"/>
+<text text-anchor="middle" x="828.39" y="-46.3" font-family="Times-Roman" font-size="14.00">QQ</text>
+</g>
+<!-- u16 -->
+<g id="node10" class="node">
+<title>u16</title>
+<ellipse fill="#ffff77" stroke="black" stroke-width="0" cx="1001.39" cy="-435" rx="27" ry="18"/>
+<text text-anchor="middle" x="1001.39" y="-431.3" font-family="Times-Roman" font-size="14.00">QQ</text>
+</g>
+<!-- u15 -->
+<g id="node11" class="node">
+<title>u15</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="1103.39" cy="-435" rx="30.59" ry="18"/>
+<text text-anchor="middle" x="1103.39" y="-431.3" font-family="Times-Roman" font-size="14.00">Utils</text>
+</g>
+<!-- u15&#45;&gt;u12 -->
+<g id="edge22" class="edge">
+<title>u15&#45;&gt;u12</title>
+<path fill="none" stroke="black" d="M1080.91,-422.68C1072.07,-418.31 1061.8,-413.33 1052.39,-409 1019.33,-393.79 981.02,-377.44 954.59,-366.35"/>
+<polygon fill="black" stroke="black" points="955.66,-363.01 945.08,-362.38 952.96,-369.47 955.66,-363.01"/>
+</g>
+<!-- u15&#45;&gt;u11 -->
+<g id="edge21" class="edge">
+<title>u15&#45;&gt;u11</title>
+<path fill="none" stroke="black" d="M1082.81,-421.48C1073.8,-416.65 1062.9,-411.66 1052.39,-409 1009.49,-398.14 893.64,-419.41 853.39,-401 842.1,-395.84 832.28,-386.4 824.72,-377.25"/>
+<polygon fill="black" stroke="black" points="827.3,-374.87 818.44,-369.07 821.75,-379.13 827.3,-374.87"/>
+</g>
+<!-- u6&#45;&gt;u3 -->
+<g id="edge23" class="edge">
+<title>u6&#45;&gt;u3</title>
+<path fill="none" stroke="black" d="M817.86,-420.3C799.34,-413.36 779.12,-405.48 770.39,-401 716.1,-373.14 711.12,-350.84 655.39,-326 642.79,-320.38 635.87,-326.98 625.39,-318 597.74,-294.3 614.8,-271.71 592.39,-243 584.81,-233.29 574.68,-224.49 565.01,-217.31"/>
+<polygon fill="black" stroke="black" points="566.89,-214.35 556.71,-211.43 562.85,-220.06 566.89,-214.35"/>
+</g>
+<!-- u8 -->
+<g id="node14" class="node">
+<title>u8</title>
+<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="828.39" cy="-125" rx="42.49" ry="18"/>
+<text text-anchor="middle" x="828.39" y="-121.3" font-family="Times-Roman" font-size="14.00">Logger</text>
+</g>
+<!-- u7&#45;&gt;u8 -->
+<g id="edge25" class="edge">
+<title>u7&#45;&gt;u8</title>
+<path fill="none" stroke="black" stroke-dasharray="5,2" d="M828.39,-178.7C828.39,-170.98 828.39,-161.71 828.39,-153.11"/>
+<polygon fill="black" stroke="black" points="831.89,-153.1 828.39,-143.1 824.89,-153.1 831.89,-153.1"/>
+</g>
+<!-- u2 -->
+<g id="node17" class="node">
+<title>u2</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="696.39" cy="-269" rx="37.89" ry="18"/>
+<text text-anchor="middle" x="696.39" y="-265.3" font-family="Times-Roman" font-size="14.00">Errors</text>
+</g>
+<!-- u7&#45;&gt;u2 -->
+<g id="edge24" class="edge">
+<title>u7&#45;&gt;u2</title>
+<path fill="none" stroke="black" d="M802.53,-211.71C781.65,-222.79 752.12,-238.45 729.51,-250.44"/>
+<polygon fill="black" stroke="black" points="727.8,-247.38 720.6,-255.16 731.07,-253.57 727.8,-247.38"/>
+</g>
+<!-- u8&#45;&gt;u4 -->
+<g id="edge26" class="edge">
+<title>u8&#45;&gt;u4</title>
+<path fill="none" stroke="black" d="M786.3,-127.22C706.73,-130.23 537.84,-140.15 489.39,-171 463.54,-187.46 446.42,-218.99 436.84,-241.64"/>
+<polygon fill="black" stroke="black" points="433.54,-240.45 433.08,-251.04 440.04,-243.06 433.54,-240.45"/>
+</g>
+<!-- u8&#45;&gt;u9 -->
+<g id="edge27" class="edge">
+<title>u8&#45;&gt;u9</title>
+<path fill="none" stroke="black" stroke-dasharray="5,2" d="M849.03,-140.76C859.52,-148.9 872,-159.65 881.39,-171 899.5,-192.89 914.92,-221.56 924.79,-242.04"/>
+<polygon fill="black" stroke="black" points="921.62,-243.54 929.04,-251.1 927.96,-240.56 921.62,-243.54"/>
+</g>
+<!-- u8&#45;&gt;u10 -->
+<g id="edge28" class="edge">
+<title>u8&#45;&gt;u10</title>
+<path fill="none" stroke="black" d="M828.39,-106.7C828.39,-98.25 828.39,-87.87 828.39,-78.37"/>
+<polygon fill="black" stroke="black" points="831.89,-78.18 828.39,-68.18 824.89,-78.18 831.89,-78.18"/>
+</g>
+<!-- u11&#45;&gt;u5 -->
+<g id="edge29" class="edge">
+<title>u11&#45;&gt;u5</title>
+<path fill="none" stroke="black" d="M781.07,-346.57C749.06,-341.43 694.42,-332.79 647.39,-326 620.76,-322.16 610.78,-331.29 587.39,-318 577.83,-312.56 569.78,-303.68 563.6,-295.02"/>
+<polygon fill="black" stroke="black" points="566.46,-293 558.04,-286.57 560.61,-296.85 566.46,-293"/>
+</g>
+<!-- u0 -->
+<g id="node16" class="node">
+<title>u0</title>
+<ellipse fill="#bbffbb" stroke="black" stroke-width="2" cx="840.39" cy="-541" rx="42.49" ry="18"/>
+<text text-anchor="middle" x="840.39" y="-537.3" font-family="Times-Roman" font-size="14.00">GHCup</text>
+</g>
+<!-- u0&#45;&gt;u1 -->
+<g id="edge4" class="edge">
+<title>u0&#45;&gt;u1</title>
+<path fill="none" stroke="black" d="M798.15,-540.08C733.62,-539.53 614.12,-535.65 577.39,-515 556.17,-503.07 540.32,-480.02 530.42,-461.88"/>
+<polygon fill="black" stroke="black" points="533.49,-460.2 525.79,-452.93 527.27,-463.42 533.49,-460.2"/>
+</g>
+<!-- u0&#45;&gt;u16 -->
+<g id="edge6" class="edge">
+<title>u0&#45;&gt;u16</title>
+<path fill="none" stroke="black" d="M881.32,-536.43C914.21,-532.8 957.04,-526.09 970.39,-515 985.87,-502.13 993.66,-480.49 997.55,-463.11"/>
+<polygon fill="black" stroke="black" points="1001.06,-463.44 999.51,-452.96 994.18,-462.12 1001.06,-463.44"/>
+</g>
+<!-- u0&#45;&gt;u15 -->
+<g id="edge5" class="edge">
+<title>u0&#45;&gt;u15</title>
+<path fill="none" stroke="black" d="M882.83,-539.21C936.42,-537.51 1024.95,-532.11 1052.39,-515 1071.91,-502.83 1085.39,-480.12 1093.57,-462.17"/>
+<polygon fill="black" stroke="black" points="1096.87,-463.35 1097.57,-452.78 1090.43,-460.6 1096.87,-463.35"/>
+</g>
+<!-- u14 -->
+<g id="node19" class="node">
+<title>u14</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="680.39" cy="-435" rx="48.19" ry="18"/>
+<text text-anchor="middle" x="680.39" y="-431.3" font-family="Times-Roman" font-size="14.00">Platform</text>
+</g>
+<!-- u0&#45;&gt;u14 -->
+<g id="edge3" class="edge">
+<title>u0&#45;&gt;u14</title>
+<path fill="none" stroke="black" d="M801.74,-533.4C786.24,-529.61 768.7,-523.78 754.39,-515 731.68,-501.06 711.42,-478.33 697.87,-460.82"/>
+<polygon fill="black" stroke="black" points="700.58,-458.59 691.78,-452.7 694.98,-462.8 700.58,-458.59"/>
+</g>
+<!-- u2&#45;&gt;u3 -->
+<g id="edge7" class="edge">
+<title>u2&#45;&gt;u3</title>
+<path fill="none" stroke="black" d="M669.27,-256.28C642.05,-244.52 599.95,-226.33 570.04,-213.4"/>
+<polygon fill="black" stroke="black" points="571.35,-210.16 560.79,-209.41 568.58,-216.59 571.35,-210.16"/>
+</g>
+<!-- u13&#45;&gt;u3 -->
+<g id="edge8" class="edge">
+<title>u13&#45;&gt;u3</title>
+<path fill="none" stroke="black" d="M186.09,-260.84C259.14,-247.66 414.32,-219.66 490.43,-205.93"/>
+<polygon fill="black" stroke="black" points="491.41,-209.31 500.63,-204.09 490.17,-202.42 491.41,-209.31"/>
+</g>
+<!-- u14&#45;&gt;u5 -->
+<g id="edge9" class="edge">
+<title>u14&#45;&gt;u5</title>
+<path fill="none" stroke="black" d="M656.5,-419.22C649.64,-414.1 642.62,-407.9 637.39,-401 615.71,-372.38 627.41,-355.8 607.39,-326 598.66,-313.01 586.48,-300.68 575.54,-290.91"/>
+<polygon fill="black" stroke="black" points="577.72,-288.16 567.86,-284.28 573.14,-293.46 577.72,-288.16"/>
+</g>
+<!-- u14&#45;&gt;u12 -->
+<g id="edge10" class="edge">
+<title>u14&#45;&gt;u12</title>
+<path fill="none" stroke="black" d="M711.94,-421.27C724.88,-416.59 740.15,-411.77 754.39,-409 784.33,-403.18 865.04,-416.36 891.39,-401 900.07,-395.94 906.74,-387.36 911.63,-378.84"/>
+<polygon fill="black" stroke="black" points="914.82,-380.3 916.24,-369.8 908.58,-377.12 914.82,-380.3"/>
+</g>
+<!-- u18 -->
+<g id="node20" class="node">
+<title>u18</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="146.39" cy="-352" rx="73.39" ry="18"/>
+<text text-anchor="middle" x="146.39" y="-348.3" font-family="Times-Roman" font-size="14.00">Requirements</text>
+</g>
+<!-- u18&#45;&gt;u5 -->
+<g id="edge12" class="edge">
+<title>u18&#45;&gt;u5</title>
+<path fill="none" stroke="black" d="M192.35,-337.85C210.3,-333.27 231.16,-328.62 250.39,-326 300.18,-319.2 428.51,-333.26 476.39,-318 493.93,-312.41 511.26,-301.32 524.62,-291.22"/>
+<polygon fill="black" stroke="black" points="527.1,-293.72 532.79,-284.78 522.77,-288.22 527.1,-293.72"/>
+</g>
+<!-- u18&#45;&gt;u13 -->
+<g id="edge11" class="edge">
+<title>u18&#45;&gt;u13</title>
+<path fill="none" stroke="black" d="M146.39,-333.82C146.39,-323.19 146.39,-309.31 146.39,-297.2"/>
+<polygon fill="black" stroke="black" points="149.89,-297.15 146.39,-287.15 142.89,-297.15 149.89,-297.15"/>
+</g>
+<!-- u20 -->
+<g id="node21" class="node">
+<title>u20</title>
+<ellipse fill="#bbffbb" stroke="black" stroke-width="0" cx="840.39" cy="-688" rx="32.49" ry="18"/>
+<text text-anchor="middle" x="840.39" y="-684.3" font-family="Times-Roman" font-size="14.00">Main</text>
+</g>
+<!-- u21 -->
+<g id="node22" class="node">
+<title>u21</title>
+<ellipse fill="#bbffbb" stroke="black" stroke-width="0" cx="840.39" cy="-616" rx="46.29" ry="18"/>
+<text text-anchor="middle" x="840.39" y="-612.3" font-family="Times-Roman" font-size="14.00">Validate</text>
+</g>
+<!-- u20&#45;&gt;u21 -->
+<g id="edge1" class="edge">
+<title>u20&#45;&gt;u21</title>
+<path fill="none" stroke="black" d="M840.39,-669.7C840.39,-661.98 840.39,-652.71 840.39,-644.11"/>
+<polygon fill="black" stroke="black" points="843.89,-644.1 840.39,-634.1 836.89,-644.1 843.89,-644.1"/>
+</g>
+<!-- u21&#45;&gt;u0 -->
+<g id="edge2" class="edge">
+<title>u21&#45;&gt;u0</title>
+<path fill="none" stroke="black" d="M840.39,-597.7C840.39,-589.25 840.39,-578.87 840.39,-569.37"/>
+<polygon fill="black" stroke="black" points="843.89,-569.18 840.39,-559.18 836.89,-569.18 843.89,-569.18"/>
+</g>
+</g>
+</svg>
--- a/docs/os-freebsd.svg
+++ b/docs/os-freebsd.svg
@@ -0,0 +1,7 @@
+<?xml version="1.0" encoding="utf-8"?>
+<!-- Svg Vector Icons : http://www.onlinewebfonts.com/icon -->
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<svg version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px" viewBox="0 0 1000 1000" enable-background="new 0 0 1000 1000" xml:space="preserve">
+<metadata> Svg Vector Icons : http://www.onlinewebfonts.com/icon </metadata>
+<g><path d="M81.5,647.7C11,409.2,148.6,158.9,388.6,88.9c106.5-31.1,215.5-21.4,309.8,19.8c-4.9,6.9-9.5,14-13.7,21c-46.1-10.7-81.4,3.8-90.2,43.3c-13.9,62.1,42.9,162.8,126.6,224.7c83.7,61.9,162.9,61.7,176.8-0.4c3.5-15.9,2.5-34.4-2.5-54.1c9.7-5.8,19.2-12.3,28.6-19.3c10.9,22.2,20,45.6,27.3,70.1c70.5,238.4-67.1,488.8-307.1,558.8C403.9,1022.8,151.9,886.1,81.5,647.7L81.5,647.7z M667.1,204.7c0.4-0.4,0.7-0.7,1-1.1C776.9,92.3,912.3,26.4,970.4,56.4c58.1,30.1-25.5,176.7-91.7,256.3c-20.1,20.6-41.2,39.7-62.5,56.8C742.2,343.2,686.1,282.8,667.1,204.7L667.1,204.7z M11,108.5C0.7,28.8,68.9,4.9,163.2,55.2c22.4,11.9,44.3,27,64.7,44.1c-56.2,38.6-104.5,90.4-139.5,154C46.4,206.7,16.9,153.5,11,108.5L11,108.5z"/></g>
+</svg>
--- a/docs/os-linux.svg
+++ b/docs/os-linux.svg
--- a/docs/os-osx.svg
+++ b/docs/os-osx.svg
@@ -0,0 +1,143 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.0//EN" "http://www.w3.org/TR/2001/REC-SVG-20010904/DTD/svg10.dtd">
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+<svg
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:xlink="http://www.w3.org/1999/xlink"
+   version="1.0"
+   width="800"
+   height="950"
+   id="svg2">
+  <defs
+     id="defs4">
+    <linearGradient
+       id="linearGradient3784">
+      <stop
+         id="stop3786"
+         style="stop-color:#ffffff;stop-opacity:1"
+         offset="0" />
+      <stop
+         id="stop3788"
+         style="stop-color:#888888;stop-opacity:1"
+         offset="1" />
+    </linearGradient>
+    <linearGradient
+       id="linearGradient3776">
+      <stop
+         id="stop3778"
+         style="stop-color:#ffffff;stop-opacity:1"
+         offset="0" />
+      <stop
+         id="stop3780"
+         style="stop-color:#ffffff;stop-opacity:0"
+         offset="1" />
+    </linearGradient>
+    <linearGradient
+       id="linearGradient3754">
+      <stop
+         id="stop3756"
+         style="stop-color:#ffffff;stop-opacity:1"
+         offset="0" />
+      <stop
+         id="stop3758"
+         style="stop-color:#ffffff;stop-opacity:0"
+         offset="1" />
+    </linearGradient>
+    <linearGradient
+       id="linearGradient3734">
+      <stop
+         id="stop3736"
+         style="stop-color:#6c6d6f;stop-opacity:1"
+         offset="0" />
+      <stop
+         id="stop3738"
+         style="stop-color:#010101;stop-opacity:1"
+         offset="1" />
+    </linearGradient>
+    <linearGradient
+       x1="581.96649"
+       y1="409.16061"
+       x2="544.40381"
+       y2="311.21347"
+       id="linearGradient3760"
+       xlink:href="#linearGradient3754"
+       gradientUnits="userSpaceOnUse" />
+    <linearGradient
+       x1="591.31964"
+       y1="593.75946"
+       x2="587.03571"
+       y2="434.31064"
+       id="linearGradient3764"
+       xlink:href="#linearGradient3734"
+       gradientUnits="userSpaceOnUse" />
+    <linearGradient
+       x1="591.31964"
+       y1="593.75946"
+       x2="587.03571"
+       y2="434.31064"
+       id="linearGradient3773"
+       xlink:href="#linearGradient3734"
+       gradientUnits="userSpaceOnUse"
+       gradientTransform="translate(-2.7999999e-6,-5.0000001e-6)" />
+    <linearGradient
+       x1="592.88464"
+       y1="409.21036"
+       x2="572.06653"
+       y2="317.52728"
+       id="linearGradient3782"
+       xlink:href="#linearGradient3776"
+       gradientUnits="userSpaceOnUse"
+       gradientTransform="matrix(4.1074798,0,0,4.1074798,-2012.1445,-1474.6712)" />
+    <linearGradient
+       x1="621.8504"
+       y1="527.79108"
+       x2="575.15466"
+       y2="358.30902"
+       id="linearGradient3790"
+       xlink:href="#linearGradient3784"
+       gradientUnits="userSpaceOnUse" />
+    <linearGradient
+       x1="591.31964"
+       y1="593.75946"
+       x2="587.03571"
+       y2="434.31064"
+       id="linearGradient3796"
+       xlink:href="#linearGradient3734"
+       gradientUnits="userSpaceOnUse" />
+    <linearGradient
+       x1="591.31964"
+       y1="593.75946"
+       x2="587.03571"
+       y2="434.31064"
+       id="linearGradient3813"
+       xlink:href="#linearGradient3734"
+       gradientUnits="userSpaceOnUse"
+       gradientTransform="matrix(4.1074798,0,0,4.1074798,-2012.1445,-1474.6712)" />
+    <linearGradient
+       x1="621.8504"
+       y1="527.79108"
+       x2="575.15466"
+       y2="358.30902"
+       id="linearGradient3815"
+       xlink:href="#linearGradient3784"
+       gradientUnits="userSpaceOnUse"
+       gradientTransform="matrix(4.1074798,0,0,4.1074798,-2012.1445,-1474.6712)" />
+  </defs>
+  <path
+     d="M -1763.2143,1058.9693 L -1763.2143,950.04075 L -1724.2857,1040.5765 L -1685.3571,950.04075 L -1685.3571,1058.9693"
+     id="path3199"
+     style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" />
+  <path
+     d="M 9.2490229,7.8722656 C 9.0747426,10.220019 9.5551534,12.587324 10.789328,14.675279 L 283.03823,474.32796 L 15.153526,926.66418 C 13.0537,930.26743 13.090092,934.72063 15.153526,938.34483 C 17.216918,941.9691 20.995183,944.21594 25.165508,944.24933 L 230.41114,944.24933 C 234.53312,944.22267 238.33677,942.02829 240.42312,938.47319 L 399.07452,670.58848 L 557.72593,938.47319 C 559.81228,942.02829 563.61593,944.22267 567.73791,944.24933 L 773.1119,944.24933 C 777.28223,944.21594 781.06049,941.96906 783.12389,938.34483 C 785.18744,934.72067 785.22371,930.26743 783.12389,926.66418 L 515.23918,474.32796 L 787.35972,14.675279 C 788.58462,12.5734 788.96226,10.218047 788.77167,7.8722656 L 559.13787,7.8722656 L 399.07452,278.19578 L 239.01118,7.8722656 L 9.2490229,7.8722656 z"
+     id="path3762"
+     style="fill:url(#linearGradient3815);fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1" />
+  <path
+     d="M 20.80131,8.7707768 L 296.51589,474.32796 L 25.165508,932.56868 L 230.41114,932.56868 L 399.07452,647.74063 L 567.73791,932.56868 L 773.1119,932.56868 L 501.76152,474.32796 L 777.34774,8.7707768 L 572.10211,8.7707768 L 399.07452,301.04364 L 226.04694,8.7707768 L 20.80131,8.7707768 z"
+     id="path3705"
+     style="fill:url(#linearGradient3813);fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" />
+  <path
+     d="M 20.80131,8.7707768 L 201.9155,314.64967 C 251.61658,285.27827 303.41256,257.12462 357.61466,230.95977 L 226.04694,8.7707768 L 20.80131,8.7707768 z M 572.10211,8.7707768 L 470.05691,181.15657 C 548.90117,149.37671 632.73447,122.22713 722.53856,101.31743 L 777.34774,8.7707768 L 572.10211,8.7707768 z"
+     id="path3771"
+     style="opacity:0.47619048;fill:url(#linearGradient3782);fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" />
+</svg>
--- a/docs/os-windows.svg
+++ b/docs/os-windows.svg
@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<!-- Created with Inkscape (http://www.inkscape.org/) by Marsupilami -->
+<svg
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns="http://www.w3.org/2000/svg"
+   version="1.1"
+   width="766"
+   height="768"
+   viewBox="-2.61977004 -2.61977004 92.56520808 92.83416708"
+   id="svg8375">
+  <defs
+     id="defs8377" />
+  <path
+     d="M 0,12.40183 35.68737,7.5416 35.70297,41.96435 0.03321,42.16748 z m 35.67037,33.52906 0.0277,34.45332 -35.66989,-4.9041 -0.002,-29.77972 z M 39.99644,6.90595 87.31462,0 l 0,41.527 -47.31818,0.37565 z M 87.32567,46.25471 87.31457,87.59463 39.9964,80.91625 39.9301,46.17767 z"
+     id="path13" />
+</svg>
+<!-- version: 20110311, original size: 87.325668 87.594627, border: 3% -->
--- a/ghcup.cabal
+++ b/ghcup.cabal
@@ -98,7 +98,7 @@ library
    , base16-bytestring     >=0.1.1.6    && <1.1
    , binary                ^>=0.8.6.0
    , bytestring            ^>=0.10
-    , Cabal
+    , Cabal                 ^>=3.6.2.0
    , case-insensitive      ^>=1.2.1.0
    , casing                ^>=0.1.4.1
    , containers            ^>=0.6
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -2,6 +2,7 @@ site_name: GHCup
 site_url: https://www.haskell.org/ghcup
 site_description: GHCup documentation
 site_author: GHCup Team
+site_favicon: haskell_logo.png

 repo_url: https://gitlab.haskell.org/haskell/ghcup-hs

@@ -19,6 +20,9 @@ nav:
 extra_css:
    - css/extra.css

+extra_javascript:
+  - javascripts/extra.js
+
 markdown_extensions:
    - toc:
        permalink: 
--- a/scripts/bootstrap/bootstrap-haskell
+++ b/scripts/bootstrap/bootstrap-haskell
@@ -70,6 +70,7 @@ warn() {
    else
        case "${plat}" in
                MSYS*|MINGW*)
+                    # shellcheck disable=SC3037
                    echo -e "\\033[0;35m$1\\033[0m"
                    ;;
                *)
@@ -85,6 +86,7 @@ yellow() {
    else
        case "${plat}" in
                MSYS*|MINGW*)
+                    # shellcheck disable=SC3037
                    echo -e "\\033[0;33m$1\\033[0m"
                    ;;
                *)
@@ -100,6 +102,7 @@ green() {
    else
        case "${plat}" in
                MSYS*|MINGW*)
+                    # shellcheck disable=SC3037
                    echo -e "\\033[0;32m$1\\033[0m"
                    ;;
                *)
@@ -122,8 +125,10 @@ _eghcup() {
 		args="-s ${BOOTSTRAP_HASKELL_YAML}"
 	fi
    if [ -z "${BOOTSTRAP_HASKELL_VERBOSE}" ] ; then
+        # shellcheck disable=SC2086
        "${GHCUP_BIN}/ghcup" ${args} "$@"
    else
+        # shellcheck disable=SC2086
        "${GHCUP_BIN}/ghcup" ${args} --verbose "$@"
    fi
 }
@@ -389,7 +394,7 @@ adjust_bashrc() {
 							echo "set -q GHCUP_INSTALL_BASE_PREFIX[1]; or set GHCUP_INSTALL_BASE_PREFIX \$HOME ; set -gx PATH \$HOME/.cabal/bin \$PATH $GHCUP_BIN # ghcup-env" >> "${GHCUP_PROFILE_FILE}"
 							;;
 					esac
-					break ;;
+					;;
 				bash)
 					sed -i -e '/# ghcup-env$/ s/^#*/#/' "${GHCUP_PROFILE_FILE}"
 					echo "[ -f \"${GHCUP_DIR}/env\" ] && source \"${GHCUP_DIR}/env\" # ghcup-env" >> "${GHCUP_PROFILE_FILE}"
@@ -407,12 +412,12 @@ adjust_bashrc() {
 							fi
 							;;
 					esac
-					break ;;
+					;;

 				zsh)
 					sed -i -e '/# ghcup-env$/ s/^#*/#/' "${GHCUP_PROFILE_FILE}"
 					echo "[ -f \"${GHCUP_DIR}/env\" ] && source \"${GHCUP_DIR}/env\" # ghcup-env" >> "${GHCUP_PROFILE_FILE}"
-					break ;;
+					;;
 			esac
 			echo
 			echo "==============================================================================="
@@ -644,7 +649,7 @@ else
 fi

 echo
-echo "$(if [ -n "${BOOTSTRAP_HASKELL_YAML}" ] ; then ghcup -s "${BOOTSTRAP_HASKELL_YAML}" tool-requirements ; else ghcup tool-requirements ; fi)"
+if [ -n "${BOOTSTRAP_HASKELL_YAML}" ] ; then (>&2 ghcup -s "${BOOTSTRAP_HASKELL_YAML}" tool-requirements) ; else (>&2 ghcup tool-requirements) ; fi
 echo

 if [ -z "${BOOTSTRAP_HASKELL_NONINTERACTIVE}" ] ; then
--- a/scripts/dev/modgraph.sh
+++ b/scripts/dev/modgraph.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+
+graphmod | tred | dot -Tsvg -Gsize=10,9\! > docs/modules_small.svg
+graphmod | tred | dot -Tsvg -Gsize=15,9\! > docs/modules_wide.svg
--- a/stack.yaml
+++ b/stack.yaml
@@ -4,13 +4,14 @@ packages:
  - .

 extra-deps:
+  - Cabal-3.6.2.0@sha256:e2266e14758c1f799220fad7f0d4b0b4ec567d81b7ba3faea17ff76d4c31de95,12437
  - IfElse-0.85@sha256:6939b94acc6a55f545f63a168a349dd2fbe4b9a7cca73bf60282db5cc6aa47d2,445
  - ascii-string-1.0.1.4@sha256:fa34f1d9ba57e8e89c0d4c9cef5e01ba32cb2d4373d13f92dcc0b531a6c6749b,2582
  - base16-bytestring-0.1.1.7@sha256:0021256a9628971c08da95cb8f4d0d72192f3bb8a7b30b55c080562d17c43dd3,2231
  - brick-0.64@sha256:f03fa14607c22cf48af99e24c44f79a0fb073f7ec229f15e969fed9ff73c93f6,16530
  - brotli-0.0.0.0@sha256:2bf383a4cd308745740986be0b18381c5a0784393fe69b91456aacb2d603de46,2964
  - brotli-streams-0.0.0.0@sha256:1af1e22f67b8bfd6ad0d05e61825e7a178d738f689ebbb21c1aab5f1bbcae176,2331
-  - chs-cabal-0.1.1.0@sha256:20ec6a9fb5ab6991f1a4adf157c537bd5d3b98d08d3c09c387c954c7c50bd011,1153
+  - chs-cabal-0.1.1.1
  - chs-deps-0.1.0.0@sha256:0cdada6d2c682c41b20331b8c63c2ecfc7e806928585195fd544c9d41f3074fd,2496
  - composition-prelude-3.0.0.2@sha256:1ffed216bd28d810fce0b5be83a661e2a892696d73b3f8de5c0f5edb9b5f0090,1216
  - haskus-utils-data-1.4@sha256:bfa94363b94b14779edd6834fbd59dbb847c3d7b8f48e3844f456ffdc077da4a,1466
--- a/www/ghcup.css
+++ b/www/ghcup.css
@@ -117,10 +117,12 @@ body#idx p.other-help {
 	margin-top: 25px;
 	margin-bottom: 25px;
    text-align: center;
+
+	padding: 18px;
 }

 .instructions div.command-button button:hover {
-	background: rgb(232, 232, 232);
+	background: rgb(100, 100, 100);
 }

 .instructions div.command-button button:focus {
Author	SHA1	Message	Date
Julian Ospald	3a154b301b	fix	2021-10-10 20:21:36 +02:00
Julian Ospald	9bf21daf9e	debug	2021-10-10 18:38:46 +02:00
Julian Ospald	ece03220c9	Fix git CI job	2021-10-10 18:26:19 +02:00
Julian Ospald	f838112e8b	Rename stages	2021-10-10 17:24:39 +02:00
Julian Ospald	cd218ce025	Merge branch 'Cabal-3.6'	2021-10-09 23:22:29 +02:00
Julian Ospald	c381f47a72	Bump GHC/cabal in CI	2021-10-09 22:49:09 +02:00
Julian Ospald	a68355cb7d	Raise Cabal lower bound	2021-10-09 22:49:09 +02:00
Julian Ospald	f53a10825e	Merge remote-tracking branch 'origin/merge-requests/196'	2021-10-09 20:30:11 +02:00
Julian Ospald	21bbb8be1c	Merge branch 'mkdocs-ci'	2021-10-09 19:47:47 +02:00
Julian Ospald	ab44e9d2ac	Add shellcheck check	2021-10-09 19:46:29 +02:00
Julian Ospald	32497f3a6f	Add mkdocs to CI	2021-10-09 19:38:07 +02:00
Julian Ospald	c06c6b6f12	Fix 32bit cabal bindists	2021-10-09 19:26:39 +02:00
Julian Ospald	26335150b7	Fix alpine hashes	2021-10-09 12:47:28 +02:00
Julian Ospald	5298aacac9	Fix cabal-3.6.2.0 hashes	2021-10-09 12:25:25 +02:00
Arjun Kathuria	7832399fb3	fix unordered-list li items overflow, esp on about page	2021-10-09 13:48:45 +05:30
Arjun Kathuria	2b60830203	fix donate button margin across mobile and desktop on homepage	2021-10-09 13:27:07 +05:30
Arjun Kathuria	b9bf29ba2c	fix mobile site, cleanup some css from new homepage	2021-10-09 13:14:26 +05:30
Julian Ospald	00d67c270e	Set previous cabal versions as old	2021-10-09 01:38:06 +02:00
Julian Ospald	2826fec975	Bump cabal	2021-10-09 01:33:34 +02:00
Julian Ospald	29a34f5edf	Add sponsors to about	2021-10-08 21:05:14 +02:00
Julian Ospald	c100daeba5	Redo landing page	2021-10-06 19:09:44 +02:00
Julian Ospald	ac66f6747e	Fix description of macos versions Fixes #261	2021-10-06 17:27:47 +02:00
Julian Ospald	014f1ff125	Improve documentation	2021-10-06 10:20:08 +02:00
Julian Ospald	c4991425ab	Add modgraph script	2021-10-05 21:38:07 +02:00
Julian Ospald	1c770aad58	Add module graph	2021-10-05 21:36:50 +02:00
Julian Ospald	7c8912d48c	Set favicon	2021-10-05 20:25:47 +02:00
Julian Ospald	67d9a0bd2c	Improve about page	2021-10-05 16:57:14 +02:00
Julian Ospald	0115e2a13c	Set 3.4.0.0 as recommended, since 3.6.0.0 is broken on windows	2021-10-05 14:26:42 +02:00
Julian Ospald	e2f36611a1	Tweak appearance	2021-10-04 21:40:48 +02:00
Julian Ospald	9143ac97c5	Update README	2021-10-04 18:51:11 +02:00
Julian Ospald	b5b09d0ca2	Beef up Quick Install	2021-10-04 11:07:25 +02:00
Julian Ospald	fa79f75072	Add missing cabal-install-3.6.0.0-i386-linux.tar.gz	2021-10-03 12:42:21 +02:00
Julian Ospald	6459af419e	Merge branch 'issue-258'	2021-10-03 12:40:27 +02:00