diff options
| author | Pierre Roux <pierre.roux@onera.fr> | 2023-12-19 14:54:48 +0100 |
|---|---|---|
| committer | Pierre Roux <pierre@roux01.fr> | 2023-12-19 20:20:53 +0100 |
| commit | 7c0435d86de5e12709fc210cbbd4c3e40f026630 (patch) | |
| tree | da05b98083c44a8dae3957414984e35cf5961ba7 /pkgs/development/python-modules/python-openstackclient/git@git.tavy.me:nixos | |
| parent | 77f1a05307145466c3c5f32024febb3a1f3ab3d9 (diff) | |
Bump a few things compiling with Coq 8.19
Diffstat (limited to 'pkgs/development/python-modules/python-openstackclient/git@git.tavy.me:nixos')
0 files changed, 0 insertions, 0 deletions