diff options
author | Austin Seipp <aseipp@pobox.com> | 2014-06-08 07:49:27 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2014-06-09 01:25:27 -0500 |
commit | 8155e5d11916e56d5fcaa88534cb6461a9c1f042 (patch) | |
tree | 04e3768521bd493e20f634391424952725dda89f /pkgs/development/tools/misc/arcanist | |
parent | 7aa7b967a9741678d7b9239974f9e9632f45fa0d (diff) |
compcert: fix build by adding menhir dependency
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/development/tools/misc/arcanist')
0 files changed, 0 insertions, 0 deletions