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

	Name	Last modified	Size	Description
	Parent Directory		-
	Configure.py	2023-03-30 10:37	54K
	__init__.py	2022-06-29 01:00	1
	__pycache__/	2023-03-30 10:56	-
	options/	2023-03-30 10:38	-
	petsc.py	2022-11-28 10:22	20K