Package: chuffed-flatzinc Source: chuffed Priority: optional Section: universe/math Installed-Size: 1411 Maintainer: Ubuntu Developers Architecture: amd64 Version: 0.13.1-1build1 Recommends: minizinc Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libmurmurhash2 (>= 0.2), libstdc++6 (>= 13.1) Filename: pool/universe/c/chuffed/chuffed-flatzinc_0.13.1-1build1_amd64.deb Size: 549000 SHA512: fb67f0964213d939305052d376d38813e940061e7170fc79be10761d8445eb1c2db4f723044d62283fc4eb51277de97588c4f1663f08868242c9d8b7ca0e7d74 Homepage: https://github.com/chuffed/chuffed Description: lazy clause generation FlatZinc implememntation Description-md5: f0116406f3a85b05fbd2e3a9fb2b0a65 Original-Maintainer: Debian Science Maintainers Multi-Arch: foreign Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug