Binary: menhir

Debian packages that has this binary:

Package: menhir

/usr/bin/menhir

Random binary cloud:

sh-linux-gnu-elfedit intel_punit_write kleopatra qcollectiongenerator-qt5 servicedbgen spacewalk-pylint supybot-plugin-create swarp gvim atmswitch vina elfedit cec-client cfdg addhost eric5_doc freefoam-md fsharpi notify-4.1 dccplso jgraph akonadi_followupreminder_agent kturtle mia-2dmyoica-nonrigid2 oinkmaster pksetmask pltcl_delmod pymvpa2 ttylog sdw2odt