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

petsc64-dev - Virtual package depending on latest 64-bit PETSc development package

From source: petsc

debian/control

Section

Architecture

Distribution