Index of /projects/petsc/vault/petsc-3.15/config/PETSc/options

	Name	Last modified	Size	Description
	Parent Directory		-
	__init__.py	2020-11-03 12:01	96
	dataFilesPath.py	2020-11-03 12:01	2.0K
	externalpackagesdir.py	2020-11-03 12:01	1.1K
	indexTypes.py	2020-11-03 12:01	2.3K
	installDir.py	2020-11-03 12:01	4.6K
	languages.py	2020-11-03 12:01	1.5K
	memAlign.py	2020-11-03 12:01	1.5K
	petscdir.py	2020-11-03 12:01	2.8K
	scalarTypes.py	2020-11-03 12:01	6.7K
	arch.py	2021-03-30 19:22	11K
	petscclone.py	2021-03-30 19:22	2.7K
	sharedLibraries.py	2021-03-30 19:22	6.0K
	libraryOptions.py	2021-06-17 19:19	5.6K
	__pycache__/	2021-09-29 14:31	-