debian 7.4, ghc 7.8.2 and cabal 1.18.0.3