-----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-5
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
 6bb1aa6ea6e1a697af4331bedab6c600287de6ad 13116 gecode_4.4.0-5.debian.tar.xz
Checksums-Sha256:
 430398d6900b999f92c6329636f3855f2d4e985fed420a6c4d42b46bfc97782a 2888696 gecode_4.4.0.orig.tar.gz
 095d5b54eae554112fe1bd5a7bd38895cf40ed68f708df2431cc91c84ea60958 13116 gecode_4.4.0-5.debian.tar.xz
Files:
 a892852927b12ed291b435c72c085834 2888696 gecode_4.4.0.orig.tar.gz
 a94b76adb61dec66e8fddc0133f7e905 13116 gecode_4.4.0-5.debian.tar.xz

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

iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAlkyr2EACgkQhAhn7p2P
JlxHKQ/9HNzhuwg4wIEHbkrxT07TVfV13hSMhDql/YCZ7WuBQ0nY8fUfp4r2e5eX
JgNyuQF6zQax5pVfdN0qphYINqGop+FjjsX3Otz65UNcvYQF9cfj4S+82s5NxGu6
eeTeqMpnHD3YGZj0IFeIrLr3jmcjd/8BEFBpl9msRfog8NuoKD8pF+5iZAfxr47s
2eWpd9Xgt4wXgZgtVnaS4uR2Ia1jEUxyZkYWIrX7kQole0VeMYdY1dngDz4a5tOe
O5w2pSWSRHXchd4IOLKZ11xwjiVkssv31/1efGrGm5GaNGVTEq6HvchSMVvwpiAv
KUK7c6xPElqC18eS/7kooLsAuWIX9q7Gm4txnLqTlkRkADcqcdsIipkKubk13Mum
9JcLvhwwGajjupVkzuAtt8jM8Pso6Koav1CyCZ/yYFaAY6b6/a7kGRcH8h1eWywH
ZtKGsp5w0Bt6AdPObezKvFiZ8EPfupeEBu87RcASWasjdneSIvhZxBoNfF4hnhsn
SpLQu/+kSQM+IORsOKW17Jnug94/zlKJkibh4W82mfWTTD6opjFaqB2xN70UAY6G
oH+GB4ELYnqE0kVas0EwVSKOLBvMuAhunzuy8K8HDH5jmGQ6O/ZPYL2RJ3b0I/Tt
+7KE9thYYe7Hug+bLtJaQQM5qRzlJPuBcaOFrWINTLlmf4//1NQ=
=GrLn
-----END PGP SIGNATURE-----