diff --git a/TODO.md b/TODO.md
index 64f2313..0373d49 100644
--- a/TODO.md
+++ b/TODO.md
@@ -7,6 +7,10 @@
 
 * static builds
 
+* interoperability with old ghcup
+
+* OS faking
+
 ## Maybe
 
 * maybe: download progress
diff --git a/app/ghcup-gen/BinaryDownloads.hs b/app/ghcup-gen/BinaryDownloads.hs
index e726df5..a16156c 100644
--- a/app/ghcup-gen/BinaryDownloads.hs
+++ b/app/ghcup-gen/BinaryDownloads.hs
@@ -13,28 +13,598 @@ import           URI.ByteString.QQ
 import qualified Data.Map                      as M
 
 
+    ------------------
+    --[ GHC 7.10.3 ]--
+    ------------------
+
+ghc_7103_64_cenots67 :: DownloadInfo
+ghc_7103_64_cenots67 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/7.10.3/ghc-7.10.3-x86_64-centos67-linux.tar.bz2|]
+  (Just ([rel|ghc-7.10.3|] :: Path Rel))
+  [s|a8957f7a2fd81720c5d3dc403571d77d31115ff5f42edb2917c36d8e714220d4|]
+
+ghc_7103_32_cenots67 :: DownloadInfo
+ghc_7103_32_cenots67 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/7.10.3/ghc-7.10.3-i386-centos67-linux.tar.bz2|]
+  (Just ([rel|ghc-7.10.3|] :: Path Rel))
+  [s|c50aa20275e8d1ba9148f380eb7598bc148143281fc17c9acd38ea7b325852bd|]
+
+ghc_7103_64_deb8 :: DownloadInfo
+ghc_7103_64_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/7.10.3/ghc-7.10.3-x86_64-deb8-linux.tar.bz2|]
+  (Just ([rel|ghc-7.10.3|] :: Path Rel))
+  [s|01cfbad8dff1e8b34a5fdca8caeaf843b56e36af919e29cd68870d2588563db5|]
+
+ghc_7103_32_deb8 :: DownloadInfo
+ghc_7103_32_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/7.10.3/ghc-7.10.3-i386-deb8-linux.tar.bz2|]
+  (Just ([rel|ghc-7.10.3|] :: Path Rel))
+  [s|d2ccf072457fb100503f6f5430a1e3589ca525a97424263d036b0550bc277f0c|]
+
+ghc_7103_64_darwin :: DownloadInfo
+ghc_7103_64_darwin = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/7.10.3/ghc-7.10.3-x86_64-apple-darwin.tar.bz2|]
+  (Just ([rel|ghc-7.10.3|] :: Path Rel))
+  [s|80893e367e8318105f7db2064adf202e3d96b1f014e792b73e92f2cacf0b757a|]
+
+ghc_7103_64_freebsd :: DownloadInfo
+ghc_7103_64_freebsd = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/7.10.3/ghc-7.10.3-x86_64-portbld-freebsd.tar.bz2|]
+  (Just ([rel|ghc-7.10.3|] :: Path Rel))
+  [s|2aa396edd2bb651f4bc7eef7a396913ea24923de5aafdc76df6295333e487e48|]
+
+ghc_7103_32_freebsd :: DownloadInfo
+ghc_7103_32_freebsd = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/7.10.3/ghc-7.10.3-i386-portbld-freebsd.tar.bz2|]
+  (Just ([rel|ghc-7.10.3|] :: Path Rel))
+  [s|3dde05577c6f94dcb0ba201ebd53ab88553bbc9a3aa8e72237162ed7a9d588a3|]
+
+ghc_7103_64_musl :: DownloadInfo
+ghc_7103_64_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-7.10.3-musl/ghc-7.10.3-x86_64-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-7.10.3|] :: Path Rel))
+  [s|8b83dfa8b85ba45e24768337254e6eb23c0855df1a5168671a3a8090b6d0964e|]
+
+
+
+
+    -----------------
+    --[ GHC 8.0.2 ]--
+    -----------------
+
+
+ghc_802_64_deb7 :: DownloadInfo
+ghc_802_64_deb7 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.0.2/ghc-8.0.2-x86_64-deb7-linux.tar.xz|]
+  (Just ([rel|ghc-8.0.2|] :: Path Rel))
+  [s|b2f5c304b57ac5840a0d2ef763a3c6fa858c70840f749cfad12ed227da973c0a|]
+
+ghc_802_32_deb7 :: DownloadInfo
+ghc_802_32_deb7 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.0.2/ghc-8.0.2-i386-deb7-linux.tar.xz|]
+  (Just ([rel|ghc-8.0.2|] :: Path Rel))
+  [s|07ead3a49f8c9df4b429e7a2f96f6f31bcab8d3ff8277a9aed0201d13ddad448|]
+
+ghc_802_64_deb8 :: DownloadInfo
+ghc_802_64_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.0.2/ghc-8.0.2-x86_64-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.0.2|] :: Path Rel))
+  [s|5ee68290db00ca0b79d57bc3a5bdce470de9ce9da0b098a7ce6c504605856c8f|]
+
+ghc_802_32_deb8 :: DownloadInfo
+ghc_802_32_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.0.2/ghc-8.0.2-i386-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.0.2|] :: Path Rel))
+  [s||818621342a2161b8afcc995a0765816bb40aefbfa1db2c8a7d59c04d8b18228a|]
+
+ghc_802_64_freebsd :: DownloadInfo
+ghc_802_64_freebsd = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.0.2/ghc-8.0.2-x86_64-portbld-freebsd.tar.xz|]
+  (Just ([rel|ghc-8.0.2|] :: Path Rel))
+  [s|b36a20e5cae24d70bbb6116ae486f21811e9384f15d3892d260f02fba3e3bb8c|]
+
+ghc_802_64_darwin :: DownloadInfo
+ghc_802_64_darwin = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.0.2/ghc-8.0.2-x86_64-apple-darwin.tar.xz|]
+  (Just ([rel|ghc-8.0.2|] :: Path Rel))
+  [s|ff50a2df9f002f33b9f09717ebf5ec5a47906b9b65cc57b1f9849f8b2e06788d|]
+
+ghc_802_64_musl :: DownloadInfo
+ghc_802_64_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.0.2-musl/ghc-8.0.2-x86_64-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.0.2|] :: Path Rel))
+  [s|7f9ef3e048ca6f2a2a589e6c168d8c7699fbe32b1b39a9d7c72eff9b26e90c67|]
+
+ghc_802_32_musl :: DownloadInfo
+ghc_802_32_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.0.2-musl/ghc-8.0.2-i386-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.0.2|] :: Path Rel))
+  [s|815c68181013cd3f4dc748ddb5502a5e7a1a4011ba57d8eff6d66da411c72e84|]
+
+
+
+
+    -----------------
+    --[ GHC 8.2.2 ]--
+    -----------------
+
+
+ghc_822_64_deb7 :: DownloadInfo
+ghc_822_64_deb7 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.2.2/ghc-8.2.2-x86_64-deb7-linux.tar.xz|]
+  (Just ([rel|ghc-8.2.2|] :: Path Rel))
+  [s|cd7afbca54edf9890da9f432c63366556246c85c1198e40c99df5af01c555834|]
+
+ghc_822_32_deb7 :: DownloadInfo
+ghc_822_32_deb7 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.2.2/ghc-8.2.2-i386-deb7-linux.tar.xz|]
+  (Just ([rel|ghc-8.2.2|] :: Path Rel))
+  [s|cd18766b1a9b74fc6c90003a719ecab158f281f9a755d8b1bd3fd764ba6947b5|]
+
+ghc_822_64_deb8 :: DownloadInfo
+ghc_822_64_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.2.2/ghc-8.2.2-x86_64-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.2.2|] :: Path Rel))
+  [s|48e205c62b9dc1ccf6739a4bc15a71e56dde2f891a9d786a1b115f0286111b2a|]
+
+ghc_822_32_deb8 :: DownloadInfo
+ghc_822_32_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.2.2/ghc-8.2.2-i386-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.2.2|] :: Path Rel))
+  [s|9e67d72d76482e0ba91c718e727b00386a1a12a32ed719714976dc56ca8c8223|]
+
+ghc_822_64_unknown :: DownloadInfo
+ghc_822_64_unknown = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.2.2/ghc-8.2.2-x86_64-unknown-linux.tar.xz|]
+  (Just ([rel|ghc-8.2.2|] :: Path Rel))
+  [s|cd7afbca54edf9890da9f432c63366556246c85c1198e40c99df5af01c555834|]
+
+ghc_822_64_darwin :: DownloadInfo
+ghc_822_64_darwin = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.2.2/ghc-8.2.2-x86_64-apple-darwin.tar.xz|]
+  (Just ([rel|ghc-8.2.2|] :: Path Rel))
+  [s|f90fcf62f7e0936a6dfc3601cf663729bfe9bbf85097d2d75f0a16f8c2e95c27|]
+
+ghc_822_64_freebsd10 :: DownloadInfo
+ghc_822_64_freebsd10 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.2.2/ghc-8.2.2-x86_64-portbld10_3-freebsd.tar.xz|]
+  (Just ([rel|ghc-8.2.2|] :: Path Rel))
+  [s|9e99aaeaec4b2c6d660d80246c0d4dbd41fda88f1eb7a908b29dc8fa8d663949|]
+
+ghc_822_64_freebsd11 :: DownloadInfo
+ghc_822_64_freebsd11 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.2.2/ghc-8.2.2-x86_64-portbld11-freebsd.tar.xz|]
+  (Just ([rel|ghc-8.2.2|] :: Path Rel))
+  [s|cd351c704b92b9af23994024df07de8ca7090ea7675d5c8b14b2be857a46d804|]
+
+
+
+
+    -----------------
+    --[ GHC 8.4.1 ]--
+    -----------------
+
+
+
+ghc_841_64_deb8 :: DownloadInfo
+ghc_841_64_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.1/ghc-8.4.1-x86_64-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.4.1|] :: Path Rel))
+  [s|427c77a934b30c3f1de992c38c072afb4323fe6fb30dbac919ca8cb6ae98fbd9|]
+
+ghc_841_32_deb8 :: DownloadInfo
+ghc_841_32_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.1/ghc-8.4.1-i386-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.4.1|] :: Path Rel))
+  [s|c56c589c76c7ddcb77cdbef885a811761e669d3e76868b723d5be56dedcd4f69|]
+
+ghc_841_64_fedora :: DownloadInfo
+ghc_841_64_fedora = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.1/ghc-8.4.1-x86_64-fedora27-linux.tar.xz|]
+  (Just ([rel|ghc-8.4.1|] :: Path Rel))
+  [s|89328a013e64b9b56825a9071fea5616ddd623d37fd41e8fb913dfebc609e7ea|]
+
+ghc_841_64_darwin :: DownloadInfo
+ghc_841_64_darwin = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.1/ghc-8.4.1-x86_64-apple-darwin.tar.xz|]
+  (Just ([rel|ghc-8.4.1|] :: Path Rel))
+  [s|d774e39f3a0105843efd06709b214ee332c30203e6c5902dd6ed45e36285f9b7|]
+
+ghc_841_64_freebsd :: DownloadInfo
+ghc_841_64_freebsd = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.1/ghc-8.4.1-x86_64-portbld11-freebsd.tar.xz|]
+  (Just ([rel|ghc-8.4.1|] :: Path Rel))
+  [s|e748daec098445c6190090fe32bb2817a1140553be5acd2188e1af05ad24e5aa|]
+
+ghc_841_64_musl :: DownloadInfo
+ghc_841_64_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.4.1-musl/ghc-8.4.1-x86_64-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.4.1|] :: Path Rel))
+  [s|82d4ea6247a91e7e76065c0cdf66eec813ab679c1f24de0fb92c89bba3ef27f2|]
+
+ghc_841_32_musl :: DownloadInfo
+ghc_841_32_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.4.1-musl/ghc-8.4.1-i386-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.4.1|] :: Path Rel))
+  [s|e5feee34b58c1a1cd6c270fbe696c178a4649675398f4e0d56a4bfad9641b736|]
+
+
+
+    -----------------
+    --[ GHC 8.4.2 ]--
+    -----------------
+
+
+
+ghc_842_64_deb8 :: DownloadInfo
+ghc_842_64_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.2/ghc-8.4.2-x86_64-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.4.2|] :: Path Rel))
+  [s|246f66eb56f4ad0f1c7755502cfc8f9972f2d067dede17e151f6f479c1f76fbd|]
+
+ghc_842_32_deb8 :: DownloadInfo
+ghc_842_32_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.2/ghc-8.4.2-i386-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.4.2|] :: Path Rel))
+  [s|2d849c30b4c1eac25dc74333501920921e22fa483153f404993808bbda93df05|]
+
+ghc_842_64_deb9 :: DownloadInfo
+ghc_842_64_deb9 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.2/ghc-8.4.2-x86_64-deb9-linux.tar.xz|]
+  (Just ([rel|ghc-8.4.2|] :: Path Rel))
+  [s|3f4f5bbd2cdab4e7015ada9196d8d9b3a1ad274293cef011f85c46854596cb57|]
+
+ghc_842_64_fedora :: DownloadInfo
+ghc_842_64_fedora = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.2/ghc-8.4.2-x86_64-fedora27-linux.tar.xz|]
+  (Just ([rel|ghc-8.4.2|] :: Path Rel))
+  [s|d057b5c833596dbe4ae5d0dc2994f6cc5d0f4c2a21ea1d7900821d165fd4e846|]
+
+ghc_842_64_darwin :: DownloadInfo
+ghc_842_64_darwin = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.2/ghc-8.4.2-x86_64-apple-darwin.tar.xz|]
+  (Just ([rel|ghc-8.4.2|] :: Path Rel))
+  [s|87469222042b9ac23f9db216a8d4e5107297bdbbb99df71eb4d9e7208455def2|]
+
+ghc_842_64_freebsd :: DownloadInfo
+ghc_842_64_freebsd = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.2/ghc-8.4.2-x86_64-portbld-freebsd.tar.xz|]
+  (Just ([rel|ghc-8.4.2|] :: Path Rel))
+  [s|e9ed417fdf94c2ff2c6e344ed16f332bf6b591511f6442c0d9ea94854882b66c|]
+
+ghc_842_64_musl :: DownloadInfo
+ghc_842_64_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.4.2-musl/ghc-8.4.2-x86_64-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.4.2|] :: Path Rel))
+  [s|3ebdb6e8001679e8722bd75a47805f1b3c1b25b37c4d237a7aaa4d66162f699f|]
+
+ghc_842_32_musl :: DownloadInfo
+ghc_842_32_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.4.2-musl/ghc-8.4.2-i386-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.4.2|] :: Path Rel))
+  [s|a43ac57214764717f0ffe515ef47b84e938f0a4fa8ff875773d6ba315b940835|]
+
+
+
+    -----------------
+    --[ GHC 8.4.3 ]--
+    -----------------
+
+
+ghc_843_64_deb8 :: DownloadInfo
+ghc_843_64_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.3/ghc-8.4.3-x86_64-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.4.3|] :: Path Rel))
+  [s|30a402c6d4754a6c020e0547f19ae3ac42e907e35349aa932d347f73e421a8e2|]
+
+ghc_843_32_deb8 :: DownloadInfo
+ghc_843_32_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.3/ghc-8.4.3-i386-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.4.3|] :: Path Rel))
+  [s|f5763983a26dedd88b65a0b17267359a3981b83a642569b26334423f684f8b8c|]
+
+ghc_843_64_deb9 :: DownloadInfo
+ghc_843_64_deb9 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.3/ghc-8.4.3-x86_64-deb9-linux.tar.xz|]
+  (Just ([rel|ghc-8.4.3|] :: Path Rel))
+  [s|2e4f53afb872ad9c640f31aea283b3ff4c5028b65808a1920739900aef7d15c9|]
+
+ghc_843_64_fedora :: DownloadInfo
+ghc_843_64_fedora = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.3/ghc-8.4.3-x86_64-fedora27-linux.tar.xz|]
+  (Just ([rel|ghc-8.4.3|] :: Path Rel))
+  [s|269e7a4d3f336491b88409a020998122b30a3a729af78d33be86d3b3f8000c3e|]
+
+ghc_843_64_darwin :: DownloadInfo
+ghc_843_64_darwin = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.3/ghc-8.4.3-x86_64-apple-darwin.tar.xz|]
+  (Just ([rel|ghc-8.4.3|] :: Path Rel))
+  [s|af0b455f6c46b9802b4b48dad996619cfa27cc6e2bf2ce5532387b4a8c00aa64|]
+
+ghc_843_64_musl :: DownloadInfo
+ghc_843_64_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.4.3-musl/ghc-8.4.3-x86_64-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.4.3|] :: Path Rel))
+  [s|0f05c67e3fd29a3f505abb77e9c39349d312cdc1a566263b8f4b227d085906bc|]
+
+ghc_843_32_musl :: DownloadInfo
+ghc_843_32_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.4.3-musl/ghc-8.4.3-i386-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.4.3|] :: Path Rel))
+  [s|3a9a1ceb8eef234023fc36600245a03772bcb46b2abac41f6394104feaec8c43|]
+
+
+
+
     -----------------
     --[ GHC 8.4.4 ]--
     -----------------
 
 
