nixpkgs/pkgs/development/libraries/haskell/ivor/default.nix

{ cabal, binary, mtl, parsec }:

cabal.mkDerivation (self: {
  pname = "ivor";
  version = "0.1.14.1";
  sha256 = "0r9ykfkxpwsrhsvv691r361pf79a7y511hxy2mvd6ysz1441mych";
  buildDepends = [ binary mtl parsec ];
  meta = {
    homepage = "http://www.dcs.st-and.ac.uk/~eb/Ivor/";
    description = "Theorem proving library based on dependent type theory";
    license = self.stdenv.lib.licenses.bsd3;
    platforms = self.ghc.meta.platforms;
    maintainers = [ self.stdenv.lib.maintainers.andres ];
  };
})
Re-generated Haskell package descriptions with the latest version of cabal2nix. svn path=/nixpkgs/trunk/; revision=32327 2012-02-16 14:05:41 +00:00			`{ cabal, binary, mtl, parsec }:`
Added Idris and updated fetchdarcs. svn path=/nixpkgs/trunk/; revision=15595 2009-05-13 19:02:23 +00:00
Updated (almost) all Haskell package expressions with cabal2nix. The new files ... * conform to the coding guidelines, * consistently specify meta.maintainers and meta.platforms, * have proper descriptions and licenses as specified in their Cabal file, and * take advantage of the new cabal.nix extensions, i.e. proper distinction between buildInputs and propagatedBuildInputs. Furthermore, the following updates were performed: * haskell-Ranged-sets: updated to version 0.3.0 * haskell-Shellac-haskeline: updated to version 0.2.0.1 * haskell-cpphs: updated to version 1.12 * haskell-hslogger: updated to version 1.1.5 * haskell-xml: updated to version 1.3.9 * haskell-HDBC-postgresql: updated to version 2.3.2.0 * haskell-HDBC-sqlite3: updated to version 2.3.3.0 * haskell-HDBC: updated to version 2.3.1.0 * haskell-base-unicode-symbols: updated to version 0.2.2.1 * haskell-convertible: updated to version 1.0.11.0 * haskell-monad-control: updated to version 0.2.0.2 * haskell-murmur-hash: updated to version 0.1.0.4 * haskell-repa: updated to version 2.1.1.3 * haskell-statistics: updated to version 0.9.0.0 * haskell-ansi-terminal: updated to version 0.5.5 haskell-maybench was dropped, because it cannot be built with recent versions of Cabal: Configuring maybench-0.2.4.1... Setup: At least the following dependencies are missing: Cabal >=1.2 && <1.5 svn path=/nixpkgs/trunk/; revision=28446 2011-08-09 23:00:20 +00:00			`cabal.mkDerivation (self: {`
Added Idris and updated fetchdarcs. svn path=/nixpkgs/trunk/; revision=15595 2009-05-13 19:02:23 +00:00			`pname = "ivor";`
ivor: updated to version 0.1.14.1 svn path=/nixpkgs/trunk/; revision=28335 2011-08-07 22:02:17 +00:00			`version = "0.1.14.1";`
			`sha256 = "0r9ykfkxpwsrhsvv691r361pf79a7y511hxy2mvd6ysz1441mych";`
Re-generated Haskell package descriptions with the latest version of cabal2nix. svn path=/nixpkgs/trunk/; revision=32327 2012-02-16 14:05:41 +00:00			`buildDepends = [ binary mtl parsec ];`
Added Idris and updated fetchdarcs. svn path=/nixpkgs/trunk/; revision=15595 2009-05-13 19:02:23 +00:00			`meta = {`
ivor: updated to version 0.1.14.1 svn path=/nixpkgs/trunk/; revision=28335 2011-08-07 22:02:17 +00:00			`homepage = "http://www.dcs.st-and.ac.uk/~eb/Ivor/";`
Added Idris and updated fetchdarcs. svn path=/nixpkgs/trunk/; revision=15595 2009-05-13 19:02:23 +00:00			`description = "Theorem proving library based on dependent type theory";`
ivor: updated to version 0.1.14.1 svn path=/nixpkgs/trunk/; revision=28335 2011-08-07 22:02:17 +00:00			`license = self.stdenv.lib.licenses.bsd3;`
Replaced the obsolete 'haskellPlatforms' attribute with the platforms exported by GHC. svn path=/nixpkgs/trunk/; revision=28418 2011-08-09 09:54:50 +00:00			`platforms = self.ghc.meta.platforms;`
Removed myself as a maintainer from Haskell packages that I don't personally use. By now, it happened twice that a commit broke GHC and thus all Haskell packages we have in Nixpkgs. On such an occasion, I receive well in excess of 3000 notification e-mails from Hydra, and then I receive another 3000 e-mails after the bug has been fixed. Under these circumstances, subscribing to these notifications makes no sense for me. svn path=/nixpkgs/trunk/; revision=33392 2012-03-24 10:21:28 +00:00			`maintainers = [ self.stdenv.lib.maintainers.andres ];`
Added Idris and updated fetchdarcs. svn path=/nixpkgs/trunk/; revision=15595 2009-05-13 19:02:23 +00:00			`};`
Updated the Idris compiler. svn path=/nixpkgs/trunk/; revision=23991 2010-09-29 19:24:29 +00:00			`})`