Binary: besinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/besinfo

Random binary cloud:

abrt-server fdtdump g_hydorder htsearch kmdr-editor latex2emf nss_pcache mpispawn pcl_fast_bilateral_filter pmval masktest samtools xvile-to-html airtun-ng bubblefishymon cairo-perf-micro gosafe gsimplecal oodoc_test list_admins dist fmttest osgdepthpeeling ossim-tfw2ogeom posh.dbg plot_rank_abundance_graph.py sbnc razers2 tau_treemerge.pl tcdecode