Merge pull request #69356 from kmein/tamarin-prover
tamarin-prover: mark as broken because upstream is broken
This commit is contained in:
commit
74f63cace8
|
@ -104,4 +104,6 @@ mkDerivation (common "tamarin-prover" src // {
|
||||||
tamarin-prover-term
|
tamarin-prover-term
|
||||||
tamarin-prover-theory
|
tamarin-prover-theory
|
||||||
];
|
];
|
||||||
|
|
||||||
|
broken = true;
|
||||||
})
|
})
|
||||||
|
|
Loading…
Reference in a new issue