186/257: gnu: agda: Update to 2.5.4.1.

[Ricardo Wurmus]

rekado pushed a commit to branch wip-haskell
in repository guix.

commit 0e54aa2f9fe5d541e92b7afd5f42dbbf5388aa36
Author: Timothy Sample <address@hidden>
Date:   Wed Aug 29 00:44:15 2018 -0400

    gnu: agda: Update to 2.5.4.1.
    
    * gnu/packages/agda.scm (agda): Update to 2.5.4.1.
---
 gnu/packages/agda.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index 572de5b..418025b 100644
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@@ -30,7 +30,7 @@
 (define-public agda
   (package
     (name "agda")
-    (version "2.5.3")
+    (version "2.5.4.1")
     (source
      (origin
        (method url-fetch)
@@ -39,7 +39,7 @@
              version ".tar.gz"))
        (sha256
         (base32
-         "0r80vw7vnvbgq47y50v050malv7zvv2p2kg6f47i04r0b2ix855a"))))
+         "0bxpibsk98n9xp42d92ma5vj2fam8rsnl61fbhr3askfjdvalnbp"))))
     (build-system haskell-build-system)
     (inputs
      `(("cpphs" ,cpphs)