Index of /pool/main/p/petsc

	Name	Last modified	Size	Description
	Parent Directory		-
	libpetsc3.2-dbg_3.2.dfsg-6_armhf.deb	2012-11-22 11:30	5.8M
	libpetsc3.2-dev_3.2.dfsg-6_armhf.deb	2012-11-22 11:30	6.3M
	libpetsc3.2_3.2.dfsg-6_armhf.deb	2012-11-22 11:30	3.0M
	libpetsc3.4.2-dbg_3.4.2.dfsg1-8.1+b1_armhf.deb	2014-09-06 13:51	9.5M
	libpetsc3.4.2-dev_3.4.2.dfsg1-8.1+b1_armhf.deb	2014-09-06 13:51	4.0M
	libpetsc3.4.2_3.4.2.dfsg1-8.1+b1_armhf.deb	2014-09-06 13:51	2.3M
	petsc-dev_3.2.dfsg-6_all.deb	2012-11-11 16:07	15K
	petsc-dev_3.4.2.dfsg1-8.1_all.deb	2014-08-06 17:16	21K
	petsc3.2-doc_3.2.dfsg-6_all.deb	2012-11-11 16:07	5.1M
	petsc3.4.2-doc_3.4.2.dfsg1-8.1_all.deb	2014-08-06 17:16	3.9M