Author: andres
Date: Wed Nov 17 16:00:33 2010
New Revision: 24743
URL: https://svn.nixos.org/websvn/nix/?rev=24743&sc=1
Log:
Agda version bump to 2.2.8
Modified:
nixpkgs/trunk/pkgs/development/libraries/haskell/Agda/default.nix
Modified: nixpkgs/trunk/pkgs/development/libraries/haskell/Agda/default.nix
==============================================================================
--- nixpkgs/trunk/pkgs/development/libraries/haskell/Agda/default.nix Wed Nov
17 15:45:09 2010 (r24742)
+++ nixpkgs/trunk/pkgs/development/libraries/haskell/Agda/default.nix Wed Nov
17 16:00:33 2010 (r24743)
@@ -3,8 +3,8 @@
cabal.mkDerivation (self : {
pname = "Agda";
- version = "2.2.6";
- sha256 = "e9268a61db30fc0f22f7e1fbc78673cd3e0d1bf2dd40ee5cf809635ca40fca78";
+ version = "2.2.8";
+ sha256 = "06j2s7x3h5lanygd6mhhxkzjf4c0m8pw6c0s7gbmwlxqrkz9firg";
extraBuildInputs = [happy alex];
propagatedBuildInputs =
[QuickCheck binary haskeline haskellSrc mtl utf8String xhtml zlib];
_______________________________________________
nix-commits mailing list
[email protected]
http://mail.cs.uu.nl/mailman/listinfo/nix-commits
