This page shows all known information about package petsc-dev.

petsc-dev - Virtual package depending on latest PETSc development package

From source: petsc

debian/control

Section

Architecture

Distribution