Package: flatzinc Architecture: amd64 Version: 6.2.0-3build1 Priority: optional Section: universe/devel Source: gecode Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Kari Pahula Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 247 Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libgecode49, libgecodeflatzinc49, libgecodegist49, libstdc++6 (>= 5.2) Recommends: minizinc Breaks: minizinc (<< 2.4.1) Replaces: minizinc (<< 2.4.1) Filename: pool/universe/g/gecode/flatzinc_6.2.0-3build1_amd64.deb Size: 24624 MD5sum: 9671d0e49bb248ef6f2d5f8be312cc91 SHA1: dfbba81cfd9d0a41a74fe122a41cb807da4d3647 SHA256: ad4be5999c65ed7657ce58d27d4674e1e67828b1884b831bdb1c16e5e71b0fbc Homepage: http://www.gecode.org/flatzinc.html Description: constraint problem modelling language Description-md5: ca31fe08e8cd4b702df21cd78963002e