BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

agda: change defaults to latest version

Browse source
This commit is contained in:
Mathijs Kwik 2014-06-17 08:19:46 +02:00
parent 3fd519822f
commit 2d92adcc1a
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/top-level/haskell-packages.nix
View file

@ -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 {};