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

Format: 3.0 (quilt)
Source: gecode
Binary: libgecode-dev, libgecode-doc, libgecode41v5, libgecodegist41v5, libgecodeflatzinc41v5, flatzinc
Architecture: any all
Version: 4.4.0-4
Maintainer: Kari Pahula <kaol@debian.org>
Homepage: http://www.gecode.org/
Standards-Version: 3.9.6
Build-Depends: debhelper (>= 9), autotools-dev, cdbs (>= 0.4.93~), dh-autoreconf, libmpfr-dev, flex, bison, qtbase5-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
 libgecode41v5 deb libs optional arch=any
 libgecodeflatzinc41v5 deb libs optional arch=any
 libgecodegist41v5 deb libs optional arch=any
Checksums-Sha1:
 903cc0b051f86c3b40fb41aa087bb3aed7d1628b 2888696 gecode_4.4.0.orig.tar.gz
 70df632ffdb8718a018bc566d6a2072f2e9da15a 12780 gecode_4.4.0-4.debian.tar.xz
Checksums-Sha256:
 430398d6900b999f92c6329636f3855f2d4e985fed420a6c4d42b46bfc97782a 2888696 gecode_4.4.0.orig.tar.gz
 6029307b5716b6f9b746e943a17d9b3d0a8b39e20a62e84edf59cb9cce055953 12780 gecode_4.4.0-4.debian.tar.xz
Files:
 a892852927b12ed291b435c72c085834 2888696 gecode_4.4.0.orig.tar.gz
 b6d6063d89e3d19895c40acfde6e09d6 12780 gecode_4.4.0-4.debian.tar.xz

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

iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAljOQ7EACgkQhAhn7p2P
Jlwhrg/9Fi7m0T3/mO6h/Apb2t3icImBC0r/TehgLM7mjxMbGuv2SN+yDWab5C7/
5TiF5vVbCPdGIZhdGyRWvuxLC3UULk0qYWBTFP/ErV4vseQUeJ87qgfVpuO5mQQD
dSP2xidyeKqUzPA9yoA+p4eiwIwvtaSNEcf+6fRf8ETOiIpiHytSlwssQhkyd+dh
Q5kvuVcZP90dD/92bmPl/+aI9r0N29ND7XUTTXF0jr0zIBiIIHpr3l8tjd+KbWSS
qlddgBBSQyIxjcSa2y3s8TSGmvGZwZMG3Ak8V5Fu5WR8Eq9DiHCueKQ8hrBl2tID
IM39GMLuAePY5MdZt3MaUVNaJsrYqLEpQShFnwPcY/QsSlRLU/St82IEQjksRRDj
e3F3PBnpz6aGnvBkunQQWdQsxjfzNkVdhs3BBvOiNL1+e5gYymAN/bfkiOCfxCgh
1EW5w14VFJ8fOe52UnpHl44g7HwloVzHdTL0Rz7485qX1PiWBm3r4qZ1CnJYmcOj
UShD8QcdqDm+IlJXVglg4015Bpib7AoodY5jGKnQ5kdDEY2JZcV9CuAkXlZrOPOv
V554TxsHAX4VrDtT6mUbBkNP+HcGmIP2DW/CHwlCEbiPVDtLqod+KMB6oJ+Na9QR
z58qLZxT98yj2vr05oJvfXcldsOKBLGRWiP3dM3F9Kic/qr84o0=
=9CGN
-----END PGP SIGNATURE-----