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

Agda: cosmetic change

Browse Source
This commit is contained in:
Peter Simons 2013-06-03 22:09:09 +02:00
parent 7b21e19a82
commit 1ed5202c2c
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,6 +1,6 @@
{ cabal, alex, binary, deepseq, filepath, geniplate, happy { cabal, alex, binary, deepseq, filepath, geniplate, happy
, hashable, hashtables, haskeline, haskellSrcExts, mtl, parallel , hashable, hashtables, haskeline, haskellSrcExts, mtl, parallel
, QuickCheck, text, unorderedContainers, xhtml, zlib , QuickCheck, text, time, unorderedContainers, xhtml, zlib
}: }:
cabal.mkDerivation (self: { cabal.mkDerivation (self: {
@ -11,8 +11,8 @@ cabal.mkDerivation (self: {
isExecutable = true; isExecutable = true;
buildDepends = [ buildDepends = [
binary deepseq filepath geniplate hashable hashtables haskeline binary deepseq filepath geniplate hashable hashtables haskeline
haskellSrcExts mtl parallel QuickCheck text unorderedContainers haskellSrcExts mtl parallel QuickCheck text time
xhtml zlib unorderedContainers xhtml zlib
]; ];
buildTools = [ alex happy ]; buildTools = [ alex happy ];
jailbreak = true; jailbreak = true;