diff options
| author | Maximilian Bosch <maximilian@mbosch.me> | 2018-09-13 14:11:09 +0200 |
|---|---|---|
| committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-09-13 14:11:09 +0200 |
| commit | 2cfc0bb7ee6200584c89ab46daf04daa9c536e81 (patch) | |
| tree | a45754cff46ac52c5a235bb51bb4fff0b19c016c /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | e2df8e7c0f73e0ff22caa8fe14851cfdcf500f6a (diff) | |
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:
https://github.com/tamarin-prover/tamarin-prover/commit/a08f6e400772899b9b0fc16befc50391cd70696b
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
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions