Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

dialyzer gsc ga-config gdb-add-index grdclip irexec qt20fix tcpslice popuretext apertium-reodt automysqlbackup cgconfigparser checksecurity ctfdump cvschroot exfalso flexbackup applygeo greenspline d.his jack_property kcollectd estconfig mbim-network s9cols install-sgmlcatalog pdp15 sisu-html-seg atk6-fake_router6 vde_over_ns