[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#61915] [PATCH v2 03/13] gnu: agda: Update to 2.6.3 and switch to gi
From: |
Josselin Poiret |
Subject: |
[bug#61915] [PATCH v2 03/13] gnu: agda: Update to 2.6.3 and switch to git-fetch. |
Date: |
Sun, 30 Apr 2023 12:53:13 +0200 |
From: Josselin Poiret <dev@jpoiret.xyz>
* 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 | 13 ++++++++-----
1 file changed, 8 insertions(+), 5 deletions(-)
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index 7128a3f108..252193de90 100644
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@@ -37,15 +37,17 @@ (define-module (gnu packages agda)
(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 +70,7 @@ (define-public agda
ghc-strict
ghc-unordered-containers
ghc-uri-encode
+ ghc-vector-hashtables
ghc-zlib))
(arguments
(list #:modules `((guix build haskell-build-system)
--
2.39.2
- [bug#61915] [PATCH v2 00/13] Update agda, add build-system and libraries., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 01/13] gnu: Add ghc-peano., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 02/13] gnu: Add ghc-vector-hashtables., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 04/13] gnu: agda: Build info manual., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 06/13] gnu: emacs-agda2-mode: Switch to G-Exps., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 07/13] gnu: agda: Add AGDA_LIBDIRS search-path., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 12/13] gnu: Add agda-cubical., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 05/13] gnu: emacs-agda2-mode: No longer inherit from agda., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 03/13] gnu: agda: Update to 2.6.3 and switch to git-fetch.,
Josselin Poiret <=
- [bug#61915] [PATCH v2 09/13] build-system: New agda-build-system., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 13/13] gnu: Add agda-1lab., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 08/13] build-system/haskell: Export default-haskell., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 11/13] gnu: Add agda-categories., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 10/13] gnu: Add agda-stdlib., Josselin Poiret, 2023/04/30