Index of /debian-amd64/pool/main/p/petsc

	Name	Last modified	Size
	Parent Directory		-
	libpetsc2.2.0-dbg_2.2.0-4_amd64.deb	2005-04-30 17:53	9.0M
	libpetsc2.2.0-dev_2.2.0-4_amd64.deb	2005-04-30 17:53	2.0M
	libpetsc2.2.0_2.2.0-4_amd64.deb	2005-04-30 17:53	1.5M
	petsc-dbg_2.2.0-4_all.deb	2005-04-30 17:53	9.9K
	petsc-dev_2.2.0-4_all.deb	2005-04-05 17:32	9.9K
	petsc2.2.0-doc_2.2.0-4_all.deb	2005-04-30 17:53	2.6M
	petsc_2.2.0-4.diff.gz	2005-04-30 17:53	30K
	petsc_2.2.0-4.dsc	2005-04-30 17:53	789
	petsc_2.2.0.orig.tar.gz	2004-04-19 23:47	8.3M