Binary: lpsbinary

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lpsbinary

Random binary cloud:

autoreconf-2.13 m32r-linux-gnu-ar cleanarch dt-getquery find pstack webhttrack lcg-rep yuvtoppm vertexid-beginend qtconfig rakverb sendxmpp ld btreannounce.bittornado groupwise_affine flashproxy-reg-url dns_conf.pl eox kincidenceeditor kumo-manager deserializer.h rmm moosicd rmic pure-ftpd-postgresql rhnsd wmacpi-cli yara yarssr