Binary: lpspp

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lpspp

Random binary cloud:

show_profile_stats.pyo bindexdist ranlib sedismod colordiff dt-getname gpilotd-session-wrapper gnuplot-wx h5redeploy certfind monitorix openpgp2spki mpitests-osu_scatter mpirun ntfs-3g cubemap glsl-vs-statechange-1 semodule_package tgtd bind9-config cf-monitord ftpcopy gnative2ascii-4.8 gmt_shell_functions.sh grib_parser mgp2latex openpgp-tool replica condredirect science-dataacquisition