.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
27
28
29
30
31
32
33
34
35
36
37
38
39
40

pkgbase = agda-git
	pkgdesc = A dependently typed functional programming language and proof assistant: development version
	pkgver = 2.5.1.r5471.51914041f
	pkgrel = 2
	url = http://wiki.portal.chalmers.se/agda/
	arch = x86_64
	license = custom
	makedepends = git
	makedepends = alex
	makedepends = happy
	makedepends = ghc
	depends = ghc-libs
	depends = haskell-async
	depends = haskell-blaze-html
	depends = haskell-boxes
	depends = haskell-cpphs
	depends = haskell-data-hash
	depends = haskell-edisonapi
	depends = haskell-edisoncore
	depends = haskell-edit-distance
	depends = haskell-equivalence
	depends = haskell-geniplate-mirror
	depends = haskell-gitrev
	depends = haskell-hashable
	depends = haskell-hashtables
	depends = haskell-ieee754
	depends = haskell-murmur-hash
	depends = haskell-regex-tdfa
	depends = haskell-strict
	depends = haskell-unordered-containers
	depends = haskell-uri-encode
	depends = haskell-zlib
	optdepends = agda-stdlib: for standard library
	provides = agda
	conflicts = agda
	source = agda::git+http://github.com/agda/agda.git
	md5sums = SKIP

pkgname = agda-git