ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2025-01-26 20:49:29 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: agda-cubical: Add source file-name.

Browse source 
* gnu/packages/agda.scm (agda-cubical)[source]: Add file-name field.
This commit is contained in:
Efraim Flashner 2023-10-11 08:14:00 +03:00
parent 4ec818dbe1
commit cdc82b2f6e
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
gnu/packages/agda.scm
View file

@ -270,6 +270,7 @@ (define-public agda-cubical
(uri (git-reference (uri (git-reference
(url "https://github.com/agda/cubical.git") (url "https://github.com/agda/cubical.git")
(commit (string-append "v" version)))) (commit (string-append "v" version))))
(file-name (git-file-name name version))
(sha256 (sha256
(base32 (base32
"0yfg7gr55n08ly1qgzpcp16s15k1abycppbcdi9lzg1hjryqxcg3")))) "0yfg7gr55n08ly1qgzpcp16s15k1abycppbcdi9lzg1hjryqxcg3"))))