Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

split cube_cut msgsnarf m.nviz.image rb-archfix mercurial-convert-repo mpdman.py ospam phpci symfony crossbar get_sloc will_python_raise dnal cvs-switchroot dds2tar djview4 exrpptm gfan_tolatex x86_64-w64-mingw32-gnatxref-win32 lp-list-bugs i586-mingw32msvc-cpp osgearth_overlayviewer otrs.RefreshSMIMEKeys.pl pmnsdel pt-ioprofile xplaymidi qhelpgenerator veromix dicomtodicom