diff options
| author | sternenseemann <sternenseemann@systemli.org> | 2023-05-10 15:07:36 +0200 |
|---|---|---|
| committer | sternenseemann <sternenseemann@systemli.org> | 2023-05-10 16:30:39 +0200 |
| commit | dd6a74bdbeaecc9bd8faf9a2fc2b78aa70c5af6b (patch) | |
| tree | d3122596217d2ed5f8a5117f133484b90a3b6b7f /pkgs/development/python-modules/rangehttpserver | |
| parent | 5b55bccfe26c0f9dde7b4cad4a2bc4b90d1d00b6 (diff) | |
tamarin-prover: allow maude 3.1.1
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.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions