Binary: lpsconfcheck

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lpsconfcheck

Random binary cloud:

cf-agent install ipmi-power glib-compile-schemas playdv libpng12-config litmus esp_openmpi dbcolcopylast pyrsa-decrypt qtconfig redland-config wvLatex upgradedb crtmpserver gcpbasket gchemcalc gnunet-fs stream-im6 mpicc.mpich link-parser lldb-gdbserver-3.5 matitac.opt ocamldumpobj pythoncad msh2geo sisc pt texifyc++ wineboot-development