Binary: lps2pbes

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lps2pbes

Random binary cloud:

openrisc-linux-gnu-gprof dpkg-scanpackages euscale-delete-policy kDepObj virt-pki-validate mysql-zrm-migrate-file-ownership nhlf77 qmlplugindump debuginfo-install dsr2html cpan2deb objfgelm.o javah gozilla sphdistance mount reduce-font testMPEG2TransportStreamTrickPlay mate-shares-admin mia-2dtransform mlprof mrtransform viewevents comp pslist preline rebar slon_start bam-load.2 taud