diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2023-12-10 21:47:39 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2023-12-11 08:31:26 +0200 |
| commit | 8e61e6351510f5665d09c6debc0584b3ed218e73 (patch) | |
| tree | 566727feed5df9f6b35fe6cfcb7362fb7b105056 /gnu | |
| parent | 9535cee6cdf259f898fae043564038f53a809a9e (diff) | |
gnu: gerbv: Use a source file-name.
* gnu/packages/engineering.scm (gerbv)[source]: Add file-name field.
Change-Id: Ia0264233a75aa6fc2bd54de23c9510e184cbee31
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/engineering.scm | 1 |
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")))) |