Index of /debian/pool/non-free/g/gap4-doc-dvi

	Name	Last modified	Size
	Parent Directory		-
	gap4-doc-dvi_4.2-2.dsc	2001-07-27 12:13	643
	gap4-doc-dvi_4.2-2.diff.gz	2001-07-27 12:10	3.0K
	gap4-doc-dvi_4.2.orig.tar.gz	2001-07-27 12:13	1.1M
	gap4-doc-dvi_4.2-2_all.deb	2001-07-27 12:11	1.1M