diff options
| author | Thomas Heijligen <src@posteo.de> | 2024-05-22 18:07:34 +0000 |
|---|---|---|
| committer | sternenseemann <sternenseemann@systemli.org> | 2024-10-25 23:03:58 +0200 |
| commit | 1c172a98ea7610fa90743cc5a28c2c424fb96517 (patch) | |
| tree | db70d77505840d5ae97e0886f5e5532179bd521b /pkgs/development/python-modules/python-openstackclient/git@git.tavy.me:nixos | |
| parent | 2b49bf71605747084ea0d81c959d763b760f8d90 (diff) | |
gnatPackages.gnatprove: Regroup buildInputs
Based on the why3 package.
Diffstat (limited to 'pkgs/development/python-modules/python-openstackclient/git@git.tavy.me:nixos')
0 files changed, 0 insertions, 0 deletions