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

Format: 3.0 (quilt)
Source: gecode
Binary: libgecode-dev, libgecode-doc, libgecode44, libgecodegist44, libgecodeflatzinc44, flatzinc
Architecture: any all
Version: 5.1.0-2
Maintainer: Kari Pahula <kaol@debian.org>
Homepage: http://www.gecode.org/
Standards-Version: 4.0.0
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
 libgecode44 deb libs optional arch=any
 libgecodeflatzinc44 deb libs optional arch=any
 libgecodegist44 deb libs optional arch=any
Checksums-Sha1:
 fdcdeb55a8b10046ec8b9e7c0ea24fad89c7f71b 3213603 gecode_5.1.0.orig.tar.gz
 1c5ca328abcec1e24543fbb45156f72082245310 14384 gecode_5.1.0-2.debian.tar.xz
Checksums-Sha256:
 f9885f97e0f80b54eaf1a8f9d0c419d831229a689619f6429c6148f5c50740d0 3213603 gecode_5.1.0.orig.tar.gz
 ec789bd2a4a11adf46e3ad9ce655faf9cd757482444cf22538756cf70c89b09b 14384 gecode_5.1.0-2.debian.tar.xz
Files:
 79674c35d0af68d6ef8854da756792eb 3213603 gecode_5.1.0.orig.tar.gz
 7bd7e94c01d3cb4990e891c59d9c1960 14384 gecode_5.1.0-2.debian.tar.xz

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

iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAll8h+AACgkQhAhn7p2P
JlwLXhAAg8cO1oZOFtxArRcU+pu7V/8yJ7Q6v4qSVf5UghyBktKCC+mt38vQHXlr
EM7M/6/Cfea72VpL42St5gRu/iCzVXKca+JBIP+kwf9/ivqlTfg6+vz2uDqbYb5z
6OloEIybFAfvTd4nPuAmWXSL1vXrTkPvt+nA6sT4ynZITsduZFuX02CUsVwMDKfH
QUKBDqOqNzI+bBsFhbx8uh7P1Ov5yTqdLeSPOsWKXmUmiQYbed09tz6Wq1XQkKIP
mvo601AnvLq2kjMJqo4Muj06yyKyNrqLjeX4DJkyK9pNJ3N4teUB3Qz3PwIVsGyF
psa2a0BXP+jgZTto2nU1MXICI6Gzgn6nIVPQSsfOPCy25LJdWWVbh5l0XArUoLcS
LBCype7ldxM9YygoEMW5oIae/X3+xLoLB7s+frngzEO040Akvl3NkK24gHVo+n7E
KJE8woQ9hY/BmA8jX+ITCl3o5F09jH+lmpsJeALb8iL9lWqMxpCe58x4sml4EnOW
86ENuAd0SDfGu2dVcvBqi1jphy3gJ9BImQk+ljOeSDxEMR1LAbVQKCYF59s9H6QG
JE/ul/JsgsSUOZSvu17XFC4EL06ldANEaRUw7l+GkhHzeBeRh9CKMUcTLD5c5jcF
PcT2CYUakP3O0B3eeoXATvXMptIUuxXm+U9X83t0KFKLEPOD75E=
=rO27
-----END PGP SIGNATURE-----