diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-06-24 00:17:52 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-06-24 00:19:19 +0200 |
| commit | 22642d460488896ec1ddb25d7eb262938db810eb (patch) | |
| tree | 014641273830b2242c309284e72d3c7ecd1676c3 /gnu/packages/lean.scm | |
| parent | f25529b08e356f89ca7cecc44295085531a8faba (diff) | |
| download | guix-22642d460488896ec1ddb25d7eb262938db810eb.tar.gz | |
gnu: igt-gpu-tools: Fix build with procps@4.
* gnu/packages/patches/igt-gpu-tools-Use-libproc2.patch: New file. * gnu/packages/admin.scm (igt-gpu-tools)[source]: Use it. * gnu/local.mk (dist_patch_DATA): Add it.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions