guix_mirror_bot pushed a commit to branch master
in repository guix.
commit cc96e1831bc297700f5885c8fc393aca0d0a2c75
Author: Evgenii Klimov <[email protected]>
AuthorDate: Fri Nov 7 14:37:51 2025 +0000
gnu: Add tree-sitter-agda.
* gnu/packages/tree-sitter.scm (tree-sitter-agda): New variable.
Change-Id: I4ba3288e43d84df84504223c85214dadca93b22e
Signed-off-by: Liliana Marie Prikler <[email protected]>
---
gnu/packages/tree-sitter.scm | 10 ++++++++++
1 file changed, 10 insertions(+)
diff --git a/gnu/packages/tree-sitter.scm b/gnu/packages/tree-sitter.scm
index a27d636737..f0ecdaf408 100644
--- a/gnu/packages/tree-sitter.scm
+++ b/gnu/packages/tree-sitter.scm
@@ -293,6 +293,16 @@ which will be used as a snippet in origin."
#:repository-url "https://github.com/briot/tree-sitter-ada";
#:commit commit)))
+(define-public tree-sitter-agda
+ ;; Use a later commit because some tests fail with the v1.3.1 tag.
+ (let ((commit "e8d47a6987effe34d5595baf321d82d3519a8527")
+ (revision "0"))
+ (tree-sitter-grammar
+ "agda" "Agda"
+ "1x06a1c7k5lyw4803h514yibmzizszg8dc6r4wj9gjnr1vw7l7p6"
+ (git-version "1.3.1" revision commit)
+ #:commit commit)))
+
(define-public tree-sitter-arduino
(tree-sitter-grammar
"arduino" "Arduino"
