"Agda" = callPackage
    ({ mkDerivation, alex, array, async, base, binary, blaze-html
     , boxes, bytestring, Cabal, containers, cpphs, data-hash, deepseq
     , directory, EdisonCore, edit-distance, emacs, equivalence
     , filemanip, filepath, geniplate-mirror, gitrev, happy, hashable
     , hashtables, haskeline, ieee754, mtl, murmur-hash, pretty, process
     , regex-tdfa, stm, strict, template-haskell, text, time
     , transformers, unordered-containers, uri-encode, zlib
     }:
     mkDerivation {
       pname = "Agda";
       version = "2.5.4.1";
       sha256 = "0bxpibsk98n9xp42d92ma5vj2fam8rsnl61fbhr3askfjdvalnbp";
       isLibrary = true;
       isExecutable = true;
       enableSeparateDataOutput = true;
       setupHaskellDepends = [ base Cabal filemanip filepath process ];
       libraryHaskellDepends = [
         array async base binary blaze-html boxes bytestring containers
         data-hash deepseq directory EdisonCore edit-distance equivalence
         filepath geniplate-mirror gitrev hashable hashtables haskeline
         ieee754 mtl murmur-hash pretty process regex-tdfa stm strict
         template-haskell text time transformers unordered-containers
         uri-encode zlib
       ];
       libraryToolDepends = [ alex cpphs happy ];
       executableHaskellDepends = [ base directory filepath process ];
       executableToolDepends = [ emacs ];
       postInstall = ''
         files=("$data/share/ghc-"*"/"*"-ghc-"*"/Agda-"*"/lib/prim/Agda/"{Primitive.agda,Builtin"/"*.agda})
         for f in "''${files[@]}" ; do
           $out/bin/agda $f
         done
         for f in "''${files[@]}" ; do
           $out/bin/agda -c --no-main $f
         done
         $out/bin/agda-mode compile
       '';
       description = "A dependently typed functional programming language and proof assistant";
       license = "unknown";
       maintainers = with stdenv.lib.maintainers; [ abbradar ];
     }) {inherit (pkgs) emacs;};