Binary: txt2lps

Debian packages that has this binary:

Package: mcrl2

/usr/bin/txt2lps

Random binary cloud:

dzen2-gdbar msginit gogoc oggz-known-codecs pom2 find2perl pkicreate qgis.g.browser jplote embedspu pepwindow gsutil mimetex clutter-scan-immodules mpicxx.mpich2 flv.sh mpcp nilfs-resize eoutdent openshot privbind merge_mapping_files.py realm rel2gpx merb scotch_gmap-int32 sdranlib bearing systemadm unixcmd