Binary: lpsconfcheck

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lpsconfcheck

Random binary cloud:

s390x-linux-gnu-addr2line carbon-path euwatch-list-metrics typemaker jcuber-config kmag tableproxy64 pcretest glx-oml-sync-control-getmscrate urxvt256cc ykval-import bcopy catdvi cl comparepdf mount.exfat fapg gbc3 globus-redia ldirectord mate-at-properties window_test ppdfilt promoe PythonNWSSleighWorker spectool_curses sup-recover-sources a5toa4 dupvserver vzdqload