-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: gecode
Binary: libgecode-dev, libgecode-doc, libgecode49t64, libgecodegist49t64, libgecodeflatzinc49t64, flatzinc
Architecture: any all
Version: 6.2.0-5.1~exp1
Maintainer: Kari Pahula <kaol@debian.org>
Homepage: http://www.gecode.org/
Standards-Version: 4.5.0
Build-Depends: debhelper (>= 10), cdbs (>= 0.4.93~), 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
 libgecode49t64 deb libs optional arch=any
 libgecodeflatzinc49t64 deb libs optional arch=any
 libgecodegist49t64 deb libs optional arch=any
Checksums-Sha1:
 4bbb45cc5c5da852082003b85bf9beeaf416006c 3672525 gecode_6.2.0.orig.tar.gz
 975bf4fe4088d7cc665927bb3362014c3ccb0c7b 16692 gecode_6.2.0-5.1~exp1.debian.tar.xz
Checksums-Sha256:
 27d91721a690db1e96fa9bb97cec0d73a937e9dc8062c3327f8a4ccb08e951fd 3672525 gecode_6.2.0.orig.tar.gz
 ed9b50516ea18fd313be3b89bf31a1e64b906fe410e9962e1f35344666998cbd 16692 gecode_6.2.0-5.1~exp1.debian.tar.xz
Files:
 781c620e3e09c7fe1de0413f310d90f1 3672525 gecode_6.2.0.orig.tar.gz
 8a5301472c5ca1782cfff06e50b4cbe2 16692 gecode_6.2.0-5.1~exp1.debian.tar.xz

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

iQJFBAEBCgAvFiEE496GmCL5m2y8NfJ5v322IrMDrIsFAmW6C8wRHHNseW9uQGRl
Ymlhbi5vcmcACgkQv322IrMDrIvZTBAAgz5Y8/G53kNdnQtVr/PPkroFDvSLXnpx
VdAAkT4fyunP4Gj9vS4BdydTANIwjqvdjD3aM5JKIL9akgsplZLQ6FfLWAKx+0St
lHglDCj9H78t3BDJp2uKWWma6UM12OUOmfmyhdlqkHdPs9t67sN0JHjWq9ySPi3A
9HrGie6tBQz9KeC5lYc7LSBJVvF//F+rUOGIxelvKwhd8bXIvdZVeXftqyS7SCX6
a+unThwk9WRpyQhtwLBFqB+UzZzDemcEr5wYTgVjHCnAnBdz0dBoopTh5EigVsQ0
vkoMfpr/cXVFnjGjPYBl7XBNn/XVbLjqk8E6Nou3r5BjwQoVojwarmIBF6oe2146
w/TgLFw7uc9FPkB3XJv0Dtc5W3mKC0te6Fl593dPukWubP6+CcdpHn/orHKL9j/t
0MkTXuwhcYXhDa6apQTmCzN2bUCG3CIepJfpnliHZkfWA8xQ/lzqI84rICklXo41
SNcPUk6M5dYjMEcIkgyfpiwH58yr3jbfkXs0TPdnxwpUDwTxO9/LoH66vFe6uOMW
iFIyT3n18k5vbmQjdkKzYnHHthyvA2GENW63ujWHqEw4Xw3I0dHhxMzbGN6AGiMU
2WCWx5R366CVP3dWgqOvZIbk0wOy4Dvbxayhlc69KG58vxn3Qr16wilrFyfVMfGj
cBcPlLjgLnY=
=9sVW
-----END PGP SIGNATURE-----