Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

mycrypt corosync-keygen easybashgui guilt-unapplied kfile4 makewhatis pbmtowbmp pcl_radius_filter sabredav.php glsl-max-varyings radstatus sg_opcodes processcsv.py jsc-1 2csv diffpdf gfscompare2D gnome-schedule ocsptool mpirun_lam ui-utilcpp-version marionnet mcxassemble nstk pcl_in_hand_scanner se_apt-get proofgeneral qmail-pw2u mtst-long springgraph