Binary: menhir

Debian packages that has this binary:

Package: menhir

/usr/bin/menhir

Random binary cloud:

euare-groupadduser exim_fixdb m68k-linux-gnu-gcov pdf2dsc placeholder ph5diff ucpp wpd2raw dynmat.x soqt-config jtag amarokcollectionscanner bbtime objcopy sixpack ibid-knab-import udplsi JFractionLab.jar kdbg rdf_transcode.pl mini-buildd dist openpgp-tool pasdoc pnscan polygraph-udp2tcpd txaws-list-buckets parallel_blast.py vmfusion.rb tasque