summarylogtreecommitdiffstats
path: root/.SRCINFO
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