Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

ar ls mupdatetest diff3 mtcp_restart msgunfmt oscdump ipmilan chkhelp pdfjam netdomjoin-gui syslog-ng-ctl lsblk lproj ykval-import alice blastcl3 ocs-live-bug-report dotforward fitgcp gfplus ginpaths2 picoproj mpicalc mp3blaster jstack rabbitmqctl nlogin cofactors.txt ripperx