Binary: lps2lts

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lps2lts

Random binary cloud:

czmq_selftest direct_stream grandvizier tcpnice fastaclean esri2wkt.py db.connect v.select mmdblookup ncrack pmerr edquota scrollkeeper-uninstall wineserver32 apngopt h8300-hms-addr2line cdfsum sieve-filter ekeyd elida gnunet-fuse mandos mh_resolve_dependencies NPpvm ngraph ocamldsort pdf-presenter-console quickplot rubber-pipe s3curl