diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2025-10-08 13:22:47 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2025-10-08 13:22:47 +0200 |
| commit | 989e6b1923fe2c651525b34e25ccacfa0ffa986e (patch) | |
| tree | 89591db560466aca8d6b3f9cdf4199c5c1cdc200 /pkgs/development/python-modules/python-openstackclient | |
| parent | 41983cf50e34fb947196d59ea481727640b20a89 (diff) | |
coqPackages.coq-hammer: enable for Coq 9.0
Diffstat (limited to 'pkgs/development/python-modules/python-openstackclient')
0 files changed, 0 insertions, 0 deletions