Binary: lps2lts

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lps2lts

Random binary cloud:

beakerlib-lsb_release mtcp_restart fawkes skillgui_batch_render dcopquit oomath mpiexec.hydra ocamlmklib pmgenmap bitly spec fuzz_dhcps6 v4l2-sysfs-path xdvi Xnest atsar cr_checkpoint calcurse-upgrade ceph_test_snap_mapper cryptmount splitdns323fw glance-cache-cleaner bearerbox getrich sgw_policy_routing_setup.sh procmeter3-gtk2 fabio_viewer qwbfsmanager acpl fsoids