Binary: pbespp

Debian packages that has this binary:

Package: mcrl2

/usr/bin/pbespp