public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Agda: update to version 2.4.0.2

Browse Source
This commit is contained in:
Peter Simons 2014-07-31 12:10:27 +02:00
parent 73f1976155
commit 689b322e10
2 changed files with 7 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/compilers/agda/2.4.0.1.nix → pkgs/development/compilers/agda/2.4.0.2.nix
View File

@ -1,3 +1,5 @@
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
{ cabal, alex, binary, boxes, dataHash, deepseq, emacs, equivalence { cabal, alex, binary, boxes, dataHash, deepseq, emacs, equivalence
, filepath, geniplate, happy, hashable, hashtables, haskeline , filepath, geniplate, happy, hashable, hashtables, haskeline
, haskellSrcExts, mtl, parallel, QuickCheck, STMonadTrans, strict , haskellSrcExts, mtl, parallel, QuickCheck, STMonadTrans, strict
@ -6,8 +8,8 @@
cabal.mkDerivation (self: { cabal.mkDerivation (self: {
pname = "Agda"; pname = "Agda";
version = "2.4.0.1"; version = "2.4.0.2";
sha256 = "11my5k606zvra3w3m1wllc4dy5mfv4lr32fqd579vqcks6wpirjq"; sha256 = "13c4ipscnlnbv94k93yajrp32mwzikqa8rhc95h8pmqzhjgwyh8b";
isLibrary = true; isLibrary = true;
isExecutable = true; isExecutable = true;
buildDepends = [ buildDepends = [

10
pkgs/top-level/haskell-packages.nix
View File

@ -2758,18 +2758,14 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
# Compilers. # Compilers.
Agda_2_3_2_2 = callPackage ../development/compilers/agda/2.3.2.2.nix {}; 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_2 = callPackage ../development/compilers/agda/2.4.0.2.nix {};
binary = self.binary_0_7_2_1; Agda = self.Agda_2_4_0_2;
QuickCheck = self.QuickCheck_2_7_5;
equivalence = self.equivalence_0_2_3;
};
Agda = self.Agda_2_4_0_1;
AgdaStdlib_0_7 = callPackage ../development/compilers/agda/stdlib-0.7.nix { AgdaStdlib_0_7 = callPackage ../development/compilers/agda/stdlib-0.7.nix {
Agda = self.Agda_2_3_2_2; Agda = self.Agda_2_3_2_2;
}; };
AgdaStdlib_0_8 = callPackage ../development/compilers/agda/stdlib-0.8.nix { AgdaStdlib_0_8 = callPackage ../development/compilers/agda/stdlib-0.8.nix {
Agda = self.Agda_2_4_0_1; Agda = self.Agda_2_4_0_2;
}; };
AgdaStdlib = self.AgdaStdlib_0_8; AgdaStdlib = self.AgdaStdlib_0_8;