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

	Name	Last modified	Size
	Parent Directory		-
	gap4-doc-ps_4.2-2.diff.gz	2001-07-28 12:18	3.0K
	gap4-doc-ps_4.2-2.dsc	2001-07-28 12:18	639
	gap4-doc-ps_4.2-2_all.deb	2001-07-28 12:16	2.0M
	gap4-doc-ps_4.2.orig.tar.gz	2001-07-28 12:18	2.0M