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

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