diff options
| author | Dmitry Kalinkin <dmitry.kalinkin@gmail.com> | 2019-09-25 18:52:30 -0400 |
|---|---|---|
| committer | Dmitry Kalinkin <dmitry.kalinkin@gmail.com> | 2019-09-25 19:21:46 -0400 |
| commit | c455adcc42f9b2b62376b9fee99a0c5004a52425 (patch) | |
| tree | 8b489f54e79aa7710554a1a4f3c1e58cfe32890f /pkgs/applications/science | |
| parent | eab41878ac16a80b1189d5e4aeec5e037f6571db (diff) | |
| parent | 96ac71d680fe8d07e51fa979b0818b9aae06e1ec (diff) | |
| download | nixlib-c455adcc42f9b2b62376b9fee99a0c5004a52425.tar nixlib-c455adcc42f9b2b62376b9fee99a0c5004a52425.tar.gz nixlib-c455adcc42f9b2b62376b9fee99a0c5004a52425.tar.bz2 nixlib-c455adcc42f9b2b62376b9fee99a0c5004a52425.tar.lz nixlib-c455adcc42f9b2b62376b9fee99a0c5004a52425.tar.xz nixlib-c455adcc42f9b2b62376b9fee99a0c5004a52425.tar.zst nixlib-c455adcc42f9b2b62376b9fee99a0c5004a52425.zip | |
Merge branch 'master' into staging-next
Fixes eval on darwin after #69072 Resolved conflict in pkgs/tools/security/thc-hydra/default.nix Basically had to revert a1c0e10564f9a6281e14d7a7279b8589521e2c48 which adapts #69210 to master that doesn't yet have 329a88efa78126ae7413807ce58000eab49e82d9 Tested using maintainers/scripts/eval-release.sh before and after to see that the fix works
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/tamarin-prover/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/tamarin-prover/default.nix b/pkgs/applications/science/logic/tamarin-prover/default.nix index 40378f8c04d5..9b87b8c899e5 100644 --- a/pkgs/applications/science/logic/tamarin-prover/default.nix +++ b/pkgs/applications/science/logic/tamarin-prover/default.nix @@ -104,4 +104,6 @@ mkDerivation (common "tamarin-prover" src // { tamarin-prover-term tamarin-prover-theory ]; + + broken = true; }) |