Index of /repository/archive/dists/Debian/pool/main/p/petsc

	Name	Last modified	Size	Description
	Parent Directory		-
	petsc_2.3.2-1.dsc	2006-11-20 10:47	814
	petsc-dev_2.3.2-1_all.deb	2006-11-20 10:47	11K
	petsc_2.3.2-1.diff.gz	2006-11-20 10:47	22K
	libpetsc2.3.2_2.3.2-1_i386.deb	2006-11-20 10:47	1.3M
	libpetsc2.3.2-dev_2.3.2-1_i386.deb	2006-11-20 10:47	2.0M
	libpetsc2.3.2-dbg_2.3.2-1_i386.deb	2006-11-20 10:47	2.2M
	petsc2.3.2-doc_2.3.2-1_all.deb	2006-11-20 10:47	3.4M
	petsc_2.3.2.orig.tar.gz	2006-11-20 10:47	10M