Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

fence_rsa globus-fork-starter gspath db.copy probemodem mpitests-osu_gather mysqlshow ifconfig crm_node snmpkey arb_es2_compatibility-depthrangef rear ripright dcm2pnm gcj-4.8 condor_configure screendump demo.sh audio_rename logjam lp-project tracks2prob asn2ff ocrfeeder ogmcat pegasus-cleanup test_worker.py ConvertTSVToTraML MapStatistics xc_save