nixpkgs/pkgs/applications/science/logic/tamarin-prover
Maximilian Bosch 2cfc0bb7ee tamarin-prover: fix ghc 8.4 build (#46597)
See https://hydra.nixos.org/build/81125645

`tamarin-prover' upstream has a patch to fix GHC 8.4 compilation (and
uses stack lts-12.1 now), but it's not released yet:

a08f6e4007

The build is divided in several derivations, therefore the patch had to
be splitted and rebased for `lib/term', `lib/theory' and `lib/utils' to
ensure that the patch applies properly during the `patchPhase'.

Addresses #45960
2018-09-13 14:11:09 +02:00
..
default.nix tamarin-prover: fix ghc 8.4 build (#46597) 2018-09-13 14:11:09 +02:00
ghc-8.4-support-term.patch tamarin-prover: fix ghc 8.4 build (#46597) 2018-09-13 14:11:09 +02:00
ghc-8.4-support-theory.patch tamarin-prover: fix ghc 8.4 build (#46597) 2018-09-13 14:11:09 +02:00
ghc-8.4-support-utils.patch tamarin-prover: fix ghc 8.4 build (#46597) 2018-09-13 14:11:09 +02:00