Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

v.edit grib_to_json stream ihpm rtacct mtp11-sendtr nl-cls-add mkvinfo draw-elements-base-vertex planet-cache osbs2 ftpsend stompcat x2goshowblocks aediff aiksaurus atspack check_postgres_autovac_freeze customdeb x86_64-w64-mingw32-gnatls-win32 gpsdecode estwaver akonadi_followupreminder_agent ldapaddusertogroup ubicrc32 sem accelerometer_test pyecm sbuild-checkpackages texluajitc