TakeV/guix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

gnu: agda: Update to 2.5.4.1.

Browse source 
* gnu/packages/agda.scm (agda): Update to 2.5.4.1.
This commit is contained in:
Timothy Sample 2018-08-29 00:44:15 -04:00 committed by Ricardo Wurmus
parent bad349d8a6
commit 5ebadb584b
No known key found for this signature in database
GPG key ID: 197A5888235FACAC
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/agda.scm
View file

@ -30,7 +30,7 @@ (define-module (gnu packages agda)
(define-public agda (define-public agda
(package (package
(name "agda") (name "agda")
(version "2.5.3") (version "2.5.4.1")
(source (source
(origin (origin
(method url-fetch) (method url-fetch)
@ -39,7 +39,7 @@ (define-public agda
version ".tar.gz")) version ".tar.gz"))
(sha256 (sha256
(base32 (base32
"0r80vw7vnvbgq47y50v050malv7zvv2p2kg6f47i04r0b2ix855a")))) "0bxpibsk98n9xp42d92ma5vj2fam8rsnl61fbhr3askfjdvalnbp"))))
(build-system haskell-build-system) (build-system haskell-build-system)
(inputs (inputs
`(("cpphs" ,cpphs) `(("cpphs" ,cpphs)