Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

aserver clean-crl fixparts glpsol lxt2miner ipmievd abidw printemf mpic++ onsgmls gensrv_py.py vftovp wlassistant xlsfonts xpaaccess dispread mkvgafont dhcp-helper kitpost feelpp_qs_nlopt mgd77track x86_64-w64-mingw32-gnatlink-win32 MP4Client jabber-querybot mnemosyne opticalraytracer otfprofile-mpi rainbows since tracker-stats