Package: gecode-flatzinc
Source: gecode-snapshot
Priority: optional
Section: universe/devel
Installed-Size: 11785
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 6.2.0+git20240207-2build1
Recommends: minizinc
Replaces: flatzinc (<< 6.2.0+git20240207)
Provides: flatzinc
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libmpfr6 (>= 3.1.3), libqt6core6t64 (>= 6.9.1), libqt6gui6 (>= 6.9.1), libqt6printsupport6 (>= 6.1.2), libqt6widgets6 (>= 6.3.0), libstdc++6 (>= 14)
Breaks: flatzinc (<< 6.2.0+git20240207)
Filename: pool/universe/g/gecode-snapshot/gecode-flatzinc_6.2.0+git20240207-2build1_amd64.deb
Size: 2644464
MD5sum: 33c7d1aeaff5da9960177e15478d1fb0
SHA1: 06526557563a0141939fd27c6701e937364e2abd
SHA256: 639880c08c6d898ec92ec2777e6fa3201d20336f58a72592f418cb381d0823f5
SHA512: b003d8596e48e87e7f67e845b7d497082a478f7163e0fa4cf47acba94d19549485d3171313b47cebea2f4d7afe808388de288deaedcf07dc85f9516e993d4a11
Homepage: https://www.gecode.org/flatzinc.html
Description: constraint problem modelling language
Description-md5: 486b334408c9bd535763a3ec21daec84
Original-Maintainer: Kari Pahula <kaol@debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug