Author: simons
Date: Fri Nov 25 13:44:40 2011
New Revision: 30561
URL: https://nixos.org/websvn/nix/?rev=30561&sc=1
Log:
haskell-Agda: updated to version 2.3.0
Modified:
nixpkgs/trunk/pkgs/development/libraries/haskell/Agda/default.nix
Modified: nixpkgs/trunk/pkgs/development/libraries/haskell/Agda/default.nix
==============================================================================
--- nixpkgs/trunk/pkgs/development/libraries/haskell/Agda/default.nix Fri Nov
25 13:44:35 2011 (r30560)
+++ nixpkgs/trunk/pkgs/development/libraries/haskell/Agda/default.nix Fri Nov
25 13:44:40 2011 (r30561)
@@ -1,15 +1,16 @@
-{ cabal, alex, binary, happy, haskeline, haskellSrcExts, mtl
-, QuickCheck, syb, xhtml, zlib
+{ cabal, alex, binary, happy, hashable, hashtables, haskeline
+, haskellSrcExts, mtl, QuickCheck, syb, xhtml, zlib
}:
cabal.mkDerivation (self: {
pname = "Agda";
- version = "2.2.10";
- sha256 = "1bh96g5c6b6jzaf3m9gm0vr64avgi86kb45p8i1vg1jbfjdbdlsw";
+ version = "2.3.0";
+ sha256 = "1p0cwf3d146z73gp49cm8fmk33hcbjsvyijbakm1871ssc5i73k0";
isLibrary = true;
isExecutable = true;
buildDepends = [
- binary haskeline haskellSrcExts mtl QuickCheck syb xhtml zlib
+ binary hashable hashtables haskeline haskellSrcExts mtl QuickCheck
+ syb xhtml zlib
];
buildTools = [ alex happy ];
meta = {
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
