.SRCINFO


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

pkgbase = ttt2
	pkgdesc = An automatic termination prover for term rewrite systems (TRS)
	pkgver = 1.19.1
	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
	depends = libxslt
	depends = gmp
	source = http://colo6-c703.uibk.ac.at/ttt2/download/ttt2-1.19.1.tar.gz
	sha256sums = e083133d9a2ba2f5af52d9fa5daa990e9753c8965098f7b63b4590d346dc9506

pkgname = ttt2