From cdc82b2f6e89ee2817419fa6d46ece6d2e424919 Mon Sep 17 00:00:00 2001 From: Efraim Flashner Date: Wed, 11 Oct 2023 08:14:00 +0300 Subject: [PATCH] gnu: agda-cubical: Add source file-name. * gnu/packages/agda.scm (agda-cubical)[source]: Add file-name field. --- gnu/packages/agda.scm | 1 + 1 file changed, 1 insertion(+) diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 3748ab7059..8258818722 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -270,6 +270,7 @@ (define-public agda-cubical (uri (git-reference (url "https://github.com/agda/cubical.git") (commit (string-append "v" version)))) + (file-name (git-file-name name version)) (sha256 (base32 "0yfg7gr55n08ly1qgzpcp16s15k1abycppbcdi9lzg1hjryqxcg3"))))