Binary: lts2pbes

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lts2pbes

Random binary cloud:

pspell-config hppa64-linux-gnu-size crxdic thin_restore jpegicc ucpp hpidomain openmx_mpich arb_shader_atomic_counters-minmax sg_unmap reindex config-parser arename frze i586-linux-gnu-ld dssi_list_plugins tcode r.out.pov kdigest tracetop mh_cleanpom pfsoutffmpeg qbiff scotch_esmumps-int32 sic tilt_synthesis vdb-lock.2 sshguard busctl vrpm