Index of /debian/pool/main/p/pgdocs

	Name	Last modified	Size
	Parent Directory		-
	pgdocs_7.2-3.dsc	2002-03-23 16:17	556
	pgdocs_7.4-1.dsc	2004-11-14 22:17	576
	pgdocs_7.4-1.diff.gz	2004-11-14 22:17	3.0K
	pgdocs-pdf-a4_7.2-3_all.deb	2002-03-23 16:17	2.2M
	pgdocs-pdf_7.2-3_all.deb	2002-03-23 16:17	2.9M
	pgdocs-pdf-a4_7.4-1_all.deb	2005-04-30 17:53	3.9M
	pgdocs-pdf_7.4-1_all.deb	2004-11-14 22:17	4.0M
	pgdocs_7.2-3.tar.gz	2002-03-23 16:17	5.1M
	pgdocs_7.4.orig.tar.gz	2004-11-14 22:17	8.0M