dd6a74bdbe
See https://github.com/tamarin-prover/tamarin-prover/pull/544. Added tamarin-prover to passthru.tests of maude to prevent future regressions of this kind. |
||
---|---|---|
.. | ||
default.nix |
dd6a74bdbe
See https://github.com/tamarin-prover/tamarin-prover/pull/544. Added tamarin-prover to passthru.tests of maude to prevent future regressions of this kind. |
||
---|---|---|
.. | ||
default.nix |