summaryrefslogtreecommitdiff
path: root/pkgs/development/python-modules/python-openstackclient
diff options
context:
space:
mode:
authorVincent Laporte <Vincent.Laporte@gmail.com>2022-06-03 13:27:22 +0200
committerVincent Laporte <vbgl@users.noreply.github.com>2022-06-13 11:29:20 +0200
commitb8e366f1a44c6fe1ec744cc712ff3d66b1cc2630 (patch)
treef025b77c6949a8ca65d727b46b5cb9e208bdfa79 /pkgs/development/python-modules/python-openstackclient
parent3d80ca27c09ae0187c0aedc9cb152205eb8ff222 (diff)
coqPackages.paco: enable for Coq 8.16
Diffstat (limited to 'pkgs/development/python-modules/python-openstackclient')
0 files changed, 0 insertions, 0 deletions