Re: [petsc-dev] Error with --download-strumpack