Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

strip ctdb_run_cluster_tests mkeot flow-dscan flow-fanout HerculesStudio vgmknodes omniNames pmie rusers xscreensaver lzdiff gnatmetric strip cryptdisks_stop switch-pxe-bg-mode MP4Client m17n-date multinode_server keytool pmlock ps2lexmark pg_dotconf.py rdkit2fps join_paired_ends.py rovclock mksmbpasswd sigma texifyscheme lua2dox_filter