Author: simons
Date: Sun Aug 7 22:02:17 2011
New Revision: 28335
URL: https://svn.nixos.org/websvn/nix/?rev=28335&sc=1
Log:
ivor: updated to version 0.1.14.1
Modified:
nixpkgs/trunk/pkgs/development/libraries/haskell/ivor/default.nix
Modified: nixpkgs/trunk/pkgs/development/libraries/haskell/ivor/default.nix
==============================================================================
--- nixpkgs/trunk/pkgs/development/libraries/haskell/ivor/default.nix Sun Aug
7 22:02:13 2011 (r28334)
+++ nixpkgs/trunk/pkgs/development/libraries/haskell/ivor/default.nix Sun Aug
7 22:02:17 2011 (r28335)
@@ -1,14 +1,18 @@
-{cabal, mtl, parsec, binary}:
+{cabal, binary, mtl, parsec} :
cabal.mkDerivation (self : {
pname = "ivor";
- version = "0.1.12";
- sha256 = "77f17df646afbe5199d4ab0291515013ad1bda471b2690512f752b752a2905f5";
- propagatedBuildInputs = [mtl parsec binary];
+ version = "0.1.14.1";
+ sha256 = "0r9ykfkxpwsrhsvv691r361pf79a7y511hxy2mvd6ysz1441mych";
+ propagatedBuildInputs = [ binary mtl parsec ];
meta = {
+ homepage = "http://www.dcs.st-and.ac.uk/~eb/Ivor/";;
description = "Theorem proving library based on dependent type theory";
- license = "BSD";
- maintainers = [self.stdenv.lib.maintainers.andres];
+ license = self.stdenv.lib.licenses.bsd3;
+ platforms = self.stdenv.lib.platforms.haskellPlatforms;
+ maintainers = [
+ self.stdenv.lib.maintainers.simons
+ self.stdenv.lib.maintainers.andres
+ ];
};
})
-
_______________________________________________
nix-commits mailing list
[email protected]
http://mail.cs.uu.nl/mailman/listinfo/nix-commits
