From 4dfb783eea972eafe03af9110a6f96f880cd82d5 Mon Sep 17 00:00:00 2001 From: Hilton Chain Date: Sat, 12 Apr 2025 13:12:33 +0800 Subject: [PATCH] gnu: tree-sitter-tlaplus: Update to 1.5.0. * gnu/packages/tree-sitter.scm (tree-sitter-tlaplus): Update to 1.5.0. Change-Id: I36c93a838e9bdc2d7eec53591f0cf1c4b9e53fbd --- gnu/packages/tree-sitter.scm | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/gnu/packages/tree-sitter.scm b/gnu/packages/tree-sitter.scm index 8f52c665e62..63435e1a7f2 100644 --- a/gnu/packages/tree-sitter.scm +++ b/gnu/packages/tree-sitter.scm @@ -769,10 +769,10 @@ which will be used as a snippet in origin." (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")) + "11073rjg9n9hnr88193mmb8ff5xlcv6isgqc0g2fbfbl0y820zlk" + "1.5.0" + #:repository-url "https://github.com/tlaplus-community/tree-sitter-tlaplus" + #:commit "1.5.0")) (define-public tree-sitter-kotlin (tree-sitter-grammar