Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

gnome_segv r.in.gdal systemsettings kolf dc1394_multiview mstflint ndo2db.mysql ether-wake semver root.exe xview aptd synthcal ajbrowser autoradioweb ttunique dwww-format-man msp430-gcc-4.6.3 gitit gnunet-arm brsccla ptsb ixpc bdgbroadcall unmime.gz sparksimp dane regmerge float_calc ziproxy