From 1ed5202c2c75f5768a0387d3212831d74c366a1b Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Mon, 3 Jun 2013 22:09:09 +0200
Subject: [PATCH] Agda: cosmetic change
---
pkgs/development/libraries/haskell/Agda/default.nix | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/pkgs/development/libraries/haskell/Agda/default.nix b/pkgs/development/libraries/haskell/Agda/default.nix
index ea32e635898..f6589dc53be 100644
--- a/pkgs/development/libraries/haskell/Agda/default.nix
+++ b/pkgs/development/libraries/haskell/Agda/default.nix
@@ -1,6 +1,6 @@
{ cabal, alex, binary, deepseq, filepath, geniplate, happy
, hashable, hashtables, haskeline, haskellSrcExts, mtl, parallel
-, QuickCheck, text, unorderedContainers, xhtml, zlib
+, QuickCheck, text, time, unorderedContainers, xhtml, zlib
}:
cabal.mkDerivation (self: {
@@ -11,8 +11,8 @@ cabal.mkDerivation (self: {
isExecutable = true;
buildDepends = [
binary deepseq filepath geniplate hashable hashtables haskeline
- haskellSrcExts mtl parallel QuickCheck text unorderedContainers
- xhtml zlib
+ haskellSrcExts mtl parallel QuickCheck text time
+ unorderedContainers xhtml zlib
];
buildTools = [ alex happy ];
jailbreak = true;