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

	Name	Last modified	Size	Description
	Parent Directory		-
	__pycache__/	2022-03-30 20:29	-
	options/	2022-03-30 20:29	-
	__init__.py	2020-11-03 12:01	1
	petsc.py	2020-11-03 12:01	20K
	Configure.py	2021-12-07 10:40	53K