summarylogtreecommitdiffstats
path: root/.SRCINFO
blob: 180fbce0542b593a8744848752197f572ea67db7 (plain)
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
41
42
43
44
pkgbase = agda-git
	pkgdesc = A dependently typed functional programming language and proof assistant: development version
	pkgver = 2.5.1.r8151.g4108da695
	pkgrel = 1
	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-bifunctors
	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-filemanip
	depends = haskell-aeson
	depends = haskell-geniplate-mirror
	depends = haskell-gitrev
	depends = haskell-hashable
	depends = haskell-hashtables
	depends = haskell-ieee754
	depends = haskell-monad-control
	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