Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

d52 escript gigolo globus-gridftp-server-setup-chroot inkview vboxtoau kcachegrind mlpack_fastmks vomsserver.pl pflogsumm supybot-plugin-package as chimera2 dcm_ctnto10 dh_installxfonts ltsp-arch-debian-edu to_erl fstransform gr_spectrogram_plot_s d.rast.num esponja pgmtoimgv file2udp aria-demo polarssl_ssl_cert_test start-nas pt-align python2.7-config hrancid t-prot