Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

avr32-linux-gnu-addr2line m32r-linux-gnu-ld size86 dtc strfile geographiclib-get-geoids crmadmin fixtpps sow po2web2py bogolexer-sqlite update-ini-file d-feet dottup fl-monitor-ctl glam2mask genconf_d estmaster kpa-backup.sh connect-tunnel nfoview osgwidgetinput pius-keyring-mgr plainbox powerline-lint python3-dbg wxglade qemu-mips64-static qtractor SwapValuation