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

	Name	Last modified	Size	Description
	Parent Directory		-
	petsc.py	2020-11-03 12:01	20K
	options/	2021-09-29 14:31	-
	__pycache__/	2021-09-29 14:31	-
	__init__.py	2020-11-03 12:01	1
	Configure.py	2021-09-01 23:25	53K