Binary: pbesinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/pbesinfo

Random binary cloud:

amavisd-agent svgpp fio tiffdump scsieject ntptime podpath razor-check cppp.x_mpich cslatex x2goshowblocks ayttm_streamer_wrapper crunch dcm_resize cw dbus-monitor dh_fixperms drbl-get-netmask enum rzxdump render_msa mcpmv pkinfo mm-test quot ragg2 dnsimple.rb srf-load.2.3.5 queue cleanup