Binary: lpsinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lpsinfo

Random binary cloud:

ebi2xml clamdtop e2undo r.li.padrange start_kdeinit lvdisplay pvserver vnc2swf-edit t1asm iusql whereis nrsdrv cinnamon-session-cinnamon2d notifyd debconf-copydb dctopgm8 drbl-live freefoam-piso fusedav oxygen-demo dtdformat opt-3.4 guimb maria repeat-match jhat process_qseq.py ib_qlgc_vnic_info sendme rubber