Package Details: tree-sitter-agda-git 1.3.3.r3.ge8d47a6-1

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: 2026-01-03 18:57 (UTC)