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

	Name	Last modified	Size	Description
	Parent Directory		-
	__init__.py	2023-07-31 10:00	96
	arch.py	2023-07-31 10:00	11K
	dataFilesPath.py	2023-07-31 10:00	2.0K
	externalpackagesdir.py	2023-07-31 10:00	1.2K
	indexTypes.py	2023-07-31 10:00	2.3K
	installDir.py	2023-07-31 10:00	4.3K
	languages.py	2023-07-31 10:00	1.5K
	libraryOptions.py	2023-07-31 10:00	5.5K
	memAlign.py	2023-07-31 10:00	1.5K
	petscclone.py	2023-07-31 10:00	2.7K
	petscdir.py	2023-07-31 10:00	3.2K
	scalarTypes.py	2023-07-31 10:00	8.3K
	sharedLibraries.py	2023-07-31 10:00	6.0K