mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-17 07:13:23 +01:00
haskell-cryptol: override is no longer necessary
This commit is contained in:
parent
c2c724bcaf
commit
e9e07667b2
1 changed files with 0 additions and 5 deletions
|
@ -723,11 +723,6 @@ self: super: {
|
|||
call = dontDistribute super.call;
|
||||
rhythm-game-tutorial = dontDistribute super.rhythm-game-tutorial;
|
||||
|
||||
# https://github.com/GaloisInc/cryptol/issues/197
|
||||
cryptol = overrideCabal super.cryptol (drv: {
|
||||
postUnpack = "rm -v ${drv.pname}-${drv.version}/Setup.hs";
|
||||
});
|
||||
|
||||
# https://github.com/haskell/haddock/issues/378
|
||||
haddock-library = dontCheck super.haddock-library;
|
||||
|
||||
|
|
Loading…
Reference in a new issue