architecture: arm64 component: main package: minizinc-ide priority: optional section: devel srcpkg_name: minizinc-ide srcpkg_version: 2.6.3-1 version: 2.6.3-1