Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

BackupPC_Admin ceph_smalliobench ppdmerge dialog-config exinext mkhybrid gindxbib find-jar kni_sensor mysql-zrm-extract-backup zts-php-config rstpep2html prepareHistFactory hostbyname tunneler approx-import autoconf2.64 dictfmt_index2suffix dh_aspell-simple esorex fence_alom jbgtopbm odf_set_fields wsapi.fcgi mailagent.ctrlM.pl note autopep8 gout-int64 svdir atk6-address6