Binary: lps2torx

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lps2torx