From 8ded7cd784d582ce96bea5d643f6b6ded21631f3 Mon Sep 17 00:00:00 2001 From: Karl Hallsby Date: Wed, 27 Mar 2024 21:00:13 -0500 Subject: gnu: Add tree-sitter-tlaplus. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * gnu/packages/tree-sitter.scm (tree-sitter-tlaplus): New variable. Change-Id: I0e66b87a872bdb29b3c01f4eaf4486dab3d1873f Signed-off-by: Ludovic Courtès --- gnu/packages/tree-sitter.scm | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'gnu/packages/tree-sitter.scm') diff --git a/gnu/packages/tree-sitter.scm b/gnu/packages/tree-sitter.scm index 7515461993..f049ac590e 100644 --- a/gnu/packages/tree-sitter.scm +++ b/gnu/packages/tree-sitter.scm @@ -6,7 +6,7 @@ ;;; Copyright © 2023 Andrew Tropin ;;; Copyright © 2023, 2024 Nicolas Graves ;;; Copyright © 2023 Zheng Junjie <873216071@qq.com> -;;; Copyright © 2023 Raven Hallsby +;;; Copyright © 2023, 2024 Raven Hallsby ;;; ;;; This file is part of GNU Guix. ;;; @@ -677,3 +677,11 @@ which will be used as a snippet in origin." "scala" "Scala" "0hs6gmkq5cx9qrmgfz1mh0c34flwffc0k2mhwf13laawswnywfkz" "0.20.2")) + +(define-public tree-sitter-tlaplus + (tree-sitter-grammar + "tlaplus" "TLA+" + "1k60dnzafj6m9c2d4xnwiz3d7yw3bg3iwx7c1anhwr76iyxdci3w" + "1.0.8" + ;; Version 1.2.1 is most recent, but requires tree-sitter >0.21.0 + #:repository-url "https://github.com/tlaplus-community/tree-sitter-tlaplus")) -- cgit v1.2.3