diff options
| author | Thomas Heijligen <src@posteo.de> | 2024-02-21 21:20:59 +0000 |
|---|---|---|
| committer | sternenseemann <sternenseemann@systemli.org> | 2024-02-25 18:19:50 +0100 |
| commit | c02503b58237072965308415f87e709af128516c (patch) | |
| tree | 540b883a59bf16fe6fc8825092ed92e6eb030b04 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | d22ba0a2a71cb6136115ca91999409d6498c9936 (diff) | |
gnatprove: Expose SPARKlib through gpr
SPARKlib is shipped with gnatprove / spark2014 but the gpr files are in
lib/gnat/. Nix gprbuild cant pick them up there. Link them to a location
where gprbuild can find them.
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions