Binary: lts2lps

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lts2lps

Random binary cloud:

alpha-linux-gnu-ar ld.bfd db_recover euare-usergetattributes ucalc rabbitmq-server sems diatheke transmission-create tripwire fill-ref-md5 motv msp430-objdump seqsplit cfshow git-commits-since lid jnoisemeter testMP3Streamer bugpoint lsh-decrypt-key pbes2bes swab ossim-swapbytes pconsole s3ql_verify selinux_check_securetty_context tos-ramsize tkremind translaboob