Package: flatzinc
Architecture: amd64
Version: 6.2.0-5.1build3
Priority: optional
Section: universe/devel
Source: gecode
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Kari Pahula <kaol@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 240
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libgecode49t64, libgecodeflatzinc49t64, libgecodegist49t64, libstdc++6 (>= 13.1)
Recommends: minizinc
Breaks: minizinc (<< 2.4.1)
Replaces: minizinc (<< 2.4.1)
Filename: pool/universe/g/gecode/flatzinc_6.2.0-5.1build3_amd64.deb
Size: 23424
MD5sum: 11f7d9d4b97664113fde04bd31b10d90
SHA1: fd0cf3c2a1352a59bba89fc8213d588623b5a6b5
SHA256: 391f6809fa2f62304c639bc52db8406186b30b26d867a9d4487b663f3eaa6942
SHA512: 4021fe51d1a2e14e3e48d09ac0f373909c7397918cf080dd6f2e6c40bed9f161521cbf6774f82ab30929487c6a84f094f3a1bf148709b5218b963cd45cc7997f
Homepage: http://www.gecode.org/flatzinc.html
Description: constraint problem modelling language
Description-md5: ca31fe08e8cd4b702df21cd78963002e