[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
186/272: gnu: agda: Update to 2.5.4.1.
From: |
Ricardo Wurmus |
Subject: |
186/272: gnu: agda: Update to 2.5.4.1. |
Date: |
Mon, 1 Oct 2018 06:13:43 -0400 (EDT) |
rekado pushed a commit to branch master
in repository guix.
commit 5ebadb584bc642d58bf6c8dbb54468e4b7f266bd
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)
- 165/272: gnu: ghc-iproute: Update to 1.7.5., (continued)
- 165/272: gnu: ghc-iproute: Update to 1.7.5., Ricardo Wurmus, 2018/10/01
- 160/272: gnu: ghc-zip-archive: Update to 0.3.3., Ricardo Wurmus, 2018/10/01
- 157/272: gnu: ghc-typed-process: Update to 0.2.3.0., Ricardo Wurmus, 2018/10/01
- 158/272: gnu: ghc-wave: Update to 0.1.5., Ricardo Wurmus, 2018/10/01
- 168/272: gnu: ghc-quickcheck-instances: Update Cabal file to r1., Ricardo Wurmus, 2018/10/01
- 172/272: gnu: ghc-aeson: Update to 1.3.1.1., Ricardo Wurmus, 2018/10/01
- 179/272: gnu: ghc-haskell-src-meta: Update to 0.8.0.3., Ricardo Wurmus, 2018/10/01
- 167/272: gnu: ghc-opengl: Update to 3.0.2.2., Ricardo Wurmus, 2018/10/01
- 182/272: gnu: ghc-parsers: Update to 0.12.9., Ricardo Wurmus, 2018/10/01
- 177/272: gnu: ghc-glut: Update to 2.7.0.14., Ricardo Wurmus, 2018/10/01
- 186/272: gnu: agda: Update to 2.5.4.1.,
Ricardo Wurmus <=
- 184/272: gnu: ghc-tls: Update to 1.4.1., Ricardo Wurmus, 2018/10/01
- 181/272: gnu: ghc-http-date: Update to 0.0.8., Ricardo Wurmus, 2018/10/01
- 189/272: gnu: ghc-connection: Update to 0.2.8., Ricardo Wurmus, 2018/10/01
- 202/272: gnu: ghc-http-client-tls: Update to 0.3.5.3., Ricardo Wurmus, 2018/10/01
- 180/272: gnu: ghc-hslua: Update to 0.9.5.2., Ricardo Wurmus, 2018/10/01
- 201/272: gnu: ghc-free: Update to 5.0.2., Ricardo Wurmus, 2018/10/01
- 193/272: gnu: ghc-lifted-async: Update to 0.10.0.2., Ricardo Wurmus, 2018/10/01
- 208/272: gnu: ghc-either: Update to 5.0.1., Ricardo Wurmus, 2018/10/01
- 226/272: gnu: Add ghc-cryptohash-sha256., Ricardo Wurmus, 2018/10/01
- 236/272: gnu: ghc-chart: Update to 1.9., Ricardo Wurmus, 2018/10/01