blob: 7c403dc2c4234cc5a18e3b652368fc7dffeb2f8d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
pkgbase = tree-sitter-agda-git
pkgdesc = Agda grammar for tree-sitter
pkgver = 1.3.3.r1.gb9b32fa
pkgrel = 3
url = https://github.com/tree-sitter/tree-sitter-agda
arch = i686
arch = x86_64
groups = tree-sitter-grammars
license = MIT
makedepends = git
makedepends = nodejs
makedepends = tree-sitter-cli
depends = glibc
provides = tree-sitter-agda=1.3.3.r1.gb9b32fa
provides = libtree-sitter-agda.so
conflicts = tree-sitter-agda
options = staticlibs
source = git+https://github.com/tree-sitter/tree-sitter-agda.git
sha256sums = SKIP
pkgname = tree-sitter-agda-git
|