summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarius Bakke <marius@gnu.org>2020-11-26 01:06:32 +0100
committerMarius Bakke <marius@gnu.org>2020-11-26 01:06:56 +0100
commitf36bee1416ffb1ce1111168bca82e7d0313d65dc (patch)
tree0e546c5c83756c47c73959ac3a350c1090abdac9
parent3387508a1f17ef85fcba47db48b9cbbcb25f1b80 (diff)
gnu: dav1d: Add a source file name.
* gnu/packages/video.scm (dav1d)[source](file-name): New field.
-rw-r--r--gnu/packages/video.scm1
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/video.scm b/gnu/packages/video.scm
index 26018a05e1..f1b724e54c 100644
--- a/gnu/packages/video.scm
+++ b/gnu/packages/video.scm
@@ -4385,6 +4385,7 @@ transitions, and effects and then export your film to many common formats.")
(uri (git-reference
(url "https://code.videolan.org/videolan/dav1d.git")
(commit version)))
+ (file-name (git-file-name name version))
(sha256
(base32
"0mjn87xjdqv0q1gj4s4f6fdmsj504mhk4qmqiyrhq2rs7yqj4csv"))))