architecture: all component: main package: gprbuild-doc priority: optional section: doc srcpkg_name: gprbuild srcpkg_version: 2024.1.20231009-5 version: 2024.1.20231009-5