Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

abrt-action-list-dsos unixcat condor_power cvscheck gpg-error smtpctl dbroweval glx-get-current-display-ext pterm ase-db pixeltool winebuild btrename.bittorrent connectomeviewer gff2ps album2pls ppit lts2lps mp3diags openBmapGTK sfill slon_start sms_address socket texifypromela lua2dox_filter automappingconverter version.sh symtext xtel