Binary: txt2lps

Debian packages that has this binary:

Package: mcrl2

/usr/bin/txt2lps

Random binary cloud:

cpack3 group_tool dirac_RGBtoYUV422 hexgplc otpprint sendfax dap-config inject nm-tool pcl_registration_visualizer exp_count wpaclean bbrun canlogserver einfo euktopst gdc-4.9 gpiv_flipx dat vpbscan make_encmap lxclipboard ml-yacc osgshaderterrain dns_server_test fsmv rabbit-slide smcroute spatialite_tool ocaml