-----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-3
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
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
 6142ad755440d0de3841322c41450f754d69c84f 12368 gecode_4.4.0-3.debian.tar.xz
Checksums-Sha256:
 430398d6900b999f92c6329636f3855f2d4e985fed420a6c4d42b46bfc97782a 2888696 gecode_4.4.0.orig.tar.gz
 3b339df197b53aae3704078f907fde93ec38bd541a19741b33b6ef529ae0c1a2 12368 gecode_4.4.0-3.debian.tar.xz
Files:
 a892852927b12ed291b435c72c085834 2888696 gecode_4.4.0.orig.tar.gz
 de3edfef6815e4c4d9e57eef3b9ae160 12368 gecode_4.4.0-3.debian.tar.xz

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

iQIcBAEBCAAGBQJV7Aj+AAoJEE3o/ypjx8yQBmEP/1bBb4ro1hQZUTbJi7xdhTOU
HFamuGu62mXIUGB4IueOsn2bK3L07NDUdGKJldFvN+rny2tLVsFgvTgjbIYed4s/
HfuQAztnstKVpea9Y9Dj2mzcaVvjezFbNA3YuNST4JOP9/x+CUfB6oecF810Cyvc
0lEbAu7oao/rEYceDZ0C3DorHWrHrIPfFbqh1FenWb9kyKjUSVr8Mn+B0f8BQCxj
9Usq4vn/h1OHuVEaz/j5kOXCFTVsCrf60TFbB45fVVtIL0mpJKJ9DXUbENT08sAR
78fzUcvvQkkkt9npBYdXSnvXr1vh+H3naGtMvktJ397mPMNiqXNuKblJAllXSVfr
kJmdlmwoFdMSXhN7mRiBKNZSdg7PEgFZ8va7J9IMK7pZw7RjBGvDv5dGY5IR6y+M
c6UHQZIsqPE8XkpLm0WPcrFxQhd55R+Ah/TreXXon4Jr7uOYLc1ows7gNQrMmL2A
skZI9MKWgzIE/7jV7gY566kcQ7OA5RGBs2SUtzSao8cVDndq8robSTAw0s4hQ2t+
CFVe5G3rVbUkZFqZPuLJCH2jaIVceeoiTi2iQWVmDOFMQyXqCpjz9qY+/KpBn4y2
frmZwf6BfKnRnWxUrbQBgaJAweaWQ2SXJ3PP3A6OLTIuHdilT4qZCxyGSwQPkhSQ
2Mk+cBRxAsqno6Ax0dAt
=zddN
-----END PGP SIGNATURE-----