Binary: lpsinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lpsinfo

Random binary cloud:

restart-dirsrv byobu-ugraph fzputtygen font2c Wand-config cppumaker rpc.idmapd tablify fp-kil scrollkeeper-get-toc-from-id pdetach img2xpm cfrun cwirc_frontend getcookie refseqget dump2vtk grub gsmsmsstore ltpretty mcu8051ide medit mosquitto_passwd biosinfo pksetmask sisu-webrick tucd update-fmtutil csg_gmxtopol vbvolregress