diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-05-08 02:00:02 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-05-08 02:00:00 +0200 |
| commit | 2c67e1cfbf5dc4c528f9ddb5dce843bd8326cdab (patch) | |
| tree | efc1b1a2a5b0be7c6702d3d8a8aa8f409292e61f /gnu/packages/agda.scm | |
| parent | 388e0390441ca7a8e8a57e71d92e6f963f07af9f (diff) | |
| download | guix-2c67e1cfbf5dc4c528f9ddb5dce843bd8326cdab.tar guix-2c67e1cfbf5dc4c528f9ddb5dce843bd8326cdab.tar.gz | |
gnu: agda: Update to 2.6.2.2.
* gnu/packages/agda.scm (agda): Update to 2.6.2.2.
Diffstat (limited to 'gnu/packages/agda.scm')
| -rw-r--r-- | gnu/packages/agda.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 4dd6366247..706360c94f 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -2,7 +2,7 @@ ;;; Copyright © 2018 Alex ter Weele <alex.ter.weele@gmail.com> ;;; Copyright © 2018 Ricardo Wurmus <rekado@elephly.net> ;;; Copyright © 2018 Alex Vong <alexvong1995@gmail.com> -;;; Copyright © 2018 Tobias Geerinckx-Rice <me@tobias.gr> +;;; Copyright © 2018, 2022 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2018 John Soo <jsoo1@asu.edu> ;;; Copyright © 2019 Ludovic Courtès <ludo@gnu.org> ;;; @@ -37,7 +37,7 @@ (define-public agda (package (name "agda") - (version "2.6.2.1") + (version "2.6.2.2") (source (origin (method url-fetch) @@ -45,7 +45,7 @@ "https://hackage.haskell.org/package/Agda/Agda-" version ".tar.gz")) (sha256 - (base32 "03dw7jfqr3ffik6avigm525djqh2gn5c3qwnb2h6298zkr9lch9w")))) + (base32 "0yjjbhc593ylrm4mq4j01nkdvh7xqsg5in30wxj4y53vf5hkggp5")))) (build-system haskell-build-system) (inputs (list ghc-aeson |