+ghc_844_64_deb8 :: DownloadInfo
+ghc_844_64_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.4/ghc-8.4.4-x86_64-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.4.4|] :: Path Rel))
+  [s|4c2a8857f76b7f3e34ecba0b51015d5cb8b767fe5377a7ec477abde10705ab1a|]
+
+ghc_844_32_deb8 :: DownloadInfo
+ghc_844_32_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.4/ghc-8.4.4-i386-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.4.4|] :: Path Rel))
+  [s|678bafaabea6af70ba71ccf0210bb437f9f5591ec28ac1cbbbd5f7aa6894e450|]
+
+ghc_844_64_deb9 :: DownloadInfo
+ghc_844_64_deb9 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.4/ghc-8.4.4-x86_64-deb9-linux.tar.xz|]
+  (Just ([rel|ghc-8.4.4|] :: Path Rel))
+  [s|47c80a32d8f02838a2401414c94ba260d1fe82b7d090479994522242c767cc83|]
+
+ghc_844_64_centos :: DownloadInfo
+ghc_844_64_centos = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.4/ghc-8.4.4-x86_64-centos70-linux.tar.xz|]
+  (Just ([rel|ghc-8.4.4|] :: Path Rel))
+  [s|83a96650f5a92b1e4d7651d256d6438624342d40e780e68125033435a54cd674|]
+
 ghc_844_64_fedora :: DownloadInfo
 ghc_844_64_fedora = DownloadInfo
   [uri|https://downloads.haskell.org/~ghc/8.4.4/ghc-8.4.4-x86_64-fedora27-linux.tar.xz|]
   (Just ([rel|ghc-8.4.4|] :: Path Rel))
-  [s|5f871a3eaf808acb2420fdeef9318698|]
+  [s|8ab2befddc14d1434d0aad0c5d3c7e0c2b78ff84caa3429fa62527bfc6b86095|]
 
-ghc_844_64_debian9 :: DownloadInfo
-ghc_844_64_debian9 = DownloadInfo
-  [uri|https://downloads.haskell.org/~ghc/8.4.4/ghc-8.4.4-x86_64-deb9-linux.tar.xz|]
+ghc_844_64_darwin :: DownloadInfo
+ghc_844_64_darwin = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.4/ghc-8.4.4-x86_64-apple-darwin.tar.xz|]
   (Just ([rel|ghc-8.4.4|] :: Path Rel))
-  [s|5f871a3eaf808acb2420fdeef9318698|]
+  [s|28dc89ebd231335337c656f4c5ead2ae2a1acc166aafe74a14f084393c5ef03a|]
 
-ghc_844_64_debian8 :: DownloadInfo
-ghc_844_64_debian8 = DownloadInfo
-  [uri|https://downloads.haskell.org/~ghc/8.4.4/ghc-8.4.4-x86_64-deb8-linux.tar.xz|]
+ghc_844_64_freebsd :: DownloadInfo
+ghc_844_64_freebsd = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.4.4/ghc-8.4.4-x86_64-portbld-freebsd11.tar.xz|]
   (Just ([rel|ghc-8.4.4|] :: Path Rel))
-  [s|5f871a3eaf808acb2420fdeef9318698|]
+  [s|44fbd142d1c355d6110595c59c760e2c73866ff9259ec85ebf814edb244d1940|]
+
+ghc_844_64_musl :: DownloadInfo
+ghc_844_64_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.4.4-musl/ghc-8.4.4-x86_64-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.4.4|] :: Path Rel))
+  [s|e15f1cf02adb2cfb77a202050300a92f61456c6e1e90b543fec82d99da893a69|]
+
+ghc_844_32_musl :: DownloadInfo
+ghc_844_32_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.4.4-musl/ghc-8.4.4-i386-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.4.4|] :: Path Rel))
+  [s|356f49b1acee0b0267fd8ca687aede14d43cee1f231d7f8a37525d50f07e1428|]
+
+
+
+    -----------------
+    --[ GHC 8.6.1 ]--
+    -----------------
+
+
+ghc_861_64_deb8 :: DownloadInfo
+ghc_861_64_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.1/ghc-8.6.1-x86_64-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.6.1|] :: Path Rel))
+  [s|6d8784401b7dd80c90fa17306ec0539920e3987399a2c7ef247989e53197dc42|]
+
+ghc_861_32_deb8 :: DownloadInfo
+ghc_861_32_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.1/ghc-8.6.1-i386-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.6.1|] :: Path Rel))
+  [s|83573af96e3dec8f67c1a844512f92cbf7d51ae7ceca53d948fc2a3300abd05c|]
+
+ghc_861_64_deb9 :: DownloadInfo
+ghc_861_64_deb9 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.1/ghc-8.6.1-x86_64-deb9-linux.tar.xz|]
+  (Just ([rel|ghc-8.6.1|] :: Path Rel))
+  [s|97d44f303868d74e4d13a2e99c82ffce3d25fd54c704675e5a1939e0d824dbf0|]
+
+ghc_861_64_fedora :: DownloadInfo
+ghc_861_64_fedora = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.1/ghc-8.6.1-x86_64-fedora27-linux.tar.xz|]
+  (Just ([rel|ghc-8.6.1|] :: Path Rel))
+  [s|da903fbcf11ee6c977a8b7dac3f04dbc098d674def587880b6624b8f32588beb|]
+
+ghc_861_64_darwin :: DownloadInfo
+ghc_861_64_darwin = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.1/ghc-8.6.1-x86_64-apple-darwin.tar.xz|]
+  (Just ([rel|ghc-8.6.1|] :: Path Rel))
+  [s|9692cdfd202b0e039ea0c3dde5dbf653736c836ca1df46504b179b572100808c|]
+
+ghc_861_64_freebsd :: DownloadInfo
+ghc_861_64_freebsd = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.1/ghc-8.6.1-x86_64-portbld-freebsd.tar.xz|]
+  (Just ([rel|ghc-8.6.1|] :: Path Rel))
+  [s|51403b054a3a649039ac988e1d1112561f96750bfced63df864091a3fab36f08|]
+
+ghc_861_64_musl :: DownloadInfo
+ghc_861_64_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.6.1-musl/ghc-8.6.1-x86_64-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.6.1|] :: Path Rel))
+  [s|2668e12facfa9083150b01b1137693cb3de266a6f8ac8c6b44a2be3826c73177|]
+
+ghc_861_32_musl :: DownloadInfo
+ghc_861_32_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.6.1-musl/ghc-8.6.1-i386-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.6.1|] :: Path Rel))
+  [s|12b9b5b78be94b57d301b2a31eda145928110fd103fbbcc1e6e6966237a30ed2|]
+
+
+
+    -----------------
+    --[ GHC 8.6.2 ]--
+    -----------------
+
+
+ghc_862_64_deb8 :: DownloadInfo
+ghc_862_64_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.2/ghc-8.6.2-x86_64-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.6.2|] :: Path Rel))
+  [s|13f96e8b83bb5bb60f955786ff9085744c24927a33be8a17773f84c7c248533a|]
+
+ghc_862_32_deb8 :: DownloadInfo
+ghc_862_32_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.2/ghc-8.6.2-i386-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.6.2|] :: Path Rel))
+  [s|a288026d9ef22f7ac387edab6b29ef7dcb3b28945c8ea532a15c1fa35d4733ed|]
+
+ghc_862_64_fedora :: DownloadInfo
+ghc_862_64_fedora = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.2/ghc-8.6.2-x86_64-fedora27-linux.tar.xz|]
+  (Just ([rel|ghc-8.6.2|] :: Path Rel))
+  [s|702aa5dfa1639c37953ceb7571a5057d9fb0562aecb197b277953a037d78047d|]
+
+ghc_862_64_darwin :: DownloadInfo
+ghc_862_64_darwin = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.2/ghc-8.6.2-x86_64-apple-darwin.tar.xz|]
+  (Just ([rel|ghc-8.6.2|] :: Path Rel))
+  [s|8ec46a25872226dd7e5cf7271e3f3450c05f32144b96e6b9cb44cc4079db50dc|]
+
+ghc_862_64_musl :: DownloadInfo
+ghc_862_64_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.6.2-musl/ghc-8.6.2-x86_64-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.6.2|] :: Path Rel))
+  [s|5be9f98c25c49dbfb65223e2642335d4a45220f0c4044c8af70bbcaebe688467|]
+
+ghc_862_32_musl :: DownloadInfo
+ghc_862_32_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.6.2-musl/ghc-8.6.2-i386-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.6.2|] :: Path Rel))
+  [s|a1add75822258fbb6e57ad049919ef5f757bac10d3c7a6eaeee50d2521ffeb4e|]
+
+
+
+
+    -----------------
+    --[ GHC 8.6.3 ]--
+    -----------------
+
+
+ghc_863_64_deb8 :: DownloadInfo
+ghc_863_64_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.3/ghc-8.6.3-x86_64-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.6.3|] :: Path Rel))
+  [s|291ca565374f4d51cc311488581f3279d3167a064fabfd4a6722fe2bd4532fd5|]
+
+ghc_863_32_deb8 :: DownloadInfo
+ghc_863_32_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.3/ghc-8.6.3-i386-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.6.3|] :: Path Rel))
+  [s|b57070ba8c70b1333a3e47ce124baf791be39c20a592954772532fd6dd51882f|]
+
+ghc_863_64_deb9 :: DownloadInfo
+ghc_863_64_deb9 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.3/ghc-8.6.3-x86_64-deb9-linux.tar.xz|]
+  (Just ([rel|ghc-8.6.3|] :: Path Rel))
+  [s|e7954c8ed9b422a09c6ab737e4a0865a2725d034ba0e272bd5c70db910797f99|]
+
+ghc_863_64_fedora :: DownloadInfo
+ghc_863_64_fedora = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.3/ghc-8.6.3-x86_64-fedora27-linux.tar.xz|]
+  (Just ([rel|ghc-8.6.3|] :: Path Rel))
+  [s|52ae92f4e8bb2ac0b7847287ea3da37081f5f7bf8bbb7c78ac35fde537d1a89f|]
+
+ghc_863_64_centos :: DownloadInfo
+ghc_863_64_centos = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.3/ghc-8.6.3-x86_64-centos7-linux.tar.xz|]
+  (Just ([rel|ghc-8.6.3|] :: Path Rel))
+  [s|355bd85c69933c31bbe99b4269ce719acfd0aad0b45e359ac39b9bb13996acc6|]
+
+ghc_863_64_darwin :: DownloadInfo
+ghc_863_64_darwin = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.3/ghc-8.6.3-x86_64-apple-darwin.tar.xz|]
+  (Just ([rel|ghc-8.6.3|] :: Path Rel))
+  [s|79d069a1a7d74cfdd7ac2a2711c45d3ddc6265b988a0cefa342714b24f997fc1|]
+
+ghc_863_64_freebsd :: DownloadInfo
+ghc_863_64_freebsd = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.3/ghc-8.6.3-x86_64-portbld-freebsd.tar.xz|]
+  (Just ([rel|ghc-8.6.3|] :: Path Rel))
+  [s|bc2419fa180f8a7808c49775987866435995df9bdd9ce08bcd38352d63ba6031|]
+
+ghc_863_64_musl :: DownloadInfo
+ghc_863_64_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.6.3-musl/ghc-8.6.3-x86_64-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.6.3|] :: Path Rel))
+  [s|274f7ea959e6f1c830b33efd462ab9d0ff32d1cb5be051a2a318464d05d674dd|]
+
+ghc_863_32_musl :: DownloadInfo
+ghc_863_32_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.6.3-musl/ghc-8.6.3-i386-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.6.3|] :: Path Rel))
+  [s|dc0b53a7f0e52232930abcfad427ccd0917c90797203fbc7b5d72f5335d85a7d|]
+
+
+
+
+    -----------------
+    --[ GHC 8.6.4 ]--
+    -----------------
+
+
+ghc_864_64_deb8 :: DownloadInfo
+ghc_864_64_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.4/ghc-8.6.4-x86_64-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.6.4|] :: Path Rel))
+  [s|34ef5fc8ddf2fc32a027180bea5b1c8a81ea840c87faace2977a572188d4b42d|]
+
+ghc_864_64_deb9 :: DownloadInfo
+ghc_864_64_deb9 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.4/ghc-8.6.4-x86_64-deb9-linux.tar.xz|]
+  (Just ([rel|ghc-8.6.4|] :: Path Rel))
+  [s|ef74222ef3c01c3fc5b926f67e8b4ef612fe8efa40ac937317cff9b0eed8d863|]
+
+ghc_864_32_deb9 :: DownloadInfo
+ghc_864_32_deb9 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.4/ghc-8.6.4-i386-deb9-linux.tar.xz|]
+  (Just ([rel|ghc-8.6.4|] :: Path Rel))
+  [s|5e2ce88f4d13d23ac37e278e0c7b51c801008931359b9fa8a631d804d2da552c|]
+
+ghc_864_64_fedora :: DownloadInfo
+ghc_864_64_fedora = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.4/ghc-8.6.4-x86_64-fedora27-linux.tar.xz|]
+  (Just ([rel|ghc-8.6.4|] :: Path Rel))
+  [s|e0b1ada7a679d6c35f9d7a1192ed35fde054f3650bb0bd2570d103729ad3b846|]
+
+ghc_864_64_darwin :: DownloadInfo
+ghc_864_64_darwin = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.4/ghc-8.6.4-x86_64-apple-darwin.tar.xz|]
+  (Just ([rel|ghc-8.6.4|] :: Path Rel))
+  [s|cccb58f142fe41b601d73690809f6089f7715b6a50a09aa3d0104176ab4db09e|]
+
+ghc_864_64_musl :: DownloadInfo
+ghc_864_64_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.6.4-musl/ghc-8.6.4-x86_64-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.6.4|] :: Path Rel))
+  [s|ec73167bae1a173a9af07612df5fa1289e924f13ed9241339cb5617337cb2979|]
+
+ghc_864_32_musl :: DownloadInfo
+ghc_864_32_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.6.4-musl/ghc-8.6.4-i386-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.6.4|] :: Path Rel))
+  [s|21b39b89edadbb6ab5b98d46dfacc0fd0799f9b16465a05c64e48f41dcbb1f7a|]
+
 
 
     -----------------
