../ texindex.patch 11-Jan-2006 00:00 2385 texindex.patch.asc 11-Jan-2006 00:00 187 texindex5x.patch 11-Jan-2006 00:00 2414 texindex5x.patch.asc 11-Jan-2006 00:00 187