Package: gecode-flatzinc
Source: gecode-snapshot
Priority: optional
Section: universe/devel
Installed-Size: 11791
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 6.2.0+git20260120-2
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.10.2), 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+git20260120-2_amd64.deb
Size: 2645230
SHA512: 93da2295da1afccfcaa9056f126530e224ec8a20c5560a540a2de75946d3ab282d6499202c2afa65147b265553fb05c7d3cd384ac59a68d4f17ac32fb5bdce0b
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