Binary: lpsinvelm

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lpsinvelm