Binary: lpsinfo

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lpsinfo

Random binary cloud:

amcheck smsq ld.bfd anacron grdpaste pscoast g_nmeig katomic targetd_lsmplugin mdb-prop metacity-window-demo flamegraph.pl pure-pwconvert synergy tomcat-juli.jar xmodmap binkdlogstat cclib-get dwz gbrowse_grow_cloud_vol gkbd-keyboard-display gpxlogger frag6 osgtexture2D pt-slave-restart resample s9soccat sogo-ealarms-notify gsplash tcdemux