diff options
author | Peter Simons <simons@cryp.to> | 2011-08-07 22:02:17 +0000 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2011-08-07 22:02:17 +0000 |
commit | f054672b201662f395c63aa7382417ce50430207 (patch) | |
tree | 5e1cadb6d19b03bd3ab123f34d45e51cab5cee7a /pkgs | |
parent | 457335b4555ef1683dd533d614ec44812138a26e (diff) | |
download | nixlib-f054672b201662f395c63aa7382417ce50430207.tar nixlib-f054672b201662f395c63aa7382417ce50430207.tar.gz nixlib-f054672b201662f395c63aa7382417ce50430207.tar.bz2 nixlib-f054672b201662f395c63aa7382417ce50430207.tar.lz nixlib-f054672b201662f395c63aa7382417ce50430207.tar.xz nixlib-f054672b201662f395c63aa7382417ce50430207.tar.zst nixlib-f054672b201662f395c63aa7382417ce50430207.zip |
ivor: updated to version 0.1.14.1
svn path=/nixpkgs/trunk/; revision=28335
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/libraries/haskell/ivor/default.nix | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/pkgs/development/libraries/haskell/ivor/default.nix b/pkgs/development/libraries/haskell/ivor/default.nix index fd690e8b91b2..656c144896ee 100644 --- a/pkgs/development/libraries/haskell/ivor/default.nix +++ b/pkgs/development/libraries/haskell/ivor/default.nix @@ -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 + ]; }; }) - |