Index of /debian-ports/pool-riscv64/main/p/petsc

	Name	Last modified	Size
	Parent Directory		-
	libpetsc-complex3.11-dbg_3.11.4+dfsg1-3+b1_riscv64.deb	2019-11-23 00:03	19M
	libpetsc-complex3.11-dev_3.11.4+dfsg1-3+b1_riscv64.deb	2019-11-23 00:03	5.6M
	libpetsc-complex3.11_3.11.4+dfsg1-3+b1_riscv64.deb	2019-11-23 00:03	4.3M
	libpetsc-complex3.12-dbg_3.12.0+dfsg1-2+b1_riscv64.deb	2019-11-15 00:03	20M
	libpetsc-complex3.12-dev_3.12.0+dfsg1-2+b1_riscv64.deb	2019-11-15 00:03	5.7M
	libpetsc-complex3.12_3.12.0+dfsg1-2+b1_riscv64.deb	2019-11-15 00:03	4.6M
	libpetsc-real3.11-dbg_3.11.4+dfsg1-3+b1_riscv64.deb	2019-11-23 00:03	40M
	libpetsc-real3.11-dev_3.11.4+dfsg1-3+b1_riscv64.deb	2019-11-23 00:03	5.6M
	libpetsc-real3.11_3.11.4+dfsg1-3+b1_riscv64.deb	2019-11-23 00:03	4.2M
	libpetsc-real3.12-dbg_3.12.0+dfsg1-2+b1_riscv64.deb	2019-11-15 00:03	43M
	libpetsc-real3.12-dev_3.12.0+dfsg1-2+b1_riscv64.deb	2019-11-15 00:03	5.7M
	libpetsc-real3.12_3.12.0+dfsg1-2+b1_riscv64.deb	2019-11-15 00:03	4.4M
	petsc_3.11.4+dfsg1-3+b1_riscv64.buildinfo	2019-11-23 00:03	10K
	petsc_3.12.0+dfsg1-2+b1_riscv64.buildinfo	2019-11-15 00:03	11K