Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

jumpapplet h8300-linux-gnu-size as docco glite-proxy-renew r.out.tiff targetd_lsmplugin wrmsr myproxy-admin-addservice picprog oslo-rootwrap wxmlgetvalue aesub dh_ocaml dtdinst get_agsize gmlive mpegcat endnote-format cal3d_converter pmvarrun lsh-keygen primorial muse opendict einfon osgtessellate pepper keyart tracd