idris: broken by recent Haskell updates
http://hydra.cryp.to/build/190927/nixlog/1/raw
This commit is contained in:
parent
7783d1f147
commit
686ea115a9
@ -31,5 +31,6 @@ cabal.mkDerivation (self: {
|
|||||||
description = "Functional Programming Language with Dependent Types";
|
description = "Functional Programming Language with Dependent Types";
|
||||||
license = self.stdenv.lib.licenses.bsd3;
|
license = self.stdenv.lib.licenses.bsd3;
|
||||||
platforms = self.ghc.meta.platforms;
|
platforms = self.ghc.meta.platforms;
|
||||||
|
broken = true;
|
||||||
};
|
};
|
||||||
})
|
})
|
||||||
|
Loading…
Reference in New Issue
Block a user