Binary: lpsconfcheck

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lpsconfcheck

Random binary cloud:

mn10300-linux-gnu-as atobm chmoddic jscoverage content-untag fd_ef.x resize yaps bp_unflatten_seq sethdlc xml2vdr trees2prolog x86_64-w64-mingw32-gcc-nm-win32 fixtd imclean indi_simulator_telescope kerneltop kexi tkill pdbdump polarssl_aescrypt2 polyorb-config minirok nuitka-run obsession-exit ofono-phonesim qscan regression_tests.sh gmtst sphinx_cont_fileseg