jpoiret pushed a commit to branch master
in repository guix.
commit af5d228b1303989812e48093769715fd19df5042
Author: Josselin Poiret <[email protected]>
AuthorDate: Wed Mar 1 16:33:52 2023 +0100
gnu: agda: Update to 2.6.3 and switch to git-fetch.
* gnu/packages/agda.scm (agda): Update to 2.6.3, switch to fetching using
git so
that doc files are included, and add new dependency ghc-vector-hashtables.
---
gnu/packages/agda.scm | 14 +++++++++-----
1 file changed, 9 insertions(+), 5 deletions(-)
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index 7128a3f108..fc1085ec09 100644
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@@ -5,6 +5,7 @@
;;; Copyright © 2018, 2022 Tobias Geerinckx-Rice <[email protected]>
;;; Copyright © 2018 John Soo <[email protected]>
;;; Copyright © 2019 Ludovic Courtès <[email protected]>
+;;; Copyright © 2023 Josselin Poiret <[email protected]>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -37,15 +38,17 @@
(define-public agda
(package
(name "agda")
- (version "2.6.2.2")
+ (version "2.6.3")
(source
(origin
- (method url-fetch)
- (uri (hackage-uri "Agda" version))
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/agda/agda.git";)
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
(sha256
- (base32 "0yjjbhc593ylrm4mq4j01nkdvh7xqsg5in30wxj4y53vf5hkggp5"))))
+ (base32 "1s7zd01i8pmvi90ywx497kc07z50nah7h0fc2dn6jzb132k5sh1q"))))
(build-system haskell-build-system)
- (properties '((upstream-name . "Agda")))
(inputs
(list ghc-aeson
ghc-alex
@@ -68,6 +71,7 @@
ghc-strict
ghc-unordered-containers
ghc-uri-encode
+ ghc-vector-hashtables
ghc-zlib))
(arguments
(list #:modules `((guix build haskell-build-system)
