../ dvi2tty-5.3.4-cflags.patch 09-Aug-2015 00:38 615 dvi2tty-cflags.patch 09-Aug-2015 00:38 688 dvi2tty-gcc.patch 09-Aug-2015 00:38 341 dvi2tty-getline.patch 09-Aug-2015 00:38 2476