Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

map-packages dnsmasq dpkg-trigger dvdisaster curator r.colors.out jfs_tune JxrEncApp mysql_tzinfo_to_sql pcs ppl-config molecularpdos.x_openmpi voikkohyphenate monitor fix_filenames.inc asunder bogofilter-sqlite dchroot-dsa rmadison fusefat g.mkfontcap xfmconcat ttink cpu_offlining pvmgs pymcabatch s3dfm extract_qual stash modupdate