Regenerated all Haskell packages with the latest version of cabal2nix.

svn path=/nixpkgs/trunk/; revision=32292

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";

pkgs/development/compilers/epic/default.nix

@@ -1,4 +1,4 @@
-{ cabal, boehmgc, gmp, happy, mtl }:
+{ cabal, boehmgc, Cabal, gmp, happy, mtl }:
 
 cabal.mkDerivation (self: {
   pname = "epic";
@@ -6,7 +6,7 @@ cabal.mkDerivation (self: {
   sha256 = "1irvfk8xf627bfzsgbqa56816jkc99rrxpml9ycg2grq7razp9fw";
   isLibrary = true;
   isExecutable = true;
-  buildDepends = [ mtl ];
+  buildDepends = [ Cabal mtl ];
   buildTools = [ happy ];
   extraLibraries = [ boehmgc gmp ];
   meta = {

pkgs/development/compilers/idris/default.nix

@@ -1,4 +1,5 @@
-{ cabal, binary, epic, happy, haskeline, mtl, parsec, transformers
+{ cabal, binary, Cabal, epic, filepath, happy, haskeline, mtl
+, parsec, transformers
 }:
 
 cabal.mkDerivation (self: {
@@ -7,7 +8,9 @@ cabal.mkDerivation (self: {
   sha256 = "1yvw15750mqrvq1kd7bsk3ldq3s0z947c4f93pv7008gq5im4cvr";
   isLibrary = false;
   isExecutable = true;
-  buildDepends = [ binary epic haskeline mtl parsec transformers ];
+  buildDepends = [
+    binary Cabal epic filepath haskeline mtl parsec transformers
+  ];
   buildTools = [ happy ];
   noHaddock = true;
   meta = {