diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2025-09-29 13:43:13 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2025-09-29 13:45:41 +0200 |
| commit | 092ff7a67f850eeb4f7d378bf6e37a3de9aeb580 (patch) | |
| tree | e2c08921c5fc5f5d82aeb60fb0c5557b4e2d7a5e /pkgs/development/python-modules/python-openstackclient | |
| parent | 2e62a597f46dea59095c419cccb6004e7a457d12 (diff) | |
compcert: enable for Coq 9.0.1
Diffstat (limited to 'pkgs/development/python-modules/python-openstackclient')
0 files changed, 0 insertions, 0 deletions