summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2023-12-10 21:47:39 +0200
committerEfraim Flashner <efraim@flashner.co.il>2023-12-11 08:31:26 +0200
commit8e61e6351510f5665d09c6debc0584b3ed218e73 (patch)
tree566727feed5df9f6b35fe6cfcb7362fb7b105056
parent9535cee6cdf259f898fae043564038f53a809a9e (diff)
gnu: gerbv: Use a source file-name.
* gnu/packages/engineering.scm (gerbv)[source]: Add file-name field. Change-Id: Ia0264233a75aa6fc2bd54de23c9510e184cbee31
-rw-r--r--gnu/packages/engineering.scm1
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/engineering.scm b/gnu/packages/engineering.scm
index 0351967a64..28f5032982 100644
--- a/gnu/packages/engineering.scm
+++ b/gnu/packages/engineering.scm
@@ -866,6 +866,7 @@ and others.")
(uri (git-reference
(url "https://github.com/gerbv/gerbv")
(commit (string-append "v" version))))
+ (file-name (git-file-name name version))
(sha256
(base32
"06bcm5zw7whsnnmfld3gl2j907lxc68gnsbzr2pc4w6qc923rgmj"))))