Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

apbs-mergedx2 ceph_test_rados_api_cls cobblerd rsmtp gdbtui g_bond_d g_editconf cvsservice ods-enforcerd orcc ylistb-gfortran lhapdf-query subunit-stats flood_router26 xdotool cdfhflx fibxform dircproxy-crypt ebhttpd v.transform jalv.qt g15ladi ocamlgraph-viewer partclone.vfat xinput_resource postal python2-gen_protorpc make_2d_plots.py gap5 xymonclient-freebsd.sh