Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

dpxdic exonerate-server git-restore-mtime git muniwin mysql-myisam-dump add-environment-variables.cmd linestipple pacmd scotch_gmap restart processcsv.py wavemon cssmin amorad-gui bind9-config cdfmppini MonoOfflinePlayer gmsh i.photo.rectify ghb logprn MonoDevelop.exe.config kf-slam nngoback ts2m2ts pt-align jlogin vsplash tcl2c++