architecture: arm64 component: main package: libgecodeflatzinc49 priority: optional section: libs srcpkg_name: gecode srcpkg_version: 6.2.0-5 version: 6.2.0-5