Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

bsdtar3 srmv2 euca-attach-network-interface gdlib-config mkhtmlindex kio_svn_helper scsitape ocamlc arb_texture_view-rendering-formats qgis radacct razor-notificationd system-config-network xmodmap objdump install_ferret_links fdnsnamep h8300-hms-c++ grdmask g.dirseps prunehistory tmxwc mate-cpufreq-selector msp430mcu-config rtl_fm solid-pop3d is.pl tagcoll tigexp xenwatchdogd