Binary: lps2lts

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lps2lts

Random binary cloud:

audispd-zos-remote sparc64-linux-gnu-strip cdrdao d.what.rast ipa-compat-manage llvm-diff mysql_waitpid raw_ethernet_bw stg unbound-host startx yap ptree aevol_misc_ancstats gnatmetric eric5_qregularexpression freefoam-MRFMultiphaseInter grabc cpclean ifscheme-mapping fetchnews tracesplit tcptraceroute6 nuitka-run qemu-sparc elogin smbc tos-bsl IDMapper mkpopular