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

	Name	Last modified	Size	Description
	Parent Directory		-
	__pycache__/	2022-09-30 20:04	-
	options/	2022-09-30 20:04	-
	__init__.py	2022-06-29 01:00	1
	petsc.py	2022-06-29 01:00	20K
	Configure.py	2022-06-29 01:00	53K