Binary: lts2pbes

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lts2pbes

Random binary cloud:

ppdi testpattern ldns-walk libgcc_s_sjlj-1.dll ods-signerd piglit-summary-junit arb_sync-sync-initialize vbo-map-unsync get_module printcbm midi2abc asy dcunrgb dns2tcpd czap fw gbrowse_configure_slaves grdesktop grig webxref vtdeviceinfo qavg codeEditor zconfig submit_to_mgrast.py qmail-qmtpd savi uim-chardict-qt4 xenstore-chmod zwgc