From 46d6fc0c326cafe6c810cc5598f7d0c8c03bf4d7 Mon Sep 17 00:00:00 2001 From: Mathijs Kwik Date: Thu, 19 Jun 2014 12:13:04 +0200 Subject: [PATCH] agda: fix dependency on more recent 'binary' --- pkgs/top-level/haskell-packages.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix index 84139adece7d..30816764acd6 100644 --- a/pkgs/top-level/haskell-packages.nix +++ b/pkgs/top-level/haskell-packages.nix @@ -2604,7 +2604,9 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in # Compilers. Agda_2_3_2_2 = callPackage ../development/compilers/agda/2.3.2.2.nix {}; - Agda_2_4_0_1 = callPackage ../development/compilers/agda/2.4.0.1.nix {}; + Agda_2_4_0_1 = callPackage ../development/compilers/agda/2.4.0.1.nix { + binary = self.binary_0_7_2_1; + }; Agda = self.Agda_2_4_0_1; AgdaStdlib_0_7 = callPackage ../development/compilers/agda/stdlib-0.7.nix {