summaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorTimothy Sample <samplet@ngyro.com>2018-08-29 00:44:15 -0400
committerRicardo Wurmus <rekado@elephly.net>2018-10-01 12:12:18 +0200
commit5ebadb584bc642d58bf6c8dbb54468e4b7f266bd (patch)
tree1405342b62e70c5bde30d22caa180a84777016ba /gnu/packages/agda.scm
parentbad349d8a620a055bcec4293a27e60bb20f3ce0e (diff)
downloadpatches-5ebadb584bc642d58bf6c8dbb54468e4b7f266bd.tar
patches-5ebadb584bc642d58bf6c8dbb54468e4b7f266bd.tar.gz
gnu: agda: Update to 2.5.4.1.
* gnu/packages/agda.scm (agda): Update to 2.5.4.1.
Diffstat (limited to 'gnu/packages/agda.scm')
-rw-r--r--gnu/packages/agda.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index 572de5bbeb..418025bc37 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)