From 27109c7175656b8de3d0819e0acc0670863930c6 Mon Sep 17 00:00:00 2001 From: Timothy Sample Date: Sat, 16 Nov 2019 09:41:37 -0500 Subject: [PATCH] gnu: agda: Update to 2.6.0.1. * gnu/packages/agda.scm (agda): Update to 2.6.0.1. [inputs]: Remove 'ghc-parallel'; add 'ghc-aeson' and 'ghc-exceptions'. --- gnu/packages/agda.scm | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 931f1e8ef7..60944ddb04 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -37,7 +37,7 @@ (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 @@ 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 @@ ("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 @@ ("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)