Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

autotest-local-streamhandler condor_on initialize_github2fedmsg_db qtcsh arb_texture_view-lifetime-format qhelpgenerator roundup-gettext shar savetextmode setsid wseventmgr ocs-cvtimg-comp gallina icon_append_index RGBtoYUV420 runrc.cmd electric gmerlin_vanalyze i686-w64-mingw32-gnatls-win32 check_perldiag movaTK mp4track nwrite pegasus-tc-converter encode.py trove-api dh_swi_prolog dumpxsb yaggo dh_installyorick