guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2


From: Brett Gilio
Subject: [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
Date: Fri, 23 Nov 2018 22:24:50 -0600

---
 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 6bb38aac4..be82ff9ec 100644
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@@ -31,7 +31,7 @@
 (define-public agda
   (package
     (name "agda")
-    (version "2.5.4.1")
+    (version "2.5.4.2")
     (source
      (origin
        (method url-fetch)
@@ -40,7 +40,7 @@
              version ".tar.gz"))
        (sha256
         (base32
-         "0bxpibsk98n9xp42d92ma5vj2fam8rsnl61fbhr3askfjdvalnbp"))))
+         "07wvawpfjhx3gw2w53v27ncv1bl0kkx08wkm6wzxldbslkcasign"))))
     (build-system haskell-build-system)
     (inputs
      `(("cpphs" ,cpphs)
-- 
2.19.2






reply via email to

[Prev in Thread] Current Thread [Next in Thread]