diff options
| author | Thomas Heijligen <src@posteo.de> | 2024-05-22 18:08:41 +0000 |
|---|---|---|
| committer | sternenseemann <sternenseemann@systemli.org> | 2024-10-25 23:03:58 +0200 |
| commit | 6af36c5003cd91bf6cf76fd3628f544137d0560c (patch) | |
| tree | b235adc981e4ada8665a47afce626e054fb3e34f /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 066b51bf34d1e1818c510a02d1679f9b15523496 (diff) | |
gnatPackages.gnatprove: Add fsf-14 version
- gpr2 is required as buildInput, but in a special version
- fsf-14 drops SPARKlib from the tree, but the Makefile still expect it, patch it out
Co-authored-by: sternenseemann <sternenseemann@systemli.org>
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions