pkgbase = ttt2
	pkgdesc = An automatic termination prover for term rewrite systems (TRS)
	pkgver = 1.20
	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.20.tar.gz
	sha256sums = 144ed636276a179a610990fe45b9b849ffd0099b78c0a265a7d4d0e071f3cc18

pkgname = ttt2