diff options
| author | Timothy Sample <samplet@ngyro.com> | 2018-08-29 00:44:15 -0400 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2018-10-01 12:12:18 +0200 |
| commit | 5ebadb584bc642d58bf6c8dbb54468e4b7f266bd (patch) | |
| tree | 1405342b62e70c5bde30d22caa180a84777016ba /gnu/packages/agda.scm | |
| parent | bad349d8a620a055bcec4293a27e60bb20f3ce0e (diff) | |
| download | patches-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.scm | 4 |
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) |