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

Format: 3.0 (quilt)
Source: gecode
Binary: libgecode-dev, libgecode-doc, libgecode47, libgecodegist47, libgecodeflatzinc47, flatzinc
Architecture: any all
Version: 6.0.1-1
Maintainer: Kari Pahula <kaol@debian.org>
Homepage: http://www.gecode.org/
Standards-Version: 4.1.3
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
 libgecode47 deb libs optional arch=any
 libgecodeflatzinc47 deb libs optional arch=any
 libgecodegist47 deb libs optional arch=any
Checksums-Sha1:
 643f8047a304b4c8015096a9dce35cd4bc36e29b 3291070 gecode_6.0.1.orig.tar.gz
 aa5bb81cbf44e9b30f26dad97a392dd75502f461 15144 gecode_6.0.1-1.debian.tar.xz
Checksums-Sha256:
 8bef2fd195a99d28c83018255bd88e30f033007859cccee26f20e9e2683dcc82 3291070 gecode_6.0.1.orig.tar.gz
 30cb7aa249c724551fbf5f6d885204814a7fff626fa9441b0f0c408a020037de 15144 gecode_6.0.1-1.debian.tar.xz
Files:
 046a1b80419f735eb1046f6951e99d14 3291070 gecode_6.0.1.orig.tar.gz
 cbb25d4fa307333fe659c14601f0ee96 15144 gecode_6.0.1-1.debian.tar.xz

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

iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAlsSzB0ACgkQhAhn7p2P
Jly5PxAAo40K/x/taL1DlKPNSrBkKDPTvd/Ew3G0lgxtqTHSa8G/4hF+vylJmcJX
RkQ5vfHb8MaQKS73ZBeUkTqVL0o+Wj64DCIkoQCNvhnBlS2MivUemRilDdTll+AR
9682csbHVG47mnbP+bvfkSM/aUjaC3G1tHFmyUIWRns1AQSyUfsOgYRtOLFMBipE
nh1ppR9nN8wHgZPay2FpuL27a6olq0xt8pZQNPZowovHCG+/VjtaFvzyJtKjGC3q
dbe0hGFI+17njy3/UdytQVQR0xdGzDjPNuSCjHXULhH/KwXRcQQ47EMF4ohp/40e
tRGDWqVJnSR5l/rMALFe5dndKgaieEVKmsVp4pK/cWUCael8RNiDAxGki1uAp26x
lI02l5Ccl2ryPv4mTWvRdk/SQZS7NDTocdKyuSmLwj+p9zx3FNybC1VudPjI1n3E
V92li0vKvGgJRTB/Ci6FeE6sNmmMkveRQLPFQANP/a+EAcMDygR6WV82S8NMFLNL
MQWf7Kk3fo5p4HURa2UXXzQ9xrwgccnby1ml7ieTZYpBSXEXAXLW7cLZX9rJgV5L
aAwoGDAQ3zj0Hu8QD3yasjipCYUW8sg6LxgSLmDA3S5iCTPVkcb2grMb74bfRyZ+
dc31cxfv7xSyXkUi/hvVA9yl6j5ohK8ufs8YjhYOeyfdDpX2McY=
=wDsF
-----END PGP SIGNATURE-----