From 0a645ac60603b262a2f4a6be25e9b4298385296c Mon Sep 17 00:00:00 2001 From: Efraim Flashner Date: Sat, 8 Jul 2023 23:26:17 +0300 Subject: [PATCH] gnu: clipman: Use a source file-name. * gnu/packages/xdisorg.scm (clipman)[source]: Use a source file-name. --- gnu/packages/xdisorg.scm | 1 + 1 file changed, 1 insertion(+) diff --git a/gnu/packages/xdisorg.scm b/gnu/packages/xdisorg.scm index 4e00f0943f..d9360bc8f1 100644 --- a/gnu/packages/xdisorg.scm +++ b/gnu/packages/xdisorg.scm @@ -2994,6 +2994,7 @@ After selection, the clip is put onto the PRIMARY and CLIPBOARD X selections.") (uri (git-reference (url (string-append "https://github.com/yory8/" name "/")) (commit (string-append "v" version)))) + (file-name (git-file-name name version)) (sha256 (base32 "0b9kvj0dif4221dy6c1npknhhjxvbc4kygzhwxjirpwjws0yv6v9")))) (build-system go-build-system)