2
0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-23 22:23:15 +00:00
nixpkgs/pkgs/development/libraries/haskell/Agda/default.nix
Peter Simons 3b2254a3af Remove myself from the meta.maintainer field of most Haskell packages.
There is no point in receiving hundreds of e-mails; I cannot read them anyway.
2013-05-11 00:36:59 +02:00

27 lines
875 B
Nix

{ cabal, alex, binary, deepseq, filepath, geniplate, happy
, hashable, hashtables, haskeline, haskellSrcExts, mtl, parallel
, QuickCheck, text, unorderedContainers, xhtml, zlib
}:
cabal.mkDerivation (self: {
pname = "Agda";
version = "2.3.2";
sha256 = "1xp0qvag6wx6zjwhmb7nm13hp63vlh8h4a2rkc85rsh610m0nynl";
isLibrary = true;
isExecutable = true;
buildDepends = [
binary deepseq filepath geniplate hashable hashtables haskeline
haskellSrcExts mtl parallel QuickCheck text unorderedContainers
xhtml zlib
];
buildTools = [ alex happy ];
jailbreak = true;
meta = {
homepage = "http://wiki.portal.chalmers.se/agda/";
description = "A dependently typed functional programming language and proof assistant";
license = "unknown";
platforms = self.ghc.meta.platforms;
maintainers = [ self.stdenv.lib.maintainers.andres ];
};
})