Binary: pbesinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/pbesinfo

Random binary cloud:

gio-querymodules-64 kmk_sleep lttng-sessiond nebula graph2tree piglit-resume scout.mpi tmpwatch autoscan2.59 bfbtester bp_genbank2gff3 ceph_test_crypto cleo dicom_echo fud dfgrep ecalength eliompp exiftags fdrawcmd funds9 d.geodesic hdate deb-systemd-helper parse_profile.pl osgkeyboardmouse instant-showcache scim-make-table sgml-spell-checker sclangpipe_app