mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-28 08:31:59 +00:00
Code Issues Wiki Activity

Agda version bump to 2.2.8

Browse source 
svn path=/nixpkgs/trunk/; revision=24743
This commit is contained in:
Andres Löh 2010-11-17 16:00:33 +00:00
parent fa79bbbc9a
commit 7ad36d1940
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/development/libraries/haskell/Agda/default.nix
View file

@ -3,8 +3,8 @@
cabal.mkDerivation (self : { cabal.mkDerivation (self : {
pname = "Agda"; pname = "Agda";
version = "2.2.6"; version = "2.2.8";
sha256 = "e9268a61db30fc0f22f7e1fbc78673cd3e0d1bf2dd40ee5cf809635ca40fca78"; sha256 = "06j2s7x3h5lanygd6mhhxkzjf4c0m8pw6c0s7gbmwlxqrkz9firg";
extraBuildInputs = [happy alex]; extraBuildInputs = [happy alex];
propagatedBuildInputs = propagatedBuildInputs =
[QuickCheck binary haskeline haskellSrc mtl utf8String xhtml zlib]; [QuickCheck binary haskeline haskellSrc mtl utf8String xhtml zlib];