-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: gecode
Binary: libgecode-dev, libgecode-doc, libgecode49, libgecodegist49, libgecodeflatzinc49, flatzinc
Architecture: any all
Version: 6.2.0-3
Maintainer: Kari Pahula <kaol@debian.org>
Homepage: http://www.gecode.org/
Standards-Version: 4.4.1
Build-Depends: debhelper (>= 9), autotools-dev, cdbs (>= 0.4.93~), dh-autoreconf, 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
 libgecode49 deb libs optional arch=any
 libgecodeflatzinc49 deb libs optional arch=any
 libgecodegist49 deb libs optional arch=any
Checksums-Sha1:
 4bbb45cc5c5da852082003b85bf9beeaf416006c 3672525 gecode_6.2.0.orig.tar.gz
 5f68fd68824bac1d6ee27a22d1d7272cec4d5e7e 16184 gecode_6.2.0-3.debian.tar.xz
Checksums-Sha256:
 27d91721a690db1e96fa9bb97cec0d73a937e9dc8062c3327f8a4ccb08e951fd 3672525 gecode_6.2.0.orig.tar.gz
 eed611bdde13edcc6562d492911dfc482410e2d8dee0336c0b6a16f6a827094e 16184 gecode_6.2.0-3.debian.tar.xz
Files:
 781c620e3e09c7fe1de0413f310d90f1 3672525 gecode_6.2.0.orig.tar.gz
 f43ff50b637408e8fc0c9ea8f5046dca 16184 gecode_6.2.0-3.debian.tar.xz

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

iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAl4Ye+0ACgkQhAhn7p2P
JlzATBAAhaXwT7BoB248QYWgNI/Qql86hQ72vLhsMMfpc8kDTV092CsZhZlaQKa/
qoXokT+Tr6iq1mM+mTkhirUR0EW3WsfrN7FiMmj2A89q1k4nJVhQ59Iih5eb+HZ5
TAcO8wuLG6w9r5MO0Cz9lfc/e8dSnNrcL/uCmgUEC2H8DtPcRdS76ZkGRLyizayN
d3GYH6C4kl1e9vFHZnGtc8wGzRdXfaBbFC40Cy9hNhxV8CWX2inEBTj5kkKWbn/u
ff4c4Y3LZu6zPUyfLhx2jp3DVZQd6RpLcVg0XT1nocWDg2Nw5Rzm/rY8WfZG7cy6
TkDgLFcmXjWGKNv9nyap2ynqMRDKGNfhY/0i0V3p9ge9CKxdlcs+v3CG7MU9ouRK
ZXmM1RsV16a566iVvz7lW1+AQY69LIeP3lc0y7D813c6aLirZFMKOsYn/OMFm+MH
f+gXSy7NPZ0Q3OVyFrnRTyS2+XLHdPpubqj1OoH5AsJMIOUdwmbi6GTb+yWWoakI
zpheZdha+F/7OvfagWo4/ZEFpFwhEEBI3OpHjfRUIL+TsLKTAkk9M2slqebj+Dwo
uRKmEwasVgq1vvkY20qNYbxsXCMFVq0+AFJy88CdfCtHKoPcf0wlsjZSo13mbFzJ
8DdCNqkI4ImMFC0LUQiZoR2acdN9/yXeS5vSHAAowRhZSjldckE=
=KDbJ
-----END PGP SIGNATURE-----