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

# This file was auto-generated by cabal2nix. Please do NOT edit manually!

{ 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;
    hydraPlatforms = self.stdenv.lib.platforms.none;
    broken = true;
  };
})
Add "please don't edit" comment at the top of every auto-generated Haskell file. 2014-07-14 04:21:41 -07:00			`# This file was auto-generated by cabal2nix. Please do NOT edit manually!`

Re-generated Haskell package descriptions with the latest version of cabal2nix. svn path=/nixpkgs/trunk/; revision=32327 2012-02-16 06:05:41 -08:00			`{ cabal, binary, mtl, parsec }:`
Added Idris and updated fetchdarcs. svn path=/nixpkgs/trunk/; revision=15595 2009-05-13 12:02:23 -07: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 16:00:20 -07:00			`cabal.mkDerivation (self: {`
Added Idris and updated fetchdarcs. svn path=/nixpkgs/trunk/; revision=15595 2009-05-13 12:02:23 -07:00			`pname = "ivor";`
ivor: updated to version 0.1.14.1 svn path=/nixpkgs/trunk/; revision=28335 2011-08-07 15:02:17 -07: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 06:05:41 -08:00			`buildDepends = [ binary mtl parsec ];`
Added Idris and updated fetchdarcs. svn path=/nixpkgs/trunk/; revision=15595 2009-05-13 12:02:23 -07:00			`meta = {`
ivor: updated to version 0.1.14.1 svn path=/nixpkgs/trunk/; revision=28335 2011-08-07 15:02:17 -07: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 12:02:23 -07: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 15:02:17 -07: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 02:54:50 -07:00			`platforms = self.ghc.meta.platforms;`
Disable Hydra builds for broken Haskell packages. The following packages are broken with GHC 7.8.3: - filesystem-conduit version 1.0.0.2 - ghc-events-analyze version 0.2.0 - haskelldb version 2.2.2 - haskell-mpi version 1.2.1 - haxr-th version 3000.5 - hoauth version 0.3.5 - holy-project version 0.1.1.0 - hoogle version 4.2.32 - hspread version 0.3.3 - instant-generics version 0.4 - ivor version 0.1.14.1 - jmacro-rpc-happstack version 0.3 - lambdacube-engine version 0.2.4 - language-c-inline version 0.6.0.0 - lockfree-queue version 0.2.3 - monad-peel version 0.1.1 - network-transport-tests version 0.1.0.1 - poppler version 0.12.3 - profiteur version 0.1.2.1 - prolog-graph-lib version 0.2.0.1 - semigroupoid-extras version 4.0 - setlocale version 0.0.3 - sized-types version 0.5.0 - snaplet-postgresql-simple version 0.5 - snap-loader-dynamic version 0.10.0.2 - uhc git version 20120502 - uniqueid version 0.1.1 - unix-process-conduit version 0.2.2.3 - vado version 0.0.1 - vcsgui version 0.0.4 - xml-html-conduit-lens version 0.3.2.0 The following packages depend on one of the broken ones above: - hoodle-builder version 0.3 - hoodle-core version 0.14 - hoodle-extra version 0.1 - hoodle-parser version 0.3 - hoodle-render version 0.4 - hoodle-types version 0.3 - hoodle version 0.3 - kansas-lava version 0.2.4 - liblastfm version 0.4.0.0 - prolog-graph version 0.1.0.2 - vacuum-cairo version 0.5 - wcwidth version 0.0.2 2014-08-20 10:34:45 -07:00			`hydraPlatforms = self.stdenv.lib.platforms.none;`
			`broken = true;`
Added Idris and updated fetchdarcs. svn path=/nixpkgs/trunk/; revision=15595 2009-05-13 12:02:23 -07:00			`};`
Updated the Idris compiler. svn path=/nixpkgs/trunk/; revision=23991 2010-09-29 12:24:29 -07:00			`})`