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

gnu: agda: Update to 2.6.0.1.

Browse source 
* gnu/packages/agda.scm (agda): Update to 2.6.0.1.
[inputs]: Remove 'ghc-parallel'; add 'ghc-aeson' and 'ghc-exceptions'.
This commit is contained in:
Timothy Sample 2019-11-16 09:41:37 -05:00
parent af16c6b056
commit 27109c7175
No known key found for this signature in database
GPG key ID: 2AC6A5EC1C357C59
1 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
gnu/packages/agda.scm
View file

@ -37,7 +37,7 @@ (define-module (gnu packages agda)
(define-public agda
(package
(name "agda")
(version "2.5.4.2")
(version "2.6.0.1")
(source
(origin
(method url-fetch)
@ -46,10 +46,11 @@ (define-public agda
version ".tar.gz"))
(sha256
(base32
"07wvawpfjhx3gw2w53v27ncv1bl0kkx08wkm6wzxldbslkcasign"))))
"1s600ry1qwizr3ynyj05rvlx7jdcw9a1viyc0ycjamm5sjf8mf3v"))))
(build-system haskell-build-system)
(inputs
`(("ghc-alex" ,ghc-alex)
`(("ghc-aeson" ,ghc-aeson)
("ghc-alex" ,ghc-alex)
("ghc-async" ,ghc-async)
("ghc-blaze-html" ,ghc-blaze-html)
("ghc-boxes" ,ghc-boxes)
@ -57,6 +58,7 @@ (define-public agda
("ghc-edisoncore" ,ghc-edisoncore)
("ghc-edit-distance" ,ghc-edit-distance)
("ghc-equivalence" ,ghc-equivalence)
("ghc-exceptions" ,ghc-exceptions)
("ghc-filemanip" ,ghc-filemanip)
("ghc-geniplate-mirror" ,ghc-geniplate-mirror)
("ghc-gitrev" ,ghc-gitrev)
@ -66,7 +68,6 @@ (define-public agda
("ghc-ieee754" ,ghc-ieee754)
("ghc-murmur-hash" ,ghc-murmur-hash)
("ghc-uri-encode" ,ghc-uri-encode)
("ghc-parallel" ,ghc-parallel)
("ghc-regex-tdfa" ,ghc-regex-tdfa)
("ghc-strict" ,ghc-strict)
("ghc-unordered-containers" ,ghc-unordered-containers)