architecture: arm64 component: main package: gprbuild priority: optional section: devel srcpkg_name: gprbuild srcpkg_version: 2023.0.0-3 version: 2023.0.0-3