Index of /pub/pkgsrc/distfiles/ja-dvi2tty

	Name	Last modified	Size	Description
	Parent Directory		-
	dvi2tty-ascii-jtex-patch	1993-07-31 00:00	10K
	dvi2tty.c-patch	1993-07-31 00:00	898
	dvi2tty5.0.tar.gz	1993-08-01 00:00	28K