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