Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

fatmen-gfortran db43_deadlock dpns-getacl kml2gmt h5unjam racoonctl swappo ledmon mg pcp-numastat arb_shader_atomic_counters-minmax fbo-srgb theora_player.bin strip cntlm dns2tcpc fake-hwclock giblib-config iki-git-shell hcp mariadb_config cli.js h2xml shutter login.pl tc2text ringstat wdmLogin winedbg-development zkServer.sh