Binary: lpsinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lpsinfo

Random binary cloud:

nm bltk_get_bat install-info lnstat pwmconfig mpitests-osu_reduce_scatter pcl_pcd_change_viewpoint pcapinfo smbd sg_unmap ttf2pt1_showdf chsh img2py bcopy ceph_test_cls_rgw_log cw faust2octave flush segy2grd legit PSVIWriter testMPEG4VideoStreamer mipe0_9to1_0 ftl_format ubiattach partclone.ntfsfixboot buildoutputparser easy_plot slave vifm