From 2d92adcc1a882fea5f92fdbdce2a25eee4c2732a Mon Sep 17 00:00:00 2001 From: Mathijs Kwik Date: Tue, 17 Jun 2014 08:19:46 +0200 Subject: [PATCH] agda: change defaults to latest version --- pkgs/top-level/haskell-packages.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix index e07d3396f825..76ba858e7687 100644 --- a/pkgs/top-level/haskell-packages.nix +++ b/pkgs/top-level/haskell-packages.nix @@ -2602,7 +2602,7 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in 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 = self.Agda_2_3_2_2; + Agda = self.Agda_2_4_0_1; AgdaStdlib_0_7 = callPackage ../development/compilers/agda/stdlib-0.7.nix { Agda = self.Agda_2_3_2_2; @@ -2610,7 +2610,7 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in AgdaStdlib_0_8 = callPackage ../development/compilers/agda/stdlib-0.8.nix { Agda = self.Agda_2_4_0_1; }; - AgdaStdlib = self.AgdaStdlib_0_7; + AgdaStdlib = self.AgdaStdlib_0_8; uhc = callPackage ../development/compilers/uhc {};