{ fetchgitLocal }: { mkDerivation, aeson, array, base, bifunctors, bytestring, Cabal , cereal, cmdargs, containers, cpphs, daemons, data-default , deepseq, Diff, directory, filepath, fingertree, ghc, ghc-paths , hashable, hpc, hscolour, liquid-fixpoint, located-base, mtl , network, optparse-applicative, parsec, pretty, process , stdenv, stm, syb, tagged, tasty, tasty-hunit, tasty-rerun , template-haskell, text, time, transformers, unix , unordered-containers, vector, z3 , tasty-ant-xml }: mkDerivation { pname = "liquidhaskell"; version = "9.9.9.9"; src = fetchgitLocal ./.; isLibrary = true; isExecutable = true; libraryHaskellDepends = [ aeson array base bifunctors bytestring Cabal cereal cmdargs containers cpphs data-default deepseq Diff directory filepath fingertree ghc ghc-paths hashable hpc hscolour liquid-fixpoint located-base mtl parsec pretty process syb template-haskell text time unordered-containers vector hscolour ]; executableHaskellDepends = [ base bytestring cereal cmdargs daemons data-default deepseq directory ghc liquid-fixpoint located-base network pretty process unix unordered-containers ]; testHaskellDepends = [ base containers directory filepath mtl optparse-applicative process stm tagged tasty tasty-hunit tasty-rerun transformers tasty-ant-xml ]; testSystemDepends = [ z3 ]; homepage = "http://goto.ucsd.edu/liquidhaskell"; description = "Liquid Types for Haskell"; license = stdenv.lib.licenses.bsd3; }