Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

anthy-agent keyrand globus-sh-exec mount.glusterfs gparted mysql_config get_clientids qmlscene ripright xfce4-accessibility-settings yasm cinder-backup cwirc_frontend domainseqs gtnameserv-4.9 r.null guestfsd jackhmmer ipod-time-sync gen_unigram xdl-compiler mumudvb rtl8139-diag shell_var osgkdtree osglightpoint xml2py scfg_train systemd-delta dosepsbin