diff options
| author | Vincent Laporte <vbgl@users.noreply.github.com> | 2025-09-29 14:50:56 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-29 14:50:56 +0000 |
| commit | 4bc9e5bb0ca5e9abb3e94f14f5f59f796fb17923 (patch) | |
| tree | f7800c4b3d0db936c6a7bcb780afae57cdd16f36 /pkgs/development/python-modules/python-openstackclient/git@git.tavy.me:nixos | |
| parent | 9e538263a0f48c147a5ffe7691567cf35a1e3e5f (diff) | |
| parent | d1d4809b1b647c53f8d76179ba7e574f28f154ff (diff) | |
compcert: enable for Coq 9.0.1 & default to Coq 9.0 (#447163)
Diffstat (limited to 'pkgs/development/python-modules/python-openstackclient/git@git.tavy.me:nixos')
0 files changed, 0 insertions, 0 deletions