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

	Name	Last modified	Size	Description
	Parent Directory		-
	libpetsc3.1-dbg_3.1.dfsg-7_amd64.deb	2010-08-04 15:32	5.2M
	libpetsc3.1-dbg_3.1.dfsg-7_i386.deb	2010-08-04 23:51	4.6M
	libpetsc3.1-dev_3.1.dfsg-7_amd64.deb	2010-08-04 15:32	4.9M
	libpetsc3.1-dev_3.1.dfsg-7_i386.deb	2010-08-04 23:51	4.7M
	libpetsc3.1_3.1.dfsg-7_amd64.deb	2010-08-04 15:32	2.1M
	libpetsc3.1_3.1.dfsg-7_i386.deb	2010-08-04 23:51	1.7M
	libpetsc3.2-dbg_3.2.dfsg-6_amd64.deb	2012-11-11 11:07	6.2M
	libpetsc3.2-dev_3.2.dfsg-6_amd64.deb	2012-11-11 11:07	5.6M
	libpetsc3.2_3.2.dfsg-6_amd64.deb	2012-11-11 11:07	2.6M
	libpetsc3.4.2-dbg_3.4.2.dfsg1-8.1+b1_amd64.deb	2014-08-27 10:42	10M
	libpetsc3.4.2-dev_3.4.2.dfsg1-8.1+b1_amd64.deb	2014-08-27 10:42	4.5M
	libpetsc3.4.2_3.4.2.dfsg1-8.1+b1_amd64.deb	2014-08-27 10:42	2.4M
	petsc-dev_3.1.dfsg-7_all.deb	2010-08-04 15:32	14K
	petsc-dev_3.2.dfsg-6_all.deb	2012-11-11 11:07	15K
	petsc-dev_3.4.2.dfsg1-8.1_all.deb	2014-08-06 13:16	21K
	petsc3.1-doc_3.1.dfsg-7_all.deb	2010-08-04 15:32	4.0M
	petsc3.2-doc_3.2.dfsg-6_all.deb	2012-11-11 11:07	5.1M
	petsc3.4.2-doc_3.4.2.dfsg1-8.1_all.deb	2014-08-06 13:16	3.9M
	petsc_3.1.dfsg-7.debian.tar.gz	2010-08-04 15:32	1.1M
	petsc_3.1.dfsg-7.dsc	2010-08-04 15:32	1.7K
	petsc_3.1.dfsg.orig.tar.gz	2010-05-03 03:49	13M
	petsc_3.2.dfsg-6.debian.tar.gz	2012-11-11 11:07	33K
	petsc_3.2.dfsg-6.dsc	2012-11-11 11:07	2.6K
	petsc_3.2.dfsg.orig.tar.gz	2012-01-11 07:17	17M
	petsc_3.4.2.dfsg1-8.1.debian.tar.xz	2014-08-06 13:16	30K
	petsc_3.4.2.dfsg1-8.1.dsc	2014-08-06 13:16	2.3K
	petsc_3.4.2.dfsg1.orig.tar.xz	2013-09-17 02:29	8.5M