# Generated by makepkg 7.1.0
# using fakeroot version 1.37.2
pkgname = herdtools7-git
pkgbase = herdtools7-git
xdata = pkgtype=pkg
pkgver = 7.58+1.r2296.g7c4cff83d-1
pkgdesc = The Herd toolsuite to deal with .cat memory models
url = https://github.com/herd/herdtools7
builddate = 1792183423
packager = lilac (on behalf of Yichao Yu) <yyc1992@gmail.com>
size = 274121992
arch = x86_64
license = CeCILL-B
conflict = herdtools7
provides = herdtools7
depend = ocaml
makedepend = git
makedepend = python
makedepend = ocamlbuild
makedepend = ocaml-menhir
makedepend = dune
makedepend = ocaml-zarith
makedepend = ocaml-logs
