diff options
| author | Shogo Takata <shogo-takata@st.go.tuat.ac.jp> | 2025-12-02 12:09:05 -0600 |
|---|---|---|
| committer | Shogo Takata <shogo-takata@st.go.tuat.ac.jp> | 2025-12-02 12:58:41 -0600 |
| commit | 1ef3d3a127cc48fd2995d442d9aef31791583f98 (patch) | |
| tree | 6fa63a6688b93d35c9e5107ba2e4bf03f1ba8398 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | dedc570c0e04b49c74e9901237f99289204d73a7 (diff) | |
tamarin-prover: add patch to allow maude 3.5.1
This patch fixes the build failure of tamarin-prover.
The latest version of maude was not allowd in tamarin, which was causing
the build failure.
This patch is in upstream, so it should be removed on the next release.
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions