-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: gecode
Binary: libgecode-dev, libgecode-doc, libgecode49t64, libgecodegist49t64, libgecodeflatzinc49t64, flatzinc
Architecture: any all
Version: 6.2.0-5.1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Homepage: http://www.gecode.org/
Standards-Version: 4.5.0
Build-Depends: dpkg-dev (>= 1.22.5), debhelper (>= 10), cdbs (>= 0.4.93~), libmpfr-dev, flex, bison, qtbase5-dev, libboost-dev
Build-Depends-Indep: graphviz, doxygen
Build-Conflicts: libqt4-dev
Package-List:
 flatzinc deb devel optional arch=any
 libgecode-dev deb libdevel optional arch=any
 libgecode-doc deb doc optional arch=all
 libgecode49t64 deb libs optional arch=any
 libgecodeflatzinc49t64 deb libs optional arch=any
 libgecodegist49t64 deb libs optional arch=any
Checksums-Sha1:
 4bbb45cc5c5da852082003b85bf9beeaf416006c 3672525 gecode_6.2.0.orig.tar.gz
 8e52fc0b0b1cc3bdb426c1677aea20a2661be6fb 16856 gecode_6.2.0-5.1build3.debian.tar.xz
Checksums-Sha256:
 27d91721a690db1e96fa9bb97cec0d73a937e9dc8062c3327f8a4ccb08e951fd 3672525 gecode_6.2.0.orig.tar.gz
 435db28330643539ab254d6c7c916353c880a892a60c7b62a5a6936270e139cd 16856 gecode_6.2.0-5.1build3.debian.tar.xz
Files:
 781c620e3e09c7fe1de0413f310d90f1 3672525 gecode_6.2.0.orig.tar.gz
 6abb8a86e74d61652cdfa93649c26886 16856 gecode_6.2.0-5.1build3.debian.tar.xz
Original-Maintainer: Kari Pahula <kaol@debian.org>

-----BEGIN PGP SIGNATURE-----

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYYxMUaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz073RAApK7nEzhdso8V3cii7ZBG
u4dy/q/sParTBzcWDRmTohw/DORA1oAhtZsw2im7j1RWxagZjk/j9GXl2FQ45+2U
PhEUR9WzsftGP25O9yZnk/72bmxwvsgcXmz6+RdbynsGhfW13YlkFv7b6sZ0RaQk
iLO5URLr8hS+Uqrkx0jWTXYQsdctDheVSyaiyAcYkq8pJvSLxNf7eeBQEuhjckvN
oBEgAXD8yTXTE6OxtH3qA+PwqSXhHgCc4G3zJrCZkX1VHMBD9sP+s6sUrVGKr8x4
rUoMnyisxIRh6cponnHKa8d6bH3gtGdhlqJk5pvQSoVtHqkMembXrTz+wGZjCSpa
CGUpZBhg4i8WxliRy3a1NkFubmyE99JEWb63Yqf3jJaIMzQBh/5+KaVXxr8uzKiK
iG03CWmv96j9DbIcmQJAxqocxOHpOVXIMUaB+4jkhtT97Vzoc3NVt8EuRr0XLEho
BHWpYT9wJNhOLoAY1Pcmu/5MBqgeSTwJ9RH976J/PNgkiF1ruKw+7P3sNGvEkDfy
fj71SwRXnjk+h8sX/wrZW84nr+VRm05tkhExUsRVIXK6qlrSKwYtXPq2PPhgEtPG
Q4fhTvzHOXtLBK+t82AmbBrV34arONm+eidAv0HnuyZayZglPtIIMM7QojP9zya9
OYQwl+3VbrBCznBJiNsnY8E=
=D6xq
-----END PGP SIGNATURE-----