xref: /petsc/config/PETSc/options/externalpackagesdir.py (revision cc73adaac50ee0869e6600d946c8fb4fba1d0cd0)