Index of /ubuntu/pool/universe/p/petsc

	Name	Last modified	Size	Description
	Parent Directory		-
	petsc_2.3.3.orig.tar.gz	2007-10-23 19:04	10M
	petsc_2.3.3-6ubuntu1.diff.gz	2008-03-17 04:04	24K
	petsc_2.3.3-6ubuntu1.dsc	2008-03-17 04:04	923
	petsc-dev_2.3.3-6ubuntu1_all.deb	2008-03-17 05:03	11K
	petsc2.3.3-doc_2.3.3-6ubuntu1_all.deb	2008-03-17 05:03	1.9M
	libpetsc2.3.3-dbg_2.3.3-6ubuntu1_i386.deb	2008-03-17 05:03	2.3M
	libpetsc2.3.3-dev_2.3.3-6ubuntu1_i386.deb	2008-03-17 05:03	2.2M
	libpetsc2.3.3_2.3.3-6ubuntu1_i386.deb	2008-03-17 05:03	1.4M