about summary refs log tree commit diff
path: root/pkgs/development/compilers/Agda-executable/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development/compilers/Agda-executable/default.nix')
-rw-r--r--pkgs/development/compilers/Agda-executable/default.nix4
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/Agda-executable/default.nix b/pkgs/development/compilers/Agda-executable/default.nix
index 1b772b8dc7174..427736615e0f6 100644
--- a/pkgs/development/compilers/Agda-executable/default.nix
+++ b/pkgs/development/compilers/Agda-executable/default.nix
@@ -1,4 +1,4 @@
-{ cabal, Agda }:
+{ cabal, Agda, Cabal }:
 
 cabal.mkDerivation (self: {
   pname = "Agda-executable";
@@ -6,7 +6,7 @@ cabal.mkDerivation (self: {
   sha256 = "1n1ak6z2vh356k9mk0zkiv6dqp9dvx97a7r21b0xnhwkmh3f8p5p";
   isLibrary = false;
   isExecutable = true;
-  buildDepends = [ Agda ];
+  buildDepends = [ Agda Cabal ];
   meta = {
     homepage = "http://wiki.portal.chalmers.se/agda/";
     description = "Command-line program for type-checking and compiling Agda programs";