Binary: lps2lts

Debian packages that has this binary:

Package: mcrl2

/usr/bin/lps2lts

Random binary cloud:

fatsrv-g77 readlink xmlwf21 ace-validator sm pnmtopclxl handlebars lddtree.sh php-cgi horde-alarms phpcb dlist-fdo3129-02 dynamodb_load genreflex srm flatph index.html cdfzonalsum cvm-mysql nc2xy actived lesspipe scpr stxxl_tool mrabs pnscan tcs atk6-trace6 delpart hostlist.cgi