From 7ad36d19401603bcb391c915504571e3a6bf9794 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andres=20L=C3=B6h?= <mail@andres-loeh.de>
Date: Wed, 17 Nov 2010 16:00:33 +0000
Subject: [PATCH] Agda version bump to 2.2.8
svn path=/nixpkgs/trunk/; revision=24743
---
pkgs/development/libraries/haskell/Agda/default.nix | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/pkgs/development/libraries/haskell/Agda/default.nix b/pkgs/development/libraries/haskell/Agda/default.nix
index db49277d7fc..c0493ecec99 100644
--- a/pkgs/development/libraries/haskell/Agda/default.nix
+++ b/pkgs/development/libraries/haskell/Agda/default.nix
@@ -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];