1Setting option: version (no value) (source: command line) 2See https://petsc.org/release/changes for recent updates. 3See https://petsc.org/release/faq for problems. 4See https://petsc.org/release/manualpages for help. 5-version # (source: command line) 6