bug#61731: [PATCH] gnu: Add evdi, libevdi.

[Ludovic Courtès]

Hi,

Demis Balbach <db@minikn.xyz> skribis:

> ---
>  gnu/packages/linux.scm | 67 +++++++++++++++++++++++++++++++++++++++++-
>  1 file changed, 66 insertions(+), 1 deletion(-)

I split it into two different commits, as per our conventions, added a
commit log, and…

> +                              (copy-file "libevdi.so"
> +                                         (string-append lib 
> "/libevdi.so"))))))))

… changed this to an ‘install-file’ call.

Thanks,
Ludo’.