@@ -43,23 +613,260 @@ ghc_844_64_debian8 = DownloadInfo
 
 
 
+ghc_865_64_deb8 :: DownloadInfo
+ghc_865_64_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.5/ghc-8.6.5-x86_64-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.6.5|] :: Path Rel))
+  [s|c419fd0aa9065fe4d2eb9a248e323860c696ddf3859749ca96a84938aee49107|]
+
+ghc_865_64_deb9 :: DownloadInfo
+ghc_865_64_deb9 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.5/ghc-8.6.5-x86_64-deb9-linux.tar.xz|]
+  (Just ([rel|ghc-8.6.5|] :: Path Rel))
+  [s|bc75f5601a9f41d58b2ba161b9e28fad52143a7229060f1e084168d9b2e914df|]
+
+ghc_865_32_deb9 :: DownloadInfo
+ghc_865_32_deb9 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.5/ghc-8.6.5-i386-deb9-linux.tar.xz|]
+  (Just ([rel|ghc-8.6.5|] :: Path Rel))
+  [s|1cddb907393a669342b1a922dd16d505d9d93d50bd9433a54a8162f8701250dc|]
+
 ghc_865_64_fedora :: DownloadInfo
 ghc_865_64_fedora = DownloadInfo
   [uri|https://downloads.haskell.org/~ghc/8.6.5/ghc-8.6.5-x86_64-fedora27-linux.tar.xz|]
   (Just ([rel|ghc-8.6.5|] :: Path Rel))
-  [s|5f871a3eaf808acb2420fdeef9318698|]
+  [s|cf78b53eaf336083e7a05f4a3000afbae4abe5bbc77ef80cc40e09d04ac5b4a1|]
 
-ghc_865_64_debian9 :: DownloadInfo
-ghc_865_64_debian9 = DownloadInfo
-  [uri|https://downloads.haskell.org/~ghc/8.6.5/ghc-8.6.5-x86_64-deb9-linux.tar.xz|]
+ghc_865_64_centos :: DownloadInfo
+ghc_865_64_centos = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.5/ghc-8.6.5-x86_64-centos7-linux.tar.xz|]
   (Just ([rel|ghc-8.6.5|] :: Path Rel))
-  [s|8de779b73c1b2f1b7ab49030015fce3d|]
+  [s|80ab566f4411299f9e5922d60749ca80f989d697db19e03ed875619d699f0edf|]
 
-ghc_865_64_debian8 :: DownloadInfo
-ghc_865_64_debian8 = DownloadInfo
-  [uri|https://downloads.haskell.org/~ghc/8.6.5/ghc-8.6.5-x86_64-deb8-linux.tar.xz|]
+ghc_865_64_darwin :: DownloadInfo
+ghc_865_64_darwin = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.6.5/ghc-8.6.5-x86_64-apple-darwin.tar.xz|]
   (Just ([rel|ghc-8.6.5|] :: Path Rel))
-  [s|5f871a3eaf808acb2420fdeef9318698|]
+  [s|dfc1bdb1d303a87a8552aa17f5b080e61351f2823c2b99071ec23d0837422169|]
+
+ghc_865_64_musl :: DownloadInfo
+ghc_865_64_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.6.5-musl/ghc-8.6.5-x86_64-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.6.5|] :: Path Rel))
+  [s|ec6d0417822c3bfafc7aea0b0402294901231bc5d72dd17a2b849e3f44850695|]
+
+ghc_865_32_musl :: DownloadInfo
+ghc_865_32_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.6.5-musl/ghc-8.6.5-i386-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.6.5|] :: Path Rel))
+  [s|db13ff894faf431f9c64db21c090a1e4e42803794d56720a704c50166c7ca05d|]
+
+
+
+    -----------------
+    --[ GHC 8.8.1 ]--
+    -----------------
+
+
+
+ghc_881_64_deb8 :: DownloadInfo
+ghc_881_64_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.8.1/ghc-8.8.1-x86_64-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.8.1|] :: Path Rel))
+  [s|fd96eb851971fbc3332bf2fa7821732cfa8b37e5a076a69f6a06f83f0ea7ccc5|]
+
+ghc_881_64_deb9 :: DownloadInfo
+ghc_881_64_deb9 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.8.1/ghc-8.8.1-x86_64-deb9-linux.tar.xz|]
+  (Just ([rel|ghc-8.8.1|] :: Path Rel))
+  [s|620fd560535b63cac5f8c97354ccddf93fa940cca78e2d19f6f98b7e67c6a723|]
+
+ghc_881_32_deb9 :: DownloadInfo
+ghc_881_32_deb9 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.8.1/ghc-8.8.1-i386-deb9-linux.tar.xz|]
+  (Just ([rel|ghc-8.8.1|] :: Path Rel))
+  [s|3d3bb75aff2dd79ec87ace10483368681fbc328ff00ebf15edad33420f00f7f5|]
+
+ghc_881_64_fedora :: DownloadInfo
+ghc_881_64_fedora = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.8.1/ghc-8.8.1-x86_64-fedora27-linux.tar.xz|]
+  (Just ([rel|ghc-8.8.1|] :: Path Rel))
+  [s|851a78df620bc056c34b252c97040d5755e294993fa8afa5429708b5229204d6|]
+
+ghc_881_64_centos :: DownloadInfo
+ghc_881_64_centos = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.8.1/ghc-8.8.1-x86_64-centos7-linux.tar.xz|]
+  (Just ([rel|ghc-8.8.1|] :: Path Rel))
+  [s|6cdd34e4dbaeb801e805811f91cf43a2d5f64b22f884718ffbd3542a2f4dd14f|]
+
+ghc_881_64_darwin :: DownloadInfo
+ghc_881_64_darwin = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.8.1/ghc-8.8.1-x86_64-apple-darwin.tar.xz|]
+  (Just ([rel|ghc-8.8.1|] :: Path Rel))
+  [s|38c8917b47c31bedf58c9305dfca3abe198d8d35570366f0773c4e2948bd8abe|]
+
+ghc_881_64_musl :: DownloadInfo
+ghc_881_64_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.8.1-musl/ghc-8.8.1-x86_64-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.8.1|] :: Path Rel))
+  [s|029163c42a219983f4220d73c26b910c3ecf6eda45a3e5e27236e8a66b080890|]
+
+ghc_881_32_musl :: DownloadInfo
+ghc_881_32_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.8.1-musl/ghc-8.8.1-i386-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.8.1|] :: Path Rel))
+  [s|3f5462341a455a5677fba5cb24da8938878261069da5ee4234b1c6ac2d2ef77e|]
+
+
+
+    -----------------
+    --[ GHC 8.8.2 ]--
+    -----------------
+
+
+
+ghc_882_64_deb8 :: DownloadInfo
+ghc_882_64_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.8.2/ghc-8.8.2-x86_64-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.8.2|] :: Path Rel))
+  [s|fbe69652eba75dadb758d00292247d17fb018c29cac5acd79843e56311256c9f|]
+
+ghc_882_64_deb9 :: DownloadInfo
+ghc_882_64_deb9 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.8.2/ghc-8.8.2-x86_64-deb9-linux.tar.xz|]
+  (Just ([rel|ghc-8.8.2|] :: Path Rel))
+  [s|7b2d66c2d5d8c15750da5833d3018634a5eb792a5662282e3abfeb112c2a1cc3|]
+
+ghc_882_32_deb9 :: DownloadInfo
+ghc_882_32_deb9 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.8.2/ghc-8.8.2-i386-deb9-linux.tar.xz|]
+  (Just ([rel|ghc-8.8.2|] :: Path Rel))
+  [s|ad1c628082c32635a436905a7ff83eaa4246347d869be5ef6b33c3bf85e8f00c|]
+
+ghc_882_64_fedora :: DownloadInfo
+ghc_882_64_fedora = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.8.2/ghc-8.8.2-x86_64-fedora27-linux.tar.xz|]
+  (Just ([rel|ghc-8.8.2|] :: Path Rel))
+  [s|dbe2db717b33460f790e155e487d2a31c9b21a9d245f0c9490ad65844c3ea21f|]
+
+ghc_882_64_centos :: DownloadInfo
+ghc_882_64_centos = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.8.2/ghc-8.8.2-x86_64-centos7-linux.tar.xz|]
+  (Just ([rel|ghc-8.8.2|] :: Path Rel))
+  [s|f065a017d7a38f235f186ffe32d8261a4fd39c7e945d5cde85c0984c2569db99|]
+
+ghc_882_64_darwin :: DownloadInfo
+ghc_882_64_darwin = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.8.2/ghc-8.8.2-x86_64-apple-darwin.tar.xz|]
+  (Just ([rel|ghc-8.8.2|] :: Path Rel))
+  [s|25c5c1a70036abf3f22b2b19c10d26adfdb08e8f8574f89d4b2042de5947f990|]
+
+ghc_882_64_musl :: DownloadInfo
+ghc_882_64_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.8.2-musl/ghc-8.8.2-x86_64-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.8.2|] :: Path Rel))
+  [s|09d49c75b5626606409c982b23f70dec241a944928243f32d1b59b2005de6dea|]
+
+ghc_882_32_musl :: DownloadInfo
+ghc_882_32_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.8.2-musl/ghc-8.8.2-i386-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.8.2|] :: Path Rel))
+  [s|4ea4a81b6b5ba807c93b21b3cddf1f1b4b0fc1ce018cf6aa255a9ee40137b278|]
+
+
+
+    -----------------
+    --[ GHC 8.8.3 ]--
+    -----------------
+
+
+
+ghc_883_64_deb8 :: DownloadInfo
+ghc_883_64_deb8 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.8.3/ghc-8.8.3-x86_64-deb8-linux.tar.xz|]
+  (Just ([rel|ghc-8.8.3|] :: Path Rel))
+  [s|92b9fadc442976968d2c190c14e000d737240a7d721581cda8d8741b7bd402f0|]
+
+ghc_883_64_deb9 :: DownloadInfo
+ghc_883_64_deb9 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.8.3/ghc-8.8.3-x86_64-deb9-linux.tar.xz|]
+  (Just ([rel|ghc-8.8.3|] :: Path Rel))
+  [s|42fde2ef5a143e1e6b47ae8875162ea2d4d54b06f0f7fa32ee4f0eb86f2be7ad|]
+
+ghc_883_32_deb9 :: DownloadInfo
+ghc_883_32_deb9 = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.8.3/ghc-8.8.3-i386-deb9-linux.tar.xz|]
+  (Just ([rel|ghc-8.8.3|] :: Path Rel))
+  [s|441e2c7a4fc83ebf179712bd939b555cda7c6633545b7c8ac38049f9d85003ae|]
+
+ghc_883_64_fedora :: DownloadInfo
+ghc_883_64_fedora = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.8.3/ghc-8.8.3-x86_64-fedora27-linux.tar.xz|]
+  (Just ([rel|ghc-8.8.3|] :: Path Rel))
+  [s|45ee1de3bfc98cbcc4886b65fc7651ade2d3820aa85eac2dbe9bc7bf91e7c818|]
+
+ghc_883_64_centos :: DownloadInfo
+ghc_883_64_centos = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.8.3/ghc-8.8.3-x86_64-centos7-linux.tar.xz|]
+  (Just ([rel|ghc-8.8.3|] :: Path Rel))
+  [s|4b2b5313f7c12b81e54efcb26705fa9e4ad5b98f2b58bfc76fb0c9ba1d55eb1f|]
+
+ghc_883_64_darwin :: DownloadInfo
+ghc_883_64_darwin = DownloadInfo
+  [uri|https://downloads.haskell.org/~ghc/8.8.3/ghc-8.8.3-x86_64-apple-darwin.tar.xz|]
+  (Just ([rel|ghc-8.8.3|] :: Path Rel))
+  [s|7016de90dd226b06fc79d0759c5d4c83c2ab01d8c678905442c28bd948dbb782|]
+
+ghc_883_64_musl :: DownloadInfo
+ghc_883_64_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.8.3-musl/ghc-8.8.3-x86_64-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.8.3|] :: Path Rel))
+  [s|77a990d76dc10abe2ed19e5fcfef4095f0e9819d4ab84bec6d82f00dd85812a7|]
+
+ghc_883_32_musl :: DownloadInfo
+ghc_883_32_musl = DownloadInfo
+  [uri|https://github.com/redneb/ghc-alt-libc/releases/download/ghc-8.8.3-musl/ghc-8.8.3-i386-unknown-linux-musl.tar.xz|]
+  (Just ([rel|ghc-8.8.3|] :: Path Rel))
+  [s|7a5f41646d06777e75636291a1855d60a0984552bbdf33c3d107565d302f38a4|]
+
+
+
+    ---------------------
+    --[ Cabal-2.4.1.0 ]--
+    ---------------------
+
+
+cabal_2410_32_linux :: DownloadInfo
+cabal_2410_32_linux = DownloadInfo
+  [uri|https://downloads.haskell.org/cabal/cabal-install-2.4.1.0/cabal-install-2.4.1.0-i386-unknown-linux.tar.xz|]
+  Nothing
+  [s|b2da736cc27609442b10f77fc1a687aba603a7a33045b722dbf1a0066fade198|]
+
+cabal_2410_64_linux :: DownloadInfo
+cabal_2410_64_linux = DownloadInfo
+  [uri|https://downloads.haskell.org/cabal/cabal-install-2.4.1.0/cabal-install-2.4.1.0-x86_64-unknown-linux.tar.xz|]
+  Nothing
+  [s|6136c189ffccaa39916f9cb5788f757166444a2d0c473b987856a79ecbf0c714|]
+
+cabal_2410_64_darwin :: DownloadInfo
+cabal_2410_64_darwin = DownloadInfo
+  [uri|https://downloads.haskell.org/cabal/cabal-install-2.4.1.0/cabal-install-2.4.1.0-x86_64-apple-darwin-sierra.tar.xz|]
+  Nothing
+  [s|56361cf4b0d920fe23174751fea1fb82a8e1ce522bd9706a3fbe47a72e458c9c|]
+
+cabal_2410_64_alpine :: DownloadInfo
+cabal_2410_64_alpine = DownloadInfo
+  [uri|https://downloads.haskell.org/cabal/cabal-install-2.4.1.0/cabal-install-2.4.1.0-x86_64-alpine-linux-musl.tar.xz|]
+  Nothing
+  [s|720bef015f834a03deb7180be2952a44e7c2e6c8429137570404c3de4f46b984|]
+
+cabal_2410_64_freebsd :: DownloadInfo
+cabal_2410_64_freebsd = DownloadInfo
+  [uri|https://downloads.haskell.org/~cabal/cabal-install-2.4.1.0/cabal-install-2.4.1.0-x86_64-portbld-freebsd.tar.xz|]
+  Nothing
+  [s|33b7d37ea0688c93436eac9ec139d9967687875aa1fa13f2bb73bf05a9a59a1d|]
+
+
 
 
     ---------------------
@@ -67,11 +874,23 @@ ghc_865_64_debian8 = DownloadInfo
     ---------------------
 
 
+cabal_3000_32_linux :: DownloadInfo
+cabal_3000_32_linux = DownloadInfo
+  [uri|https://downloads.haskell.org/cabal/cabal-install-3.0.0.0/cabal-install-3.0.0.0-i386-unknown-linux.tar.xz|]
+  Nothing
+  [s|6898ccd6e6dc0872999c06daaf61d546164e12f60a1880d09852c9f0c59c5cf6|]
+
 cabal_3000_64_linux :: DownloadInfo
 cabal_3000_64_linux = DownloadInfo
   [uri|https://downloads.haskell.org/~cabal/cabal-install-3.0.0.0/cabal-install-3.0.0.0-x86_64-unknown-linux.tar.xz|]
   Nothing
-  [s|32352d2259909970e6ff04faf61bbfac|]
+  [s|ee911ba67a70756eedeac662955b896d7e89432a99372aa45d2c6e71fa95a5e4|]
+
+cabal_3000_64_darwin :: DownloadInfo
+cabal_3000_64_darwin = DownloadInfo
+  [uri|https://downloads.haskell.org/cabal/cabal-install-3.0.0.0/cabal-install-3.0.0.0-x86_64-apple-darwin17.7.0.tar.xz|]
+  Nothing
+  [s|d4857e068560515e4cbb0e8ca124c370e07892f2a28804d87152834e5fe2b845|]
 
 
 
@@ -81,9 +900,8 @@ cabal_3000_64_linux = DownloadInfo
 
 
 ghcup_010_64_linux :: DownloadInfo
-ghcup_010_64_linux = DownloadInfo [uri|file:///home/ospa_ju/tmp/ghcup-exe|]
-                                  Nothing
-                                  [s|d8da9e09ca71648f4c1bc6a0a46efc82|]
+ghcup_010_64_linux =
+  DownloadInfo [uri|file:///home/ospa_ju/tmp/ghcup-exe|] Nothing [s||]
 
 
 
@@ -97,18 +915,200 @@ binaryDownloads :: BinaryDownloads
 binaryDownloads = M.fromList
   [ ( GHC
     , M.fromList
-      [ ( [vver|8.6.5|]
-        , VersionInfo [Latest] $ M.fromList
+      [ ( [vver|7.10.3|]
+        , VersionInfo [] $ M.fromList
           [ ( A_64
             , M.fromList
-              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_865_64_fedora)])
-              , (Linux Ubuntu      , M.fromList [(Nothing, ghc_865_64_debian9)])
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_7103_64_deb8)])
+              , (Linux Ubuntu      , M.fromList [(Nothing, ghc_7103_64_deb8)])
+              , (Linux Mint        , M.fromList [(Nothing, ghc_7103_64_deb8)])
+              , (Linux Debian      , M.fromList [(Nothing, ghc_7103_64_deb8)])
+              , (Linux CentOS, M.fromList [(Nothing, ghc_7103_64_cenots67)])
+              , ( Linux AmazonLinux
+                , M.fromList [(Nothing, ghc_7103_64_cenots67)]
+                )
+              , (Darwin      , M.fromList [(Nothing, ghc_7103_64_darwin)])
+              , (FreeBSD     , M.fromList [(Nothing, ghc_7103_64_freebsd)])
+              , (Linux Alpine, M.fromList [(Nothing, ghc_7103_64_musl)])
+              ]
+            )
+          , ( A_32
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_7103_32_deb8)])
+              , (Linux Ubuntu      , M.fromList [(Nothing, ghc_7103_32_deb8)])
+              , (Linux Mint        , M.fromList [(Nothing, ghc_7103_32_deb8)])
+              , (Linux Debian      , M.fromList [(Nothing, ghc_7103_32_deb8)])
+              , (Linux CentOS, M.fromList [(Nothing, ghc_7103_32_cenots67)])
+              , ( Linux AmazonLinux
+                , M.fromList [(Nothing, ghc_7103_32_cenots67)]
+                )
+              , (FreeBSD, M.fromList [(Nothing, ghc_7103_32_freebsd)])
+              ]
+            )
+          ]
+        )
+      , ( [vver|8.0.2|]
+        , VersionInfo [] $ M.fromList
+          [ ( A_64
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_802_64_deb8)])
+              , (Linux Ubuntu      , M.fromList [(Nothing, ghc_802_64_deb8)])
+              , (Linux Mint        , M.fromList [(Nothing, ghc_802_64_deb8)])
               , ( Linux Debian
                 , M.fromList
-                  [ (Nothing         , ghc_865_64_debian9)
-                  , (Just $ [vers|8|], ghc_865_64_debian8)
+                  [ (Nothing       , ghc_802_64_deb8)
+                  , (Just [vers|7|], ghc_802_64_deb7)
                   ]
                 )
+              , (Darwin      , M.fromList [(Nothing, ghc_802_64_darwin)])
+              , (FreeBSD     , M.fromList [(Nothing, ghc_802_64_freebsd)])
+              , (Linux Alpine, M.fromList [(Nothing, ghc_802_64_musl)])
+              ]
+            )
+          , ( A_32
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_802_32_deb8)])
+              , ( Linux Debian
+                , M.fromList
+                  [ (Nothing       , ghc_802_32_deb8)
+                  , (Just [vers|7|], ghc_802_32_deb7)
+                  ]
+                )
+              , (Linux Alpine, M.fromList [(Nothing, ghc_802_32_musl)])
+              ]
+            )
+          ]
+        )
+      , ( [vver|8.2.2|]
+        , VersionInfo [] $ M.fromList
+          [ ( A_64
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_822_64_unknown)])
+              , (Linux Ubuntu      , M.fromList [(Nothing, ghc_822_64_deb8)])
+              , (Linux Mint        , M.fromList [(Nothing, ghc_822_64_deb8)])
+              , ( Linux Debian
+                , M.fromList
+                  [ (Nothing       , ghc_822_64_deb8)
+                  , (Just [vers|7|], ghc_822_64_deb7)
+                  ]
+                )
+              , (Darwin, M.fromList [(Nothing, ghc_822_64_darwin)])
+              , ( FreeBSD
+                , M.fromList
+                  [ (Nothing        , ghc_822_64_freebsd11)
+                  , (Just [vers|10|], ghc_822_64_freebsd10)
+                  , (Just [vers|11|], ghc_822_64_freebsd11)
+                  ]
+                )
+              ]
+            )
+          , ( A_32
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_822_32_deb8)])
+              , (Linux Ubuntu      , M.fromList [(Nothing, ghc_822_32_deb8)])
+              , (Linux Mint        , M.fromList [(Nothing, ghc_822_32_deb8)])
+              , ( Linux Debian
+                , M.fromList
+                  [ (Nothing       , ghc_822_32_deb8)
+                  , (Just [vers|7|], ghc_822_32_deb7)
+                  ]
+                )
+              ]
+            )
+          ]
+        )
+      , ( [vver|8.4.1|]
+        , VersionInfo [] $ M.fromList
+          [ ( A_64
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_841_64_fedora)])
+              , (Linux Fedora      , M.fromList [(Nothing, ghc_841_64_fedora)])
+              , (Linux Ubuntu, M.fromList [(Nothing, ghc_841_64_fedora)])
+              , (Linux Mint  , M.fromList [(Nothing, ghc_841_64_fedora)])
+              , (Linux Debian, M.fromList [(Nothing, ghc_841_64_deb8)])
+              , (Darwin      , M.fromList [(Nothing, ghc_841_64_darwin)])
+              , (FreeBSD     , M.fromList [(Nothing, ghc_841_64_freebsd)])
+              , (Linux Alpine, M.fromList [(Nothing, ghc_841_64_musl)])
+              ]
+            )
+          , ( A_32
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_841_32_deb8)])
+              , (Linux Ubuntu      , M.fromList [(Nothing, ghc_841_32_deb8)])
+              , (Linux Mint        , M.fromList [(Nothing, ghc_841_32_deb8)])
+              , (Linux Debian      , M.fromList [(Nothing, ghc_841_32_deb8)])
+              , (Linux Alpine      , M.fromList [(Nothing, ghc_841_32_musl)])
+              ]
+            )
+          ]
+        )
+      , ( [vver|8.4.2|]
+        , VersionInfo [] $ M.fromList
+          [ ( A_64
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_842_64_fedora)])
+              , (Linux Fedora      , M.fromList [(Nothing, ghc_842_64_fedora)])
+              , ( Linux Ubuntu
+                , M.fromList
+                  [ (Nothing           , ghc_842_64_fedora)
+                  , (Just [vers|16.04|], ghc_842_64_deb9)
+                  , (Just [vers|18.04|], ghc_842_64_deb9)
+                  ]
+                )
+              , (Linux Mint, M.fromList [(Nothing, ghc_842_64_deb9)])
+              , ( Linux Debian
+                , M.fromList
+                  [ (Nothing       , ghc_842_64_deb9)
+                  , (Just [vers|8|], ghc_842_64_deb8)
+                  ]
+                )
+              , (Darwin      , M.fromList [(Nothing, ghc_842_64_darwin)])
+              , (FreeBSD     , M.fromList [(Nothing, ghc_842_64_freebsd)])
+              , (Linux Alpine, M.fromList [(Nothing, ghc_842_64_musl)])
+              ]
+            )
+          , ( A_32
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_842_32_deb8)])
+              , (Linux Ubuntu      , M.fromList [(Nothing, ghc_842_32_deb8)])
+              , (Linux Mint        , M.fromList [(Nothing, ghc_842_32_deb8)])
+              , (Linux Debian      , M.fromList [(Nothing, ghc_842_32_deb8)])
+              , (Linux Alpine      , M.fromList [(Nothing, ghc_842_32_musl)])
+              ]
+            )
+          ]
+        )
+      , ( [vver|8.4.3|]
+        , VersionInfo [] $ M.fromList
+          [ ( A_64
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_843_64_fedora)])
+              , (Linux Fedora      , M.fromList [(Nothing, ghc_843_64_fedora)])
+              , ( Linux Ubuntu
+                , M.fromList
+                  [ (Nothing           , ghc_843_64_fedora)
+                  , (Just [vers|16.04|], ghc_843_64_deb9)
+                  , (Just [vers|18.04|], ghc_843_64_deb9)
+                  ]
+                )
+              , (Linux Mint, M.fromList [(Nothing, ghc_843_64_deb9)])
+              , ( Linux Debian
+                , M.fromList
+                  [ (Nothing       , ghc_843_64_deb9)
+                  , (Just [vers|8|], ghc_843_64_deb8)
+                  ]
+                )
+              , (Darwin      , M.fromList [(Nothing, ghc_843_64_darwin)])
+              , (Linux Alpine, M.fromList [(Nothing, ghc_843_64_musl)])
+              ]
+            )
+          , ( A_32
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_843_32_deb8)])
+              , (Linux Ubuntu      , M.fromList [(Nothing, ghc_843_32_deb8)])
+              , (Linux Mint        , M.fromList [(Nothing, ghc_843_32_deb8)])
+              , (Linux Debian      , M.fromList [(Nothing, ghc_843_32_deb8)])
+              , (Linux Alpine      , M.fromList [(Nothing, ghc_843_32_musl)])
               ]
             )
           ]
