architecture: arm64 component: main package: libgecode-dev priority: optional section: libdevel srcpkg_name: gecode srcpkg_version: 6.2.0-6 version: 6.2.0-6