diff options
| author | Marius Bakke <marius@gnu.org> | 2020-11-26 01:06:32 +0100 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2020-11-26 01:06:56 +0100 |
| commit | f36bee1416ffb1ce1111168bca82e7d0313d65dc (patch) | |
| tree | 0e546c5c83756c47c73959ac3a350c1090abdac9 | |
| parent | 3387508a1f17ef85fcba47db48b9cbbcb25f1b80 (diff) | |
gnu: dav1d: Add a source file name.
* gnu/packages/video.scm (dav1d)[source](file-name): New field.
| -rw-r--r-- | gnu/packages/video.scm | 1 |
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")))) |