@@ -118,13 +1118,322 @@ binaryDownloads = M.fromList
           [ ( A_64
             , M.fromList
               [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_844_64_fedora)])
-              , (Linux Ubuntu      , M.fromList [(Nothing, ghc_844_64_fedora)])
-              , ( Linux Debian
+              ,  (Linux CentOS      , M.fromList [(Nothing, ghc_844_64_centos)])
+              ,  (Linux AmazonLinux , M.fromList [(Nothing, ghc_844_64_centos)])
+              ,  (Linux Fedora      , M.fromList [(Nothing, ghc_844_64_fedora)])
+              , ( Linux Ubuntu
                 , M.fromList
-                  [ (Nothing         , ghc_844_64_debian9)
-                  , (Just $ [vers|8|], ghc_844_64_debian8)
+                  [ (Nothing           , ghc_844_64_fedora)
+                  , (Just [vers|16.04|], ghc_844_64_deb9)
+                  , (Just [vers|18.04|], ghc_844_64_deb9)
                   ]
                 )
+              , (Linux Mint, M.fromList [(Nothing, ghc_844_64_deb9)])
+              , ( Linux Debian
+                , M.fromList
+                  [ (Nothing       , ghc_844_64_deb9)
+                  , (Just [vers|8|], ghc_844_64_deb8)
+                  ]
+                )
+              , (Darwin      , M.fromList [(Nothing, ghc_844_64_darwin)])
+              , (FreeBSD     , M.fromList [(Nothing, ghc_844_64_freebsd)])
+              , (Linux Alpine, M.fromList [(Nothing, ghc_844_64_musl)])
+              ]
+            )
+          , ( A_32
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_844_32_deb8)])
+              , (Linux Ubuntu      , M.fromList [(Nothing, ghc_844_32_deb8)])
+              , (Linux Mint        , M.fromList [(Nothing, ghc_844_32_deb8)])
+              , (Linux Debian      , M.fromList [(Nothing, ghc_844_32_deb8)])
+              , (Linux Alpine      , M.fromList [(Nothing, ghc_844_32_musl)])
+              ]
+            )
+          ]
+        )
+      , ( [vver|8.6.1|]
+        , VersionInfo [] $ M.fromList
+          [ ( A_64
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_861_64_fedora)])
+              ,  (Linux Fedora      , M.fromList [(Nothing, ghc_861_64_fedora)])
+              , ( Linux Ubuntu
+                , M.fromList
+                  [ (Nothing           , ghc_861_64_fedora)
+                  , (Just [vers|16.04|], ghc_861_64_deb9)
+                  , (Just [vers|18.04|], ghc_861_64_deb9)
+                  ]
+                )
+              , (Linux Mint, M.fromList [(Nothing, ghc_861_64_deb9)])
+              , ( Linux Debian
+                , M.fromList
+                  [ (Nothing       , ghc_861_64_deb9)
+                  , (Just [vers|8|], ghc_861_64_deb8)
+                  ]
+                )
+              , (Darwin      , M.fromList [(Nothing, ghc_861_64_darwin)])
+              , (FreeBSD     , M.fromList [(Nothing, ghc_861_64_freebsd)])
+              , (Linux Alpine, M.fromList [(Nothing, ghc_861_64_musl)])
+              ]
+            )
+          , ( A_32
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_861_32_deb8)])
+              , (Linux Ubuntu      , M.fromList [(Nothing, ghc_861_32_deb8)])
+              , (Linux Mint        , M.fromList [(Nothing, ghc_861_32_deb8)])
+              , (Linux Debian      , M.fromList [(Nothing, ghc_861_32_deb8)])
+              , (Linux Alpine      , M.fromList [(Nothing, ghc_861_32_musl)])
+              ]
+            )
+          ]
+        )
+      , ( [vver|8.6.2|]
+        , VersionInfo [] $ M.fromList
+          [ ( A_64
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_862_64_fedora)])
+              ,    (Linux Fedora      , M.fromList [(Nothing, ghc_862_64_fedora)])
+              , ( Linux Ubuntu
+                , M.fromList
+                  [ (Nothing           , ghc_862_64_fedora)
+                  , (Just [vers|16.04|], ghc_862_64_deb8)
+                  , (Just [vers|18.04|], ghc_862_64_deb8)
+                  ]
+                )
+              , (Linux Mint  , M.fromList [(Nothing, ghc_862_64_deb8)])
+              , (Linux Debian, M.fromList [(Nothing, ghc_862_64_deb8)])
+              , (Darwin      , M.fromList [(Nothing, ghc_862_64_darwin)])
+              , (Linux Alpine, M.fromList [(Nothing, ghc_862_64_musl)])
+              ]
+            )
+          , ( A_32
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_862_32_deb8)])
+              , (Linux Ubuntu      , M.fromList [(Nothing, ghc_862_32_deb8)])
+              , (Linux Mint        , M.fromList [(Nothing, ghc_862_32_deb8)])
+              , (Linux Debian      , M.fromList [(Nothing, ghc_862_32_deb8)])
+              , (Linux Alpine      , M.fromList [(Nothing, ghc_862_32_musl)])
+              ]
+            )
+          ]
+        )
+      , ( [vver|8.6.3|]
+        , VersionInfo [] $ M.fromList
+          [ ( A_64
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_863_64_fedora)])
+              ,  (Linux Fedora      , M.fromList [(Nothing, ghc_863_64_fedora)])
+              ,  (Linux CentOS     , M.fromList [(Nothing, ghc_863_64_centos)])
+              ,  (Linux AmazonLinux , M.fromList [(Nothing, ghc_863_64_centos)])
+              , ( Linux Ubuntu
+                , M.fromList
+                  [ (Nothing           , ghc_863_64_fedora)
+                  , (Just [vers|16.04|], ghc_863_64_deb9)
+                  , (Just [vers|18.04|], ghc_863_64_deb9)
+                  ]
+                )
+              , (Linux Mint, M.fromList [(Nothing, ghc_863_64_deb9)])
+              , ( Linux Debian
+                , M.fromList
+                  [ (Nothing       , ghc_863_64_deb9)
+                  , (Just [vers|8|], ghc_863_64_deb8)
+                  ]
+                )
+              , (Darwin      , M.fromList [(Nothing, ghc_863_64_darwin)])
+              , (FreeBSD     , M.fromList [(Nothing, ghc_863_64_freebsd)])
+              , (Linux Alpine, M.fromList [(Nothing, ghc_863_64_musl)])
+              ]
+            )
+          , ( A_32
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_863_32_deb8)])
+              , (Linux Ubuntu      , M.fromList [(Nothing, ghc_863_32_deb8)])
+              , (Linux Mint        , M.fromList [(Nothing, ghc_863_32_deb8)])
+              , (Linux Debian      , M.fromList [(Nothing, ghc_863_32_deb8)])
+              , (Linux Alpine      , M.fromList [(Nothing, ghc_863_32_musl)])
+              ]
+            )
+          ]
+        )
+      , ( [vver|8.6.4|]
+        , VersionInfo [] $ M.fromList
+          [ ( A_64
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_864_64_fedora)])
+              ,  (Linux Fedora      , M.fromList [(Nothing, ghc_864_64_fedora)])
+              , ( Linux Ubuntu
+                , M.fromList
+                  [ (Nothing           , ghc_864_64_fedora)
+                  , (Just [vers|16.04|], ghc_864_64_deb9)
+                  , (Just [vers|18.04|], ghc_864_64_deb9)
+                  ]
+                )
+              , (Linux Mint, M.fromList [(Nothing, ghc_864_64_deb9)])
+              , ( Linux Debian
+                , M.fromList
+                  [ (Nothing       , ghc_864_64_deb9)
+                  , (Just [vers|8|], ghc_864_64_deb8)
+                  ]
+                )
+              , (Darwin      , M.fromList [(Nothing, ghc_864_64_darwin)])
+              , (Linux Alpine, M.fromList [(Nothing, ghc_864_64_musl)])
+              ]
+            )
+          , ( A_32
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_864_32_deb9)])
+              , (Linux Ubuntu      , M.fromList [(Nothing, ghc_864_32_deb9)])
+              , (Linux Mint        , M.fromList [(Nothing, ghc_864_32_deb9)])
+              , (Linux Debian      , M.fromList [(Nothing, ghc_864_32_deb9)])
+              , (Linux Alpine      , M.fromList [(Nothing, ghc_864_32_musl)])
+              ]
+            )
+          ]
+        )
+      , ( [vver|8.6.5|]
+        , VersionInfo [] $ M.fromList
+          [ ( A_64
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_865_64_fedora)])
+              ,  (Linux Fedora      , M.fromList [(Nothing, ghc_865_64_fedora)])
+              ,  (Linux CentOS      , M.fromList [(Nothing, ghc_865_64_centos)])
+              ,  (Linux AmazonLinux , M.fromList [(Nothing, ghc_865_64_centos)])
+              , ( Linux Ubuntu
+                , M.fromList
+                  [ (Nothing           , ghc_865_64_fedora)
+                  , (Just [vers|16.04|], ghc_865_64_deb9)
+                  , (Just [vers|18.04|], ghc_865_64_deb9)
+                  ]
+                )
+              , (Linux Mint, M.fromList [(Nothing, ghc_865_64_deb9)])
+              , ( Linux Debian
+                , M.fromList
+                  [ (Nothing       , ghc_865_64_deb9)
+                  , (Just [vers|8|], ghc_865_64_deb8)
+                  ]
+                )
+              , (Darwin      , M.fromList [(Nothing, ghc_865_64_darwin)])
+              , (Linux Alpine, M.fromList [(Nothing, ghc_865_64_musl)])
+              ]
+            )
+          , ( A_32
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_865_32_deb9)])
+              , (Linux Ubuntu      , M.fromList [(Nothing, ghc_865_32_deb9)])
+              , (Linux Mint        , M.fromList [(Nothing, ghc_865_32_deb9)])
+              , (Linux Debian      , M.fromList [(Nothing, ghc_865_32_deb9)])
+              , (Linux Alpine      , M.fromList [(Nothing, ghc_865_32_musl)])
+              ]
+            )
+          ]
+        )
+      , ( [vver|8.8.1|]
+        , VersionInfo [] $ M.fromList
+          [ ( A_64
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_881_64_fedora)])
+              ,  (Linux Fedora      , M.fromList [(Nothing, ghc_881_64_fedora)])
+              ,  (Linux CentOS      , M.fromList [(Nothing, ghc_881_64_centos)])
+              ,  (Linux AmazonLinux , M.fromList [(Nothing, ghc_881_64_centos)])
+              , ( Linux Ubuntu
+                , M.fromList
+                  [ (Nothing           , ghc_881_64_fedora)
+                  , (Just [vers|16.04|], ghc_881_64_deb9)
+                  , (Just [vers|18.04|], ghc_881_64_deb9)
+                  ]
+                )
+              , (Linux Mint, M.fromList [(Nothing, ghc_881_64_deb9)])
+              , ( Linux Debian
+                , M.fromList
+                  [ (Nothing       , ghc_881_64_deb9)
+                  , (Just [vers|8|], ghc_881_64_deb8)
+                  ]
+                )
+              , (Darwin      , M.fromList [(Nothing, ghc_881_64_darwin)])
+              , (Linux Alpine, M.fromList [(Nothing, ghc_881_64_musl)])
+              ]
+            )
+          , ( A_32
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_881_32_deb9)])
+              , (Linux Ubuntu      , M.fromList [(Nothing, ghc_881_32_deb9)])
+              , (Linux Mint        , M.fromList [(Nothing, ghc_881_32_deb9)])
+              , (Linux Debian      , M.fromList [(Nothing, ghc_881_32_deb9)])
+              , (Linux Alpine      , M.fromList [(Nothing, ghc_881_32_musl)])
+              ]
+            )
+          ]
+        )
+      , ( [vver|8.8.2|]
+        , VersionInfo [] $ M.fromList
+          [ ( A_64
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_882_64_fedora)])
+              ,  (Linux Fedora      , M.fromList [(Nothing, ghc_882_64_fedora)])
+              ,  (Linux CentOS      , M.fromList [(Nothing, ghc_882_64_centos)])
+              ,  (Linux AmazonLinux , M.fromList [(Nothing, ghc_882_64_centos)])
+              , ( Linux Ubuntu
+                , M.fromList
+                  [ (Nothing           , ghc_882_64_fedora)
+                  , (Just [vers|16.04|], ghc_882_64_deb9)
+                  , (Just [vers|18.04|], ghc_882_64_deb9)
+                  ]
+                )
+              , (Linux Mint, M.fromList [(Nothing, ghc_882_64_deb9)])
+              , ( Linux Debian
+                , M.fromList
+                  [ (Nothing       , ghc_882_64_deb9)
+                  , (Just [vers|8|], ghc_882_64_deb8)
+                  ]
+                )
+              , (Darwin      , M.fromList [(Nothing, ghc_882_64_darwin)])
+              , (Linux Alpine, M.fromList [(Nothing, ghc_882_64_musl)])
+              ]
+            )
+          , ( A_32
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_882_32_deb9)])
+              , (Linux Ubuntu      , M.fromList [(Nothing, ghc_882_32_deb9)])
+              , (Linux Mint        , M.fromList [(Nothing, ghc_882_32_deb9)])
+              , (Linux Debian      , M.fromList [(Nothing, ghc_882_32_deb9)])
+              , (Linux Alpine      , M.fromList [(Nothing, ghc_882_32_musl)])
+              ]
+            )
+          ]
+        )
+      , ( [vver|8.8.3|]
+        , VersionInfo [] $ M.fromList
+          [ ( A_64
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_883_64_fedora)])
+              ,  (Linux Fedora      , M.fromList [(Nothing, ghc_883_64_fedora)])
+              ,  (Linux CentOS      , M.fromList [(Nothing, ghc_883_64_centos)])
+              ,  (Linux AmazonLinux , M.fromList [(Nothing, ghc_883_64_centos)])
+              , ( Linux Ubuntu
+                , M.fromList
+                  [ (Nothing           , ghc_883_64_fedora)
+                  , (Just [vers|16.04|], ghc_883_64_deb9)
+                  , (Just [vers|18.04|], ghc_883_64_deb9)
+                  ]
+                )
+              , (Linux Mint, M.fromList [(Nothing, ghc_883_64_deb9)])
+              , ( Linux Debian
+                , M.fromList
+                  [ (Nothing       , ghc_883_64_deb9)
+                  , (Just [vers|8|], ghc_883_64_deb8)
+                  ]
+                )
+              , (Darwin      , M.fromList [(Nothing, ghc_883_64_darwin)])
+              , (Linux Alpine, M.fromList [(Nothing, ghc_883_64_musl)])
+              ]
+            )
+          , ( A_32
+            , M.fromList
+              [ (Linux UnknownLinux, M.fromList [(Nothing, ghc_883_32_deb9)])
+              , (Linux Ubuntu      , M.fromList [(Nothing, ghc_883_32_deb9)])
+              , (Linux Mint        , M.fromList [(Nothing, ghc_883_32_deb9)])
+              , (Linux Debian      , M.fromList [(Nothing, ghc_883_32_deb9)])
+              , (Linux Alpine      , M.fromList [(Nothing, ghc_883_32_musl)])
               ]
             )
           ]
