.SRCINFO


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

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

pkgname = csi-hg