Updated multirec and zipper.

svn path=/nixpkgs/trunk/; revision=28205
This commit is contained in:
Andres Löh 2011-08-06 20:19:37 +00:00
parent 5b197147cb
commit bfb4f329d4
2 changed files with 13 additions and 11 deletions

View File

@ -1,12 +1,13 @@
{cabal}: {cabal} :
cabal.mkDerivation (self : { cabal.mkDerivation (self : {
pname = "multirec"; pname = "multirec";
version = "0.5"; version = "0.5.1";
sha256 = "1nrfbiy5g51cpaqqi1adrr32x74wjjvplyyrphvzf4rxhnhj3xpw"; sha256 = "0y62gb2ml0799a3f1ny5ydjc4rjwj1dgs48f5fj6hf2fpl4hk02l";
noHaddock = true; # don't know why Haddock causes an error noHaddock = true; # don't know why Haddock causes an error
meta = { meta = {
description = "Generic programming with systems of recursive datatypes"; homepage = "http://www.cs.uu.nl/wiki/GenericProgramming/Multirec";
description = "Generic programming for families of recursive datatypes";
license = self.stdenv.lib.licenses.bsd3;
}; };
}) })

View File

@ -1,12 +1,13 @@
{cabal, multirec}: {cabal, multirec} :
cabal.mkDerivation (self : { cabal.mkDerivation (self : {
pname = "zipper"; pname = "zipper";
version = "0.3"; version = "0.3.1";
sha256 = "3f6cc0ea69734d0523f1bf74d14953f88a196e728f89a7cc91f394d9e0c13c15"; sha256 = "170qjc3mbk6i96z5js745ix57i0xkgpa5h9xjiiirq9x6bfbbqyp";
propagatedBuildInputs = [multirec]; propagatedBuildInputs = [ multirec ];
meta = { meta = {
description = "Generic zipper for systems of recursive datatypes"; homepage = "http://www.cs.uu.nl/wiki/GenericProgramming/Multirec";
description = "Generic zipper for families of recursive datatypes";
license = self.stdenv.lib.licenses.bsd3;
}; };
}) })