Binary: lpsparunfold

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lpsparunfold