Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

composeglyphs spuunmux jhead mtp-reset rx nntpgrab_server_gtk openhpid ctypesgen.py assistant-qt5 proofexecv clc_analyze.hyb amavisd-new-cronjob blueman-manager hciconfig DISKLESS_SERVER discoSnp_to_genotypes gtranslator ifile.learn.mailbox convert-im6 l2tpns lcrack_regex frend srvsearch ProcessAndroid.pm ostinato perdition.imaps pfsview pure-ftpd-ldap dkimverify make_2d_plots.py