Binary: lpsinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lpsinfo

Random binary cloud:

genkrf monotone-viz mpitests-osu_gather prosody-migrator sslh dnsget auchk ar col3 ceph_test_cls_rgw_log mkdhparams dpkg-remove dpkg-www mk_vtsm_lang git-repl dh_gnome go2 kftpgrabber pg_prove fftns add_members mate-time-admin-pkexec pmxab ppswatch pymca join_paired_ends.py qdoc syrthes-pp ucspi-proxy wpe