Binary: lps2pbes

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lps2pbes

Random binary cloud:

avahi-resolve sh-linux-gnu-objcopy v.in.db g_dist i2cdump iserial mingetty nspr-config adduser dumpreg vapigen AmbientSpheres zarafa-fsck adlint ambdec_cli bzfgrep ceilometer-alarm-notifier dvbtune r.in.bin gri tracestats mcrl2-gui mark_service_inactive touchpad_driver_info fodtrack qtscrob gcv racy tweak-wrapper xenpvnetboot