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

	Name	Last modified	Size	Description
	Parent Directory		-
	petsc.py	2024-03-29 08:59	20K
	options/	2024-03-29 09:30	-
	__init__.py	2024-03-29 08:59	1
	Configure.py	2024-03-29 08:59	71K