blob: e1c3dcaeba16f8d1178373de2e6542a4da97e662 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
pkgbase = ttt2
pkgdesc = An automatic termination prover for term rewrite systems (TRS)
pkgver = 1.15
pkgrel = 1
url = http://colo6-c703.uibk.ac.at/ttt2/
arch = i686
arch = x86_64
license = LGPL
makedepends = camlidl
makedepends = ocaml
depends = libxslt
source = http://colo6-c703.uibk.ac.at/ttt2/download/ttt2-1.15.tar.gz
md5sums = aaf7071b00a425a94df8dc213ffe03bf
sha1sums = 36c05cf56372399a5bb480a7df50aa308fdc1841
sha256sums = ebe50cd81f6851abeb9046423fb55ef140c81656d5282a3ebe36433c5a93d7e2
pkgname = ttt2
|