diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2022-11-14 15:24:33 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2022-11-14 15:24:33 +0200 |
| commit | 41b0d72f43711325636c791ca023d76557acaf17 (patch) | |
| tree | c9b49986f6518a2910b0f57625fbd0ac8b80310d /gnu | |
| parent | b13f00f0e1dea914f94538e13c5c392278426673 (diff) | |
gnu: tint2: Add source file-name.
* gnu/packages/xdisorg.scm (tint2)[source]: Add file-name field.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/xdisorg.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/xdisorg.scm b/gnu/packages/xdisorg.scm index c4cc351cad..301bd4778c 100644 --- a/gnu/packages/xdisorg.scm +++ b/gnu/packages/xdisorg.scm @@ -1915,6 +1915,7 @@ natural language input and provide results.") (uri (git-reference (url (string-append "https://gitlab.com/o9000/" name "/")) (commit version))) + (file-name (git-file-name name version)) (sha256 (base32 "123apmgs6x2zfv1q57dyl4mwqf0vsw5ndh5jsg6p3fvhr66l1aja")))) |