diff options
| author | jthulhu <adrien.lc.mathieu@gmail.com> | 2025-01-13 20:22:13 +0100 |
|---|---|---|
| committer | jthulhu <adrien.lc.mathieu@gmail.com> | 2025-01-14 07:46:54 +0100 |
| commit | ed3033393ead7b19737a8dbc9702833a5eda2fe1 (patch) | |
| tree | 0f644c83dd7e81e06ce591678a6aa57014e57534 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | d3fc0b6220e610949cb7706c0f80b23b1d4d3b01 (diff) | |
lean4: 4.13.0 -> 4.14.0
Release notes: https://github.com/leanprover/lean4/releases/tag/v4.14.0
Moved `cadical` from nativeBuildInputs to buildInputs, because it doesn't build otherwise.
Enforced failure of build if the substitution in CMakeLists fails.
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions