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