Binary: lpsconfcheck

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lpsconfcheck

Random binary cloud:

slopBed cabal-rpm dbus-binding-tool r3.out.vtk kde4-doxygen.sh sserver reporter-print scalebar indexmaker pmprobe pigz pki-setup-proxy blitztest rxvt pk2bm transmission-show wesnoth_addon_manager cgdelete eiskaltdcpp-cli-jsonrpc yank gimmix discogrok kcm ilur mailman2lurker makeedict pysnmpbulkwalk marc2ris sorterr xli