Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

nexuiz-sdl fvwm2 getmail_fetch r.report kdesvnaskpass activation-client pst2dii phpcov hiz-stencil-test-window-depth0 supybot-adduser mode3 xfs_fsr bareos-sd huntd debci-status debconf-getlang tzap updater grlearn overchan dh_gstscancodecs ocrfeeder-cli dgpart-int32 hitc remuco-tvtime masai_indexer sntop dviluatex webcamd false