../ dvi2tty-5.3.4-cflags.patch 05-Nov-2011 19:49 615 dvi2tty-cflags.patch 22-Aug-2008 14:11 688 dvi2tty-gcc.patch 16-Dec-2004 12:08 341 dvi2tty-getline.patch 03-Jun-2009 14:20 2476