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

	Name	Last modified	Size	Description
	Parent Directory		-
	libpetsc3.2-dbg_3.2.dfsg-6_armhf.deb	2012-11-11 20:43	7.2M
	libpetsc3.2-dev_3.2.dfsg-6_armhf.deb	2012-11-11 20:43	6.1M
	libpetsc3.2_3.2.dfsg-6_armhf.deb	2012-11-11 20:43	2.8M
	libpetsc3.4.2-dbg_3.4.2.dfsg1-8.1+b1_armhf.deb	2014-08-27 18:43	10M
	libpetsc3.4.2-dev_3.4.2.dfsg1-8.1+b1_armhf.deb	2014-08-27 18:43	4.5M
	libpetsc3.4.2_3.4.2.dfsg1-8.1+b1_armhf.deb	2014-08-27 18:43	2.3M
	petsc-dev_3.2.dfsg-6_all.deb	2012-11-11 17:07	15K
	petsc-dev_3.4.2.dfsg1-8.1_all.deb	2014-08-06 19:16	21K
	petsc3.2-doc_3.2.dfsg-6_all.deb	2012-11-11 17:07	5.1M
	petsc3.4.2-doc_3.4.2.dfsg1-8.1_all.deb	2014-08-06 19:16	3.9M