From f3a98e94ed2557dacfbd08e3876ff69153c8843e Mon Sep 17 00:00:00 2001 From: Yann Dupont Date: Mon, 10 Jan 2022 14:20:51 +0100 Subject: [PATCH] add name for git file --- glicid/packages/glicid.scm | 1 + 1 file changed, 1 insertion(+) diff --git a/glicid/packages/glicid.scm b/glicid/packages/glicid.scm index 1380bb8..4c01664 100644 --- a/glicid/packages/glicid.scm +++ b/glicid/packages/glicid.scm @@ -296,6 +296,7 @@ (uri (git-reference (url "https://oauth2:glpat-RsX2GjsD2WrzXubiJeou@gitlab.univ-nantes.fr/CCIPL/legacy_code_mirror/grace.git") (commit (string-append "v" version)))) + (file-name (git-file-name name version)) (sha256 (base32 "1wb8v0q8xa2akas0swpgdgw1s66i50k7kh1g2f894hnk91fzx56z")) ) )