Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

abrt-action-analyze-vmcore sun2amd ceph_test_cls_version ebtables-save mkstub sgepasswd logconvertor neso pkexec qml-qt5 erb scotch_amk_p2 caret_command dbus-daemon computeBugHistory freefoam-createBaffles cjrndper iptraf mpitask leksahecho mailexec clmformat perditiondb_mysql_makedb localserver.py sc_tracediff st_snapshot tpb tupi ndsend weborf