.SRCINFO


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

pkgbase = ttt2-hg
	pkgdesc = An automatic termination prover for term rewrite systems (TRSs) (mercurial version)
	pkgver = 1.20.1.r2116.7c846900def0
	pkgrel = 1
	url = http://colo6-c703.uibk.ac.at/ttt2
	arch = i686
	arch = x86_64
	license = LGPL
	makedepends = ocaml
	makedepends = ocaml-findlib
	makedepends = ocaml-num
	makedepends = camlidl
	makedepends = mercurial
	depends = libxslt
	depends = gmp
	provides = ttt2
	conflicts = ttt2
	source = ttt2-hg::hg+http://cl2-informatik.uibk.ac.at/mercurial.cgi/ttt2/
	sha256sums = SKIP

pkgname = ttt2-hg