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

	Name	Last modified	Size	Description
	Parent Directory		-
	__init__.py	2025-07-30 11:58	96
	arch.py	2025-07-30 11:58	12K
	dataFilesPath.py	2025-07-30 11:58	2.0K
	externalpackagesdir.py	2025-07-30 11:58	1.2K
	indexTypes.py	2025-07-30 11:58	2.4K
	installDir.py	2025-07-30 11:58	4.3K
	languages.py	2025-07-30 11:58	1.5K
	libraryOptions.py	2025-07-30 11:58	5.5K
	memAlign.py	2025-07-30 11:58	1.5K
	petscclone.py	2025-07-30 11:58	2.7K
	petscdir.py	2025-07-30 11:58	3.2K
	scalarTypes.py	2025-07-30 11:58	8.8K
	sharedLibraries.py	2025-07-30 11:58	6.2K