diff options
| author | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-07-31 09:52:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-31 09:52:37 +0200 |
| commit | ee96b8a3cf8930b136ef08e4bcaf531871277f74 (patch) | |
| tree | ee72f19efad7a91d44da619644f867a0bce64abc /pkgs/development/python-modules/python-openstackclient/git@git.tavy.me:nixos | |
| parent | e20e12a9c76a453974c3e1f9434cfe14569f3f01 (diff) | |
| parent | b1d0e56bc4132a2df2ccdecddf04815fbbbbfe0d (diff) | |
Merge pull request #329695 from definfo/coq-high-school-geometry-8.16
coqPackages.high-school-geometry: init at 8.16
Diffstat (limited to 'pkgs/development/python-modules/python-openstackclient/git@git.tavy.me:nixos')
0 files changed, 0 insertions, 0 deletions