diff options
| author | Thomas Heijligen <src@posteo.de> | 2024-02-19 19:17:19 +0000 |
|---|---|---|
| committer | sternenseemann <sternenseemann@systemli.org> | 2024-02-25 18:19:50 +0100 |
| commit | c1b5933e79e45dd7f75075075f6248af8362da08 (patch) | |
| tree | 39733a163d5d41261e97f304847b0381e4d6d00d /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | abc4653068fb14d0141eddfeb21f8d205ea83137 (diff) | |
gnatprove: Rename spark2014
Gnatprove is the tool distributed out of the spark2014 repository.
AdaCore, the developer behind it, distribute it under the name gnatprove
in the Ada alire package repository [0].
Rename the package to keep in line with other distribution channels.
[0] https://alire.ada.dev/crates/gnatprove
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions