diff options
Diffstat (limited to 'pkgs/development/tools/parsing/tree-sitter/grammars/tree-sitter-tlaplus.json')
-rw-r--r-- | pkgs/development/tools/parsing/tree-sitter/grammars/tree-sitter-tlaplus.json | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/pkgs/development/tools/parsing/tree-sitter/grammars/tree-sitter-tlaplus.json b/pkgs/development/tools/parsing/tree-sitter/grammars/tree-sitter-tlaplus.json new file mode 100644 index 00000000000..cf939daf9cc --- /dev/null +++ b/pkgs/development/tools/parsing/tree-sitter/grammars/tree-sitter-tlaplus.json @@ -0,0 +1,11 @@ +{ + "url": "https://github.com/tlaplus-community/tree-sitter-tlaplus", + "rev": "26bbaf5d07356cacbf21defa9316988bc732c8b3", + "date": "2021-10-12T19:50:03-04:00", + "path": "/nix/store/52rs1n8y6krfkb9z2h7jsl4s3j15dp08-tree-sitter-tlaplus", + "sha256": "1yj2hjc48sjjpysjgyji7nx2l0rpc5dnsm68i8amff5wcag5lyhw", + "fetchLFS": false, + "fetchSubmodules": false, + "deepClone": false, + "leaveDotGit": false +} |