Author: simons
Date: Fri Nov 25 13:44:35 2011
New Revision: 30560
URL: https://nixos.org/websvn/nix/?rev=30560&sc=1
Log:
haskell-Agda-executable: updated to version 2.3.0
Modified:
nixpkgs/trunk/pkgs/development/compilers/Agda-executable/default.nix
Modified: nixpkgs/trunk/pkgs/development/compilers/Agda-executable/default.nix
==============================================================================
--- nixpkgs/trunk/pkgs/development/compilers/Agda-executable/default.nix
Fri Nov 25 13:44:30 2011 (r30559)
+++ nixpkgs/trunk/pkgs/development/compilers/Agda-executable/default.nix
Fri Nov 25 13:44:35 2011 (r30560)
@@ -2,8 +2,8 @@
cabal.mkDerivation (self: {
pname = "Agda-executable";
- version = "2.2.10";
- sha256 = "0jjlbz5vaz1pasfws1cy8wvllzdzv3sxm2lfj6bckl93kdrxlpy6";
+ version = "2.3.0";
+ sha256 = "1n1ak6z2vh356k9mk0zkiv6dqp9dvx97a7r21b0xnhwkmh3f8p5p";
isLibrary = false;
isExecutable = true;
buildDepends = [ Agda ];
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
