Index of /projects/petsc/vault/petsc-3.21/config/PETSc

	Name	Last modified	Size	Description
	Parent Directory		-
	options/	2024-09-28 13:07	-
	Configure.py	2024-07-30 11:45	72K
	petsc.py	2024-03-29 08:59	20K
	__init__.py	2024-03-29 08:59	1