diff options
author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2022-07-06 19:15:34 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-07-08 14:54:04 +0200 |
commit | 1014f00cff4d2ce2057f4103b1433e9441460446 (patch) | |
tree | 6a4dc045d71401b575af8c36a4fde53f53e1aee2 /pkgs/tools/admin/fioctl | |
parent | 0898779c3944d6ca9d90abb9641d4030796fdaa2 (diff) |
Prepare Coq derivation for Coq 8.17 build infrastructure.
Diffstat (limited to 'pkgs/tools/admin/fioctl')
0 files changed, 0 insertions, 0 deletions