Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

dirac_BMPtoRGB dpm-dpns-to-disk dpm-list-disk euca-cancel-conversion-task exonerate fc-match glite-lb-logevent icewmtray lcov ntpd obprobe change_tz smbtar x2goprint xzdec bibtex2html binfmtc-interpreter cantata isotpsniffer cdfokubo-w symphony dpt-i2o-raidutil gdebi-kde grcc ipfm multicat_validate lzip.pdlzip starconvert tzc jcasgen