Binary: menhir

Debian packages that has this binary:

Package: menhir

/usr/bin/menhir

Random binary cloud:

alsaunmute duplicity gctags gmtswitch gupnp-binding-tool hdp psfstriptable lxc-unfreeze square sg_wr_mode ceph_test_cls_replica_log encfssh gtg cockpit.sh mcdiff ncpus mia-labelsort ne2k-pci-diag jadejs se_synaptic pvmgroups tau2taurus scheme-r5rs.scheme48 ml-build pbibtex tunnelx upslug2 viking vim.nox zshutdown_notify