Binary: lpsinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lpsinfo

Random binary cloud:

show_profile_stats.py ceph_dupstore cksum isodump irclogsearch mysqluc addr2name clusterdb iotk_print_kinds.x_mpich tomcat6-tool-wrapper col1 debian-edu-hwsetup dotpath gropdf imgsizer mtbatch hcp warp polarssl_gen_random_ctr_drbg lsh-authorize mhc2palm update_blastdb asn2idx dh_pidgin ppswatch textqdacco spatialite_network pyspf vb2tes xpn