Package Details: tree-sitter-agda-git 1.3.3.r1.gb9b32fa-3

Git Clone URL: https://aur.archlinux.org/tree-sitter-agda-git.git (read-only, click to copy)
Package Base: tree-sitter-agda-git
Description: Agda grammar for tree-sitter
Upstream URL: https://github.com/tree-sitter/tree-sitter-agda
Licenses: MIT
Groups: tree-sitter-grammars
Conflicts: tree-sitter-agda
Provides: libtree-sitter-agda.so, tree-sitter-agda
Submitter: Chocobo1
Maintainer: Chocobo1
Last Packager: Chocobo1
Votes: 0
Popularity: 0.000000
First Submitted: 2025-03-05 22:53 (UTC)
Last Updated: 2025-03-09 15:28 (UTC)