architecture: arm64 component: main package: minizinc priority: optional section: devel srcpkg_name: minizinc srcpkg_version: 2.6.4+dfsg1-1 version: 2.6.4+dfsg1-1