Package: chuffed-flatzinc
Source: chuffed
Priority: optional
Section: universe/math
Installed-Size: 1411
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
MD5sum: 6e93f41aac344c73d80c0c875b6cb5f3
SHA1: 659b103c3cd21b77b71b8f9813fac06c31646fa7
SHA256: 10e062e283e77549853fa4c9e42246296a4df7cd5b350b0b538f181e618c184f
SHA512: fb67f0964213d939305052d376d38813e940061e7170fc79be10761d8445eb1c2db4f723044d62283fc4eb51277de97588c4f1663f08868242c9d8b7ca0e7d74
Homepage: https://github.com/chuffed/chuffed
Description: lazy clause generation FlatZinc implememntation
Description-md5: f0116406f3a85b05fbd2e3a9fb2b0a65
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Multi-Arch: foreign
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug