liquidhaskell: drop obsolete patches
This commit is contained in:
parent
b6e553506f
commit
b0bdf778bd
|
@ -1000,18 +1000,6 @@ self: super: {
|
||||||
'';
|
'';
|
||||||
});
|
});
|
||||||
|
|
||||||
# Add a flag to enable building against GHC with D4388 applied (the
|
|
||||||
# deterministic profiling symbols patch). The flag is disabled by
|
|
||||||
# default, so we can apply this patch globally.
|
|
||||||
#
|
|
||||||
# https://github.com/ucsd-progsys/liquidhaskell/pull/1233
|
|
||||||
liquidhaskell =
|
|
||||||
let patch = pkgs.fetchpatch
|
|
||||||
{ url = https://github.com/ucsd-progsys/liquidhaskell/commit/1aeef1871760b2be46cc1cabd51311997d1d0bc0.patch;
|
|
||||||
sha256 = "0i55n6p3x9as648as0lvxy2alqb1n7c10xv9gp15cvq7zx6c8ydg";
|
|
||||||
};
|
|
||||||
in appendPatch super.liquidhaskell patch;
|
|
||||||
|
|
||||||
# https://github.com/nick8325/twee/pull/1
|
# https://github.com/nick8325/twee/pull/1
|
||||||
twee-lib = dontHaddock super.twee-lib;
|
twee-lib = dontHaddock super.twee-lib;
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue