Index of /debian-archive/debian/pool/main/p/pgi

	Name	Last modified	Size
	Parent Directory		-
	pgi_0.9.6.3.dsc	2002-04-23 20:12	650
	pgi_0.9.6.3.tar.gz	2002-04-23 20:12	469K
	pgi_0.9.6.3_i386.deb	2002-04-23 20:12	450K
	pgi_0.9.6.3_ia64.deb	2002-04-28 06:02	450K
	pgi_0.9.6.3_powerpc.deb	2002-04-25 17:18	450K