Re: [petsc-dev] Better package manager support in PETSc