Binary: lps2pbes

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lps2pbes

Random binary cloud:

artsshell objcopy gtester wrestool getkey ykparse osx redhat_lsb_trigger.x86_64 newaliases.ssmtp detect-new-ip6 ellcc film dcmquant installdeb-ispell diameterc ewfrecover install-ftp.sh seewbmp krcdnotifieritem qsrotate mswatch ods-server ossim-icp pushpin-proxy qmlviewer hr.pl scram_merge swift-account-replicator doc2pdf vdm_encode