Binary: txt2lps

Debian packages that has this binary:

Package: mcrl2

/usr/bin/txt2lps

Random binary cloud:

alevt ghwdump setmetamode kppp memdump nymerge-gfortran glx-window-life qtrename140 gww.x_mpich RBabelfishService.py shpfix swanctl fakeCMY Configurator.java cdvolume dh_ocamlinit prosextract primer_designer refile lpssumelm smfplay pmwebd pytracefile nmds.py razor-policykit-agent splazers sprop verilator_includer veusz_listen zsyncmake