diff options
| author | Pierre Roux <pierre.roux@onera.fr> | 2024-07-31 17:32:04 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-08-01 10:11:13 +0200 |
| commit | 909d51327cee6b232fe149a28992673a0a5ef451 (patch) | |
| tree | d114caf4345f3a09a3c44c2b2eebc3b174ef7bc3 /pkgs/development/python-modules/python-openstackclient | |
| parent | 832212034773f858ce732f42ccdce2549084135e (diff) | |
reglang 1.2.1 compiles with Coq 8.20
Diffstat (limited to 'pkgs/development/python-modules/python-openstackclient')
0 files changed, 0 insertions, 0 deletions