summary refs log tree commit diff
path: root/pkgs/development/libraries/haskell/Agda/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development/libraries/haskell/Agda/default.nix')
-rw-r--r--pkgs/development/libraries/haskell/Agda/default.nix6
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/libraries/haskell/Agda/default.nix b/pkgs/development/libraries/haskell/Agda/default.nix
index 104a0513987..c40ccaa04f3 100644
--- a/pkgs/development/libraries/haskell/Agda/default.nix
+++ b/pkgs/development/libraries/haskell/Agda/default.nix
@@ -1,4 +1,4 @@
-{ cabal, alex, binary, Cabal, filepath, happy, hashable, hashtables
+{ cabal, alex, binary, filepath, happy, hashable, hashtables
 , haskeline, haskellSrcExts, mtl, QuickCheck, syb, xhtml, zlib
 }:
 
@@ -9,8 +9,8 @@ cabal.mkDerivation (self: {
   isLibrary = true;
   isExecutable = true;
   buildDepends = [
-    binary Cabal filepath hashable hashtables haskeline haskellSrcExts
-    mtl QuickCheck syb xhtml zlib
+    binary filepath hashable hashtables haskeline haskellSrcExts mtl
+    QuickCheck syb xhtml zlib
   ];
   buildTools = [ alex happy ];
   meta = {