architecture: all component: main package: petsc3.20-doc priority: optional section: doc srcpkg_name: petsc srcpkg_version: 3.20.6+dfsg1-3 version: 3.20.6+dfsg1-3