Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

autoconf bacula-sd gmttrack qtcsh h5jam ksquares ulimit4.sh i686-w64-mingw32-ar mdoc pamseq asql veritysetup docbook-to-man gpiv_errvec gpiv_peaklck grail-test-propagation sieve2scm maq.pl mia-2dseries-segdistance cleanup_ANTS_warp mugshot nepomukctl xep scotch_esmumps-long sndfile-generate-chirp do_auth xtherion configsnapshot tracker-info yhsm-generate-keys