.SRCINFO


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

pkgbase = herdtools7-git
	pkgdesc = The Herd toolsuite to deal with .cat memory models
	pkgver = 7.52.r1322.g650450b6
	pkgrel = 1
	url = https://github.com/herd/herdtools7
	arch = i686
	arch = x86_64
	license = CeCILL-B
	makedepends = git
	makedepends = make
	makedepends = dune
	makedepends = ocaml-menhir
	depends = ocaml
	provides = herdtools7
	conflicts = herdtools7
	source = git://github.com/herd/herdtools7
	sha256sums = SKIP

pkgname = herdtools7-git