Binary package “petsc-dev” in ubuntu precise
Meta-package depending on latest PETSc development package
This package will always depend on the most recent version of petscX-dev
(X=version), so if you install it then you will get upgrades automatically.