%FILENAME%
herdtools7-git-7.58+1.r1593.g7d04cec22-1-x86_64.pkg.tar.zst

%NAME%
herdtools7-git

%BASE%
herdtools7-git

%VERSION%
7.58+1.r1593.g7d04cec22-1

%DESC%
The Herd toolsuite to deal with .cat memory models

%CSIZE%
26712718

%ISIZE%
242482162

%SHA256SUM%
eeebfc15a44077d4cf7837f84c49fc5cf535e5e01bbb51af1175a22222feef29

%URL%
https://github.com/herd/herdtools7

%LICENSE%
CeCILL-B

%ARCH%
x86_64

%BUILDDATE%
1777379786

%PACKAGER%
lilac (on behalf of Yichao Yu) <yyc1992@gmail.com>

%CONFLICTS%
herdtools7

%PROVIDES%
herdtools7

%DEPENDS%
ocaml

%MAKEDEPENDS%
git
python
ocamlbuild
ocaml-menhir
dune
ocaml-zarith
ocaml-logs

