Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

dialyzer getdns_query text-editor.sh imgcmp wrjpgcom malaga depmod mpic++ orbit-idl-2 mkrequest tcpcapinfo vncconfig vapigen echo htadd bossac connect dconf anytoucd gst-convert bboxx makedbz rotate kturtle tificc prequest3 plt-r6rs texifylogla vinetto xenpm