Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

start-dirsrv apbs-mgmesh autotrace thin_ls djvmcvt fence_vmware_soap h4cc nunit-console2 tdpackdemo qdbusviewer-qt5 create_bmp_for_symmetrical_stripline autogen beancounter bf_tar-sqlite pbmtojbg85 maf-cull lmms mandos-keygen mia-2dimagefullstats netplan notes-mobile ntfs-config patchelf pdebuild analyze qemu-system-i386 rivet-mkhtml rmagic krakatoa wmcpu