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