Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

alsactl ifnames-2.13 xtensa-linux-gnu-as bdftops mgd77track getkeycodes slapacl yedit isinf-and-isnan sdcc-makebin tracd usbhid-dump xbase-config dadadodo dbamsg erlc list-projects-using-plugin.php gpodder-migrate2tres guild changepdfstring vtdeviceinfo update-lilo mobyle-setsid eventsource openxenmanager qmpdclient rhn_register sawfish-ui sra-stat.2.3.5 velveth_63