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

gnu: cedille: Update to 1.1.2.

Browse source 
* gnu/packages/cedille.scm (cedille): Update to 1.1.2.

Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
This commit is contained in:
John Soo 2020-02-23 17:42:54 +00:00 committed by Tobias Geerinckx-Rice
parent f267420707
commit 1063dea4ff
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gnu/packages/cedille.scm
View file

@ -30,7 +30,7 @@ (define-module (gnu packages cedille)
(define-public cedille (define-public cedille
(package (package
(name "cedille") (name "cedille")
(version "1.1.1") (version "1.1.2")
(source (source
(origin (origin
(method git-fetch) (method git-fetch)
@ -40,7 +40,7 @@ (define-public cedille
(file-name (git-file-name name version)) (file-name (git-file-name name version))
(sha256 (sha256
(base32 (base32
"07kv9wncyipfjf5w4ax8h2p35g70zb1qw6zc4afd7c225xia55wp")))) "1h5s6ayh3s76z184jai3jidcs4cjk8s4nvkkv2am8dg4gfsybq22"))))
(inputs (inputs
`(("agda" ,agda) `(("agda" ,agda)
("agda-ial" ,agda-ial) ("agda-ial" ,agda-ial)