From f36bee1416ffb1ce1111168bca82e7d0313d65dc Mon Sep 17 00:00:00 2001
From: Marius Bakke <marius@gnu.org>
Date: Thu, 26 Nov 2020 01:06:32 +0100
Subject: [PATCH] gnu: dav1d: Add a source file name.

* gnu/packages/video.scm (dav1d)[source](file-name): New field.
---
 gnu/packages/video.scm | 1 +
 1 file changed, 1 insertion(+)

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 @@ (define-public dav1d
         (uri (git-reference
                (url "https://code.videolan.org/videolan/dav1d.git")
                (commit version)))
+        (file-name (git-file-name name version))
         (sha256
          (base32
           "0mjn87xjdqv0q1gj4s4f6fdmsj504mhk4qmqiyrhq2rs7yqj4csv"))))