Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

waitmax thin_repair mkpasswd psbasemap sge_shepherd ldns-key2ds mtp11-connect lrztar mpitests-osu_put_latency dbcolsplittocols ext_framebuffer_multisample-renderbufferstorage-samples glx-create-context-current-no-framebuffer i686-linux cpspcd shinken-broker SeqNoise cdfstats ebnupgrade freefoam-cavitating genisovh xmedcon-config lt-proc yuvdeinterlace neutron-l3-agent repsnapper tcxpm2rgb ttylog libxl-save-helper xfce4-sensors xorp_pimsm6