Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

distccmon-gnome tred ooimpress gacutil2 camlp4of.opt ops2c urxvt256c-mlc snake-rawhide-status yum-config-manager mheard nm ant.bat epmd funcoeszz x86_64-w64-mingw32-c++-posix grd2xyz gpiv_series gen_binary_files tracetop lps2lts php5-fpm pm_test sahara rt-email-group-admin-4 snetz sb_filter taoparse CompNovo tuxguitar weather-util