Index of /pub/mpkg/distfiles/texinfo

	Name	Last modified	Size	Description
	Parent Directory		-
	4.0/	2001-10-10 09:29	-
	4.2/	2002-05-17 07:58	-
	4.3/	2002-12-22 15:12	-
	4.5/	2003-04-25 14:48	-
	4.6/	2003-09-22 16:36	-