Wow it's great to talk to you. Thanks for your great tool! Your guess is right, I do my builds in Debian 8 with ghc and cabal from the repository. I do cabal u

Wow it's great to talk to you. Thanks for your great tool! Your guess is right, I do my builds in Debian 8 with ghc and cabal from the repository. I do cabal update before compilation but I don't think this upgrades the ghc so the details should be like: arch: i686 ghc: 7.6.3 I also use these arguments for cabal install but no idea if they affect anything: --disable-documentation --enable-split-objs --ghc-options='-static -optc-static -optl-static -optl-pthread'