Index of /pool/updates/main/p/phppgadmin

	Name	Last modified	Size
	Parent Directory		-
	phppgadmin_3.5.2-5.diff.gz	18-Jul-2005 10:15	9.8K
	phppgadmin_3.5.2-5.dsc	18-Jul-2005 10:15	584
	phppgadmin_3.5.2-5_all.deb	18-Jul-2005 10:15	587K
	phppgadmin_3.5.2.orig.tar.gz	18-Jul-2005 10:15	599K