Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

gpgsplit ibdiagpath ikiwiki mtp11-getplaylist mtp-hotplug ld libgomp-1.dll mpitests-osu_get_latency pdcp sabredav ext_framebuffer_multisample-int-draw-buffers-alpha-to-one Pixie_show rosdistro_build_cache urxvt256c t1ascii uuconv arriero calife checksecurity dhomepage gquilt hmount vips-7.40 ltsp-chroot maria vbnc2 jmap osgcluster pgbouncer tester