diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-11-06 10:24:28 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-02-24 17:51:28 +0100 |
| commit | d9c8009832077cc01412f379bb5f39e43d5a18d2 (patch) | |
| tree | a8d876366ab47733df2e311bd9cc92d958beffdb | |
| parent | 29ff0474f4a2909f961ed13ca694e01ae166148e (diff) | |
| download | patches-d9c8009832077cc01412f379bb5f39e43d5a18d2.tar patches-d9c8009832077cc01412f379bb5f39e43d5a18d2.tar.gz | |
gnu: agda: Update to 2.5.4.2.
* gnu/packages/agda.scm (agda): Update to 2.5.4.2.
[inputs]: Remove cpphs.
| -rw-r--r-- | gnu/packages/agda.scm | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index d2113555eb..646595705b 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -2,6 +2,7 @@ ;;; Copyright © 2018 Alex ter Weele <alex.ter.weele@gmail.com> ;;; Copyright © 2018 Ricardo Wurmus <rekado@elephly.net> ;;; Copyright © 2018 Alex Vong <alexvong1995@gmail.com> +;;; Copyright © 2018 Tobias Geerinckx-Rice <me@tobias.gr> ;;; ;;; This file is part of GNU Guix. ;;; @@ -32,7 +33,7 @@ (define-public agda (package (name "agda") - (version "2.5.4.1") + (version "2.5.4.2") (source (origin (method url-fetch) @@ -41,11 +42,10 @@ version ".tar.gz")) (sha256 (base32 - "0bxpibsk98n9xp42d92ma5vj2fam8rsnl61fbhr3askfjdvalnbp")))) + "07wvawpfjhx3gw2w53v27ncv1bl0kkx08wkm6wzxldbslkcasign")))) (build-system haskell-build-system) (inputs - `(("cpphs" ,cpphs) - ("ghc-alex" ,ghc-alex) + `(("ghc-alex" ,ghc-alex) ("ghc-async" ,ghc-async) ("ghc-blaze-html" ,ghc-blaze-html) ("ghc-boxes" ,ghc-boxes) |