@@ -133,13 +1442,44 @@ binaryDownloads = M.fromList
     )
   , ( Cabal
     , M.fromList
-      [ ( [vver|3.0.0.0|]
+      [ ( [vver|2.4.1.0|]
+        , VersionInfo [Recommended, Latest] $ M.fromList
+          [ ( A_64
+            , M.fromList
+              [ ( Linux UnknownLinux
+                , M.fromList [(Nothing, cabal_2410_64_linux)]
+                )
+              , ( Linux Alpine
+                , M.fromList [(Nothing, cabal_2410_64_alpine)]
+                )
+              , (Darwin , M.fromList [(Nothing, cabal_2410_64_darwin)])
+              , (FreeBSD, M.fromList [(Nothing, cabal_2410_64_freebsd)])
+              ]
+            )
+          , ( A_32
+            , M.fromList
+              [ ( Linux UnknownLinux
+                , M.fromList [(Nothing, cabal_2410_32_linux)]
+                )
+              ]
+            )
+          ]
+        )
+      , ( [vver|3.0.0.0|]
         , VersionInfo [Recommended, Latest] $ M.fromList
           [ ( A_64
             , M.fromList
               [ ( Linux UnknownLinux
                 , M.fromList [(Nothing, cabal_3000_64_linux)]
                 )
+              , (Darwin, M.fromList [(Nothing, cabal_3000_64_darwin)])
+              ]
+            )
+          , ( A_32
+            , M.fromList
+              [ ( Linux UnknownLinux
+                , M.fromList [(Nothing, cabal_3000_32_linux)]
+                )
               ]
             )
           ]
diff --git a/app/ghcup-gen/Validate.hs b/app/ghcup-gen/Validate.hs
index e50c8f9..f18d492 100644
--- a/app/ghcup-gen/Validate.hs
+++ b/app/ghcup-gen/Validate.hs
@@ -34,6 +34,9 @@ instance Exception ValidationError
 
 -- TODO: test that GHC is in semver
 -- TODO: check there's LATEST tag for every tool
+-- TODO: check all tarballs can be downloaded
+--       AND their checksum
+-- TODO: check gpg keys of tarballs?
 validate :: (Monad m, MonadLogger m, MonadThrow m, MonadIO m)
          => GHCupDownloads
          -> m ExitCode
diff --git a/app/ghcup/Main.hs b/app/ghcup/Main.hs
index 6779195..e81675d 100644
--- a/app/ghcup/Main.hs
+++ b/app/ghcup/Main.hs
@@ -53,6 +53,7 @@ data Options = Options
     optVerbose   :: Bool
   , optCache     :: Bool
   , optUrlSource :: Maybe URI
+  , optNoVerify  :: Bool
   -- commands
   , optCommand   :: Command
   }
@@ -123,6 +124,10 @@ opts =
             )
           )
         )
+    <*> switch
+          (short 'n' <> long "no-verify" <> help
+            "Don't verify sha256 checksums of downloaded tarballs (default: False)"
+          )
     <*> com
  where
   parseUri s' =
@@ -320,6 +325,7 @@ toSettings :: Options -> Settings
 toSettings Options {..} =
   let cache     = optCache
       urlSource = maybe GHCupURL OwnSource optUrlSource
+      noVerify  = optNoVerify
   in  Settings { .. }
 
 
diff --git a/lib/GHCup/Download.hs b/lib/GHCup/Download.hs
index 40e192e..dd886e1 100644
--- a/lib/GHCup/Download.hs
+++ b/lib/GHCup/Download.hs
@@ -155,7 +155,7 @@ getDownloadInfo' t v a p mv dls = maybe
 --   2. otherwise create a random file
 --
 -- The file must not exist.
-download :: (MonadThrow m, MonadLogger m, MonadIO m)
+download :: (MonadReader Settings m, MonadThrow m, MonadLogger m, MonadIO m)
          => DownloadInfo
          -> Path Abs          -- ^ destination dir
          -> Maybe (Path Rel)  -- ^ optional filename
@@ -199,12 +199,7 @@ download dli dest mfn | scheme == [s|https|] = dl True
                                                           stepper
 
     -- TODO: verify md5 during download
-    let p' = toFilePath destFile
-    lift $ $(logInfo) [i|veryfing digest of: #{p'}|]
-    c <- liftIO $ readFile destFile
-    let cDigest = E.decodeUtf8 . toHex . digest (digestByName "md5") $ c
-        eDigest = view dlHash dli
-    when (cDigest /= eDigest) $ throwE (DigestError cDigest eDigest)
+    liftE $ checkDigest dli destFile
     pure destFile
 
   -- Manage to find a file we can write the body into.
@@ -234,17 +229,10 @@ downloadCached dli mfn = do
       let cachfile = cachedir </> fn
       fileExists <- liftIO $ doesFileExist cachfile
       if
-        | fileExists
-        -> do
-          let cachfile' = toFilePath cachfile
-          lift $ $(logInfo) [i|veryfing digest of: #{cachfile'}|]
-          c <- liftIO $ readFile cachfile
-          let cDigest = E.decodeUtf8 . toHex . digest (digestByName "md5") $ c
-              eDigest = view dlHash dli
-          when (cDigest /= eDigest) $ throwE (DigestError cDigest eDigest)
+        | fileExists -> do
+          liftE $ checkDigest dli cachfile
           pure $ cachfile
-        | otherwise
-        -> liftE $ download dli cachedir mfn
+        | otherwise -> liftE $ download dli cachedir mfn
     False -> do
       tmp <- lift withGHCupTmpDir
       liftE $ download dli tmp mfn
@@ -323,3 +311,19 @@ downloadInternal https host path port consumer = do
     )
 
   closeConnection c
+
+
+checkDigest :: (MonadIO m, MonadLogger m, MonadReader Settings m)
+            => DownloadInfo
+            -> Path Abs
+            -> Excepts '[DigestError] m ()
+checkDigest dli file = do
+  verify <- lift ask <&> (not . noVerify)
+  when verify $ do
+    let p' = toFilePath file
+    lift $ $(logInfo) [i|veryfing digest of: #{p'}|]
+    c <- liftIO $ readFile file
+    let cDigest = E.decodeUtf8 . toHex . digest (digestByName "sha256") $ c
+        eDigest = view dlHash dli
+    when ((cDigest /= eDigest) && verify) $ throwE (DigestError cDigest eDigest)
+
diff --git a/lib/GHCup/Platform.hs b/lib/GHCup/Platform.hs
index 23be77f..2aed25e 100644
--- a/lib/GHCup/Platform.hs
+++ b/lib/GHCup/Platform.hs
@@ -96,6 +96,7 @@ getLinuxDistro = do
         | hasWord name ["alpine"]  -> Alpine
         | hasWord name ["exherbo"] -> Exherbo
         | hasWord name ["gentoo"]  -> Gentoo
+        | hasWord name ["amazonlinux", "Amazon Linux"] -> AmazonLinux
         | otherwise                -> UnknownLinux
   pure (distro, parsedVer)
  where
diff --git a/lib/GHCup/Types.hs b/lib/GHCup/Types.hs
index 86628e5..1fce98d 100644
--- a/lib/GHCup/Types.hs
+++ b/lib/GHCup/Types.hs
@@ -15,6 +15,7 @@ import qualified GHC.Generics                  as GHC
 data Settings = Settings
   { cache     :: Bool
   , urlSource :: URLSource
+  , noVerify  :: Bool
   }
   deriving Show
 
@@ -77,6 +78,7 @@ data LinuxDistro = Debian
                  | CentOS
                  | RedHat
                  | Alpine
+                 | AmazonLinux
                  -- rolling
                  | Gentoo
                  | Exherbo
diff --git a/lib/GHCup/Utils/Prelude.hs b/lib/GHCup/Utils/Prelude.hs
index cc7e1c7..7d6df0d 100644
--- a/lib/GHCup/Utils/Prelude.hs
+++ b/lib/GHCup/Utils/Prelude.hs
@@ -4,6 +4,7 @@
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE DeriveLift #-}
+{-# LANGUAGE DeriveDataTypeable #-}
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE FlexibleContexts #-}
@@ -20,6 +21,7 @@ import           Control.Monad.IO.Class
 import           Control.Monad.Trans.Class      ( lift )
 import           Data.Bifunctor
 import           Data.ByteString                ( ByteString )
+import           Data.Data
 import           Data.Monoid                    ( (<>) )
 import           Data.String
 import           Data.Text                      ( Text )
@@ -31,6 +33,7 @@ import           Language.Haskell.TH
 import           Language.Haskell.TH.Quote      ( QuasiQuoter(..) )
 import           Language.Haskell.TH.Syntax     ( Exp(..)
                                                 , Lift
+                                                , dataToExpQ
                                                 )
 import           System.IO.Error
 
@@ -186,10 +189,10 @@ hideExcept _ a action =
   catchLiftLeft ((\_ -> pure a) :: (e -> Excepts es' m a)) action
 
 hideExcept' :: forall e es es' m
-            . (Monad m, e :< es, LiftVariant (Remove e es) es')
-           => e
-           -> Excepts es m ()
-           -> Excepts es' m ()
+             . (Monad m, e :< es, LiftVariant (Remove e es) es')
+            => e
+            -> Excepts es m ()
+            -> Excepts es' m ()
 hideExcept' _ action =
   catchLiftLeft ((\_ -> pure ()) :: (e -> Excepts es' m ())) action
 
@@ -202,14 +205,21 @@ throwEither a = case a of
 
 
 
+deriving instance Data Versioning
 deriving instance Lift Versioning
+deriving instance Data Version
 deriving instance Lift Version
+deriving instance Data SemVer
 deriving instance Lift SemVer
+deriving instance Data Mess
 deriving instance Lift Mess
+deriving instance Data PVP
 deriving instance Lift PVP
 deriving instance Lift (NonEmpty Word)
 deriving instance Lift VSep
+deriving instance Data VSep
 deriving instance Lift VUnit
+deriving instance Data VUnit
 instance Lift Text
 
 qq :: (Text -> Q Exp) -> QuasiQuoter
@@ -227,31 +237,38 @@ vver :: QuasiQuoter
 vver = qq mkV
  where
   mkV :: Text -> Q Exp
-  mkV = either (fail . show) TH.lift . version
+  mkV = either (fail . show) liftDataWithText . version
 
 mver :: QuasiQuoter
 mver = qq mkV
  where
   mkV :: Text -> Q Exp
-  mkV = either (fail . show) TH.lift . mess
+  mkV = either (fail . show) liftDataWithText . mess
 
 sver :: QuasiQuoter
 sver = qq mkV
  where
   mkV :: Text -> Q Exp
-  mkV = either (fail . show) TH.lift . semver
+  mkV = either (fail . show) liftDataWithText . semver
 
 vers :: QuasiQuoter
 vers = qq mkV
  where
   mkV :: Text -> Q Exp
-  mkV = either (fail . show) TH.lift . versioning
+  mkV = either (fail . show) liftDataWithText . versioning
 
 pver :: QuasiQuoter
 pver = qq mkV
  where
   mkV :: Text -> Q Exp
-  mkV = either (fail . show) TH.lift . pvp
+  mkV = either (fail . show) liftDataWithText . pvp
+
+-- https://stackoverflow.com/questions/38143464/cant-find-inerface-file-declaration-for-variable
+liftText :: T.Text -> Q Exp
+liftText txt = AppE (VarE 'T.pack) <$> TH.lift (T.unpack txt)
+
+liftDataWithText :: Data a => a -> Q Exp
+liftDataWithText = dataToExpQ (\a -> liftText <$> cast a)
 
 
 verToBS :: Version -> ByteString