Package: flatzinc Architecture: i386 Version: 5.1.0-2build1 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: 97 Depends: libc6 (>= 2.4), libgcc1 (>= 1:3.0), libgecode44, libgecodeflatzinc44, libgecodegist44, libstdc++6 (>= 5.2) Recommends: minizinc Replaces: libgecode-dev (<< 3.7.0) Filename: pool/universe/g/gecode/flatzinc_5.1.0-2build1_i386.deb Size: 15780 MD5sum: ca2826e2a8c56a009db895f3d16b0b17 SHA1: 64b55bffd97ed4ad406b205fa46a8c803c48ad00 SHA256: 12af769304063fb479cb4c2acef57c5de323c87c324ef4a101841e59a6ade0a4 Homepage: http://www.gecode.org/flatzinc.html Description: constraint problem modelling language Description-md5: 19e3e47e314dec61547f522a6d2e63c0