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