Binary: menhir

Debian packages that has this binary:

Package: menhir

/usr/bin/menhir

Random binary cloud:

ansible-playbook as zcat h5c++-32 abilint mtp-sendfile mirmon slog2print shjs dbcolmovingstats fbo-storage-formats pq2-verify sdcc-packihx syslinux dnssec-checkds ceph_test_rados_list_parallel fib2image gcal hardinfo idevicename mx-create-image-cache convert-ly movaMTK mp3wrap pscan pyntor twitter-to-xhtml rabbit-slide sendip squeue