Binary: lpspp

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lpspp

Random binary cloud:

nm euca-unmonitor-instances kibitz kprop sctop-record fp-lit-mask pychecker sgp_dd tpm_setenable xfig xhost cinnamon-sound-applet dcm2image plotchangelog dns2tcpd edamhasinput dump-netlink gcj-dbtool garchive ttyrec2ansi oxygen-settings mifare-desfire-format app.psgi rfl occ pdfmod qmail-getpw quickml-ctl sitesummary-update-nagios xemacs21-mule