architecture: all component: main package: petsc64-dev priority: optional section: libdevel srcpkg_name: petsc srcpkg_version: 3.20.6+dfsg1-3 version: 3.20.6+dfsg1-3