diff options
author | From: Hilton Chain <hako@ultrarare.space> | 2023-06-02 22:51:13 +0800 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2024-06-17 22:51:29 +0200 |
commit | 12978e4ca22e31b35c5e14a8423066f085b4341a (patch) | |
tree | 79eca88a156fe4540dda5bd1173827542bd3b0d4 /gnu/packages/freedesktop.scm | |
parent | 5f6741e31cf6612383c6eb040a8b6501616c8ac4 (diff) |
gnu: libinput: Add missing file-name.
* gnu/packages/freedesktop.scm (libinput)[source]: Use GIT-FILE-NAME.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
Diffstat (limited to 'gnu/packages/freedesktop.scm')
-rw-r--r-- | gnu/packages/freedesktop.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/freedesktop.scm b/gnu/packages/freedesktop.scm index 7cc7cc995c..84a614dd7f 100644 --- a/gnu/packages/freedesktop.scm +++ b/gnu/packages/freedesktop.scm @@ -695,6 +695,7 @@ freedesktop.org project.") (uri (git-reference (url "https://gitlab.freedesktop.org/libinput/libinput.git") (commit version))) + (file-name (git-file-name name version)) (sha256 (base32 "0wnqfnxxvf9jclh64hrb0scn3s1dmwdkmqf7hp0cfmjz5n5nnv7d")))) |