.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

pkgbase = haskell-agda-language-server
	pkgdesc = An implementation of language server protocal (LSP) for Agda 2.
	pkgver = 0.2.1
	pkgrel = 22
	url = https://github.com/banacorn/agda-language-server#readme
	arch = x86_64
	license = custom: MIT
	makedepends = git
	makedepends = ghc
	makedepends = haskell-tasty
	makedepends = haskell-tasty-golden
	makedepends = haskell-tasty-hunit
	makedepends = haskell-tasty-quickcheck
	depends = ghc-libs
	depends = agda=2.6.2.2
	depends = haskell-aeson
	depends = haskell-lsp
	depends = haskell-network
	depends = haskell-network-simple
	depends = haskell-strict
	source = agda-language-server-0.2.1::git+https://github.com/banacorn/agda-language-server.git
	source = agda-2.6.2.2.patch
	sha256sums = SKIP
	sha256sums = ed084cba399458ddb1cd3297f3ceaf15742611e0c16316b546f53bc1241ceb02

pkgname = haskell-agda-language-server