-----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-2ubuntu1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 c81689f2744dec36d772093d2bb90b40ee0fdeac 12536 gecode_4.4.0-2ubuntu1.debian.tar.xz
Checksums-Sha256:
 430398d6900b999f92c6329636f3855f2d4e985fed420a6c4d42b46bfc97782a 2888696 gecode_4.4.0.orig.tar.gz
 6175697a2edf201e3cdc93f4e460c1d749d5ce8abc17be4644a0f59095cf9072 12536 gecode_4.4.0-2ubuntu1.debian.tar.xz
Files:
 a892852927b12ed291b435c72c085834 2888696 gecode_4.4.0.orig.tar.gz
 a5c597212d7286a46be3006c43056a0a 12536 gecode_4.4.0-2ubuntu1.debian.tar.xz
Original-Maintainer: Kari Pahula <kaol@debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJVv/mDAAoJEFaNMPMhshM9mxAP/2yRQngDCXU01ADiex/1nJa5
SGcZoczkauzMdzQ3IQL2/9aEp42Ai9QFgAJBKF36i1sDzmDwMZlddk4AMZxP6RsS
baYzXyZlu/4Gf8jNbfrajOL5PSkoaNr5dc9nKNVc0M8ifV11dB55RvyQ/6kcCkx7
nCVswiWusmVphktMpff4hCXDMBLQXuV4vkReMB6EyC0507/RBh+gnf1ImXKqnBt8
XfZymRZ0hPGPTj2INESlIJipAnrS+c6cqZKmI5CVOISvj4R/+oLVprGPFLSjfsj5
zI3alw2KAKCsGRpvz+qOizZ3BF+6S7z2u3bYxg9jL4/uDJ0Gs7vZzAKZ+YBlM8aA
bnSWIVuwyKrMnh90X8K3vbupIrsLDVkLN5QvsbwbZ1vWrPAwMfDiSsePHZJc6CpH
O2S2W1FlKb8v33v0bDp/9J1+lsrCkjLRKtyR3JtncHyPov2Iczz0o2OcyTL+Dahy
7iDQMNZFBhOGqHc+Pfvn+is+GSL25r7Z0FRTHKDaxZdDUAWvRy0TcEEE+4/cR6US
52SgQ6vw5oT9e7N5c1pkBdIs8Xq3Up8DKXPHK1fl2p55nd8XujYV72WzU4LZaa62
Bk8X+CgCQpd5hSqz2e+W9iEx3gF+u1TO5BZoBXu2M6MyKh8bXK++XWtDNQ0Q3ffp
8a0IpURvS9eId2NM38i7
=/HGu
-----END PGP SIGNATURE-----