Binary: texifylisp

aainfo elpa2_print_kernels_openmp m.nviz.image r3.info r.support.stats htproxydestroy m17n-db mpif90 captoinfo winicontoppm dnsreplay download-entities.pl scorep-score dnssecwalk xlsfonts abcde-musicbrainz-tool apt-sortpkgs ragator autodock4 cinnamon-session-properties epirunner etsf_io applygeo r3.to.rast stag-itext2simple nvdecompress i686-w64-mingw32-ocamlmklib gotst fst-infl3 shift_lines