Binary: lps2pbes

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lps2pbes

Random binary cloud:

objdump gssdp-device-sniffer login mtp11-newplaylist clog2print netkey-tool qml qmlscene-qt5 ident tnef SpecularSpheres cr_checkpoint ceph_test_stress_watch ij gfan_fanproduct gradle gtk-theme-config jack_net_slave jhindexer gdcmdump polarssl_ssl_cert_test mspdebug cd-helper fsls avg_checktouch storageservicemanager active_interactor w2text wakeonlan zegrapher