architecture: all component: non-free package: gmp-doc priority: optional section: non-free/doc srcpkg_name: gmp-doc srcpkg_version: 6.3.0+ndfsg-1 version: 6.3.0+ndfsg-1