e910c8d6c9
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
19 lines
594 B
Nix
19 lines
594 B
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;
|
|
};
|
|
})
|