public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

haskell-Agda: updated to version 2.3.0

Browse Source 
svn path=/nixpkgs/trunk/; revision=30561
This commit is contained in:
Peter Simons 2011-11-25 13:44:40 +00:00
parent 167ec73929
commit 6555a444d7
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/development/libraries/haskell/Agda/default.nix
View File

@ -1,15 +1,16 @@
{ cabal, alex, binary, happy, haskeline, haskellSrcExts, mtl { cabal, alex, binary, happy, hashable, hashtables, haskeline
, QuickCheck, syb, xhtml, zlib , haskellSrcExts, mtl, QuickCheck, syb, xhtml, zlib
}: }:
cabal.mkDerivation (self: { cabal.mkDerivation (self: {
pname = "Agda"; pname = "Agda";
version = "2.2.10"; version = "2.3.0";
sha256 = "1bh96g5c6b6jzaf3m9gm0vr64avgi86kb45p8i1vg1jbfjdbdlsw"; sha256 = "1p0cwf3d146z73gp49cm8fmk33hcbjsvyijbakm1871ssc5i73k0";
isLibrary = true; isLibrary = true;
isExecutable = true; isExecutable = true;
buildDepends = [ buildDepends = [
binary haskeline haskellSrcExts mtl QuickCheck syb xhtml zlib binary hashable hashtables haskeline haskellSrcExts mtl QuickCheck
syb xhtml zlib
]; ];
buildTools = [ alex happy ]; buildTools = [ alex happy ];
meta = { meta = {