all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
@ 2018-11-24  4:24 Brett Gilio
  2018-11-24 21:30 ` Ludovic Courtès
  2019-12-05  0:39 ` Brett Gilio
  0 siblings, 2 replies; 9+ messages in thread
From: Brett Gilio @ 2018-11-24  4:24 UTC (permalink / raw)
  To: 33478

---
 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

^ permalink raw reply related	[flat|nested] 9+ messages in thread

end of thread, other threads:[~2019-12-05  8:36 UTC | newest]

Thread overview: 9+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2018-11-24  4:24 [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2 Brett Gilio
2018-11-24 21:30 ` Ludovic Courtès
2018-11-24 21:44   ` Brett Gilio
2018-11-25  2:04   ` Brett Gilio
2018-11-25 14:22     ` Ludovic Courtès
2018-11-25 15:47       ` Brett Gilio
2018-11-26 10:27         ` Ludovic Courtès
2019-12-05  0:39 ` Brett Gilio
2019-12-05  8:34   ` bug#33478: " Efraim Flashner

Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/guix.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.