Binary: lpspp

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lpspp

Random binary cloud:

condor_userlog cris-linux-gnu-gcov klist pt_BR intltoolize kwikdisk ppmforge orbit-idl-2 catalyst.pl dlist-fdo3129-02 fbo-drawbuffers lcp_crtpconf t4ht todocli bootpgw designate-central dwww-refresh-cache bpcancel jpegexiforient lxc-test-getkeys MonoDevelop.Core.dll.config pvmgs neighbor_joining.py roarmonhttp rmsgmerge eptex visolate vbmerge4d huffman xen