Index of /cdimage/snapshot-amd64/Debian/pool/main/p/petsc

	Name	Last modified	Size
	Parent Directory		-
	libpetsc2.2.0-dbg_2.2.0-4_amd64.deb	2005-04-30 19:53	9.0M
	libpetsc2.2.0-dev_2.2.0-4_amd64.deb	2005-04-30 19:53	2.0M
	libpetsc2.2.0_2.2.0-4_amd64.deb	2005-04-30 19:53	1.5M
	petsc-dbg_2.2.0-4_all.deb	2005-04-30 19:53	9.9K
	petsc-dev_2.2.0-4_all.deb	2005-04-30 19:53	9.9K
	petsc2.2.0-doc_2.2.0-4_all.deb	2005-04-30 19:53	2.6M