Binary: ptex2tex

hppa64-linux-gnu-strip cmake-gui28 codemod fedora-groupdel v.overlay g_trjconv_d kolf nl-pktloc-lookup reporter-bugzilla mha-dbrecover ld mdoc curvecpserver salt-unity dvilj2p traffic_manager pywxrc iostream.o gwc wam2ma hapm jpilot-sync kstars mojomojo_test.pl graph-bgp.pl service_started_daemon usb_printerid profisis QCMerger vfl2bdf