Binary: detex

bfin-linux-gnu-objcopy powerpc64-linux-gnu-as flex++ libassuan-config rdx pstex2eps ksflatten tomcat-tool-wrapper WidgetsCxxTests aelcf backup-labeltape ct2-make-movie cyr_userseen doublecmd strainextract oogl2vrml gnome-settings-daemon gtick pto_var krb5-config.mit mipe2putativesbeprimers clusterdb recovermov rotter scaladoc slonik_init_cluster sphinx_pitch ssh-contact uruk-save xxdiff