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

	Name	Last modified	Size	Description
	Parent Directory		-
	petsc.py	2023-07-31 10:00	20K
	options/	2023-09-28 16:34	-
	__init__.py	2023-07-31 10:00	1
	Configure.py	2023-07-31 10:00	71K