Package: libgecode-dev Architecture: i386 Version: 5.1.0-2build1 Priority: optional Section: universe/libdevel Source: gecode Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Kari Pahula Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 4830 Depends: libgecode44 (= 5.1.0-2build1), libgecodegist44 (= 5.1.0-2build1), libgecodeflatzinc44 (= 5.1.0-2build1), qtbase5-dev, libmpfr-dev, libboost-dev Suggests: libgecode-doc Filename: pool/universe/g/gecode/libgecode-dev_5.1.0-2build1_i386.deb Size: 437588 MD5sum: ae014a9503f1aa088328b75ec6b209c1 SHA1: 3c411edb11c1fef46932928f146ba20f235b0cc4 SHA256: ec31016bcda4a879955f00d62804645f050c01914cfa7a05c1dad0946103e493 Homepage: http://www.gecode.org/ Description: generic constraint development environment Description-md5: bd5ffd15fb795577fcf16728edcab518