Binary: lps2pbes

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lps2pbes

Random binary cloud:

gencmn whois lvmsar x86_64-w64-mingw32-windmc slog2navigator qmleasing convert_to_should_syntax synfig-config po2tiki XSupplicantUI xz bib2bib ecaccess-file-delete.bat giggle mou2gmn ifile.reset ip latexrevise mifare-desfire-create-ndef sitecapturer remoterepl wks2raw jrunscript pmlogger_daily qemu-x86_64 snappy FLOTTER specify pregap4 nvlc