Setting option: version (no value)
Petsc Development GIT revision
See docs/changes/index.html for recent updates.
See docs/faq.html for problems.
See docs/manualpages/index.html for help. 
-version