Binary: lts2lps

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lts2lps

Random binary cloud:

ranlib dm_dso_reg_tool timed-read start_kdeinit getcap rdma_server lynx x86_64-w64-mingw32-strings mpdexit piglit-resume fix-qdf roxterm-config apol virt-viewer vtkWrapTcl ctl_cyrusdb db_replicate eggdrop-1.6.21 extractalign f-irc hashalot cmscan idzebra-config-2.0 lives_avi_encoder3 nitrogen mtst-long sfood-imports ctoh vv_treemap yodl2man