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

	Name	Last modified	Size
	Parent Directory		-
	libpetsc-complex-dev_3.20.6+dfsg1-1_all.deb	2024-05-17 00:50	11K
	libpetsc-real-dev_3.20.6+dfsg1-1_all.deb	2024-05-17 00:50	11K
	libpetsc3.20-dev-common_3.20.6+dfsg1-1_all.deb	2024-05-17 00:50	290K
	libpetsc3.20-dev-examples_3.20.6+dfsg1-1_all.deb	2024-05-17 00:50	4.3M
	libpetsc64-complex-dev_3.20.6+dfsg1-1_all.deb	2024-05-17 00:50	11K
	libpetsc64-real-dev_3.20.6+dfsg1-1_all.deb	2024-05-17 00:50	11K
	petsc-dev_3.20.6+dfsg1-1_all.deb	2024-05-17 00:50	14K
	petsc3.20-doc_3.20.6+dfsg1-1_all.deb	2024-05-17 00:50	28M
	petsc64-dev_3.20.6+dfsg1-1_all.deb	2024-05-17 00:50	11K