architecture: amd64 component: main package: chuffed-flatzinc priority: optional section: math srcpkg_name: chuffed srcpkg_version: 0.13.1-1 version: 0.13.1-1+b1