architecture: all component: main package: gprbuild-doc priority: optional section: doc srcpkg_name: gprbuild srcpkg_version: 2023.0.0-3 version: 2023.0.0-3