-----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
Maintainer: Kari Pahula <kaol@debian.org>
Homepage: http://www.gecode.org/
Standards-Version: 4.5.0
Build-Depends: dpkg-dev (>= 1.22.5), 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
 3c86b8862165e347d118dd200a19513af1623a51 16700 gecode_6.2.0-5.1.debian.tar.xz
Checksums-Sha256:
 27d91721a690db1e96fa9bb97cec0d73a937e9dc8062c3327f8a4ccb08e951fd 3672525 gecode_6.2.0.orig.tar.gz
 0616442dc6f296dda768830d54af334f16265c95f9725619dec2ce7242058d88 16700 gecode_6.2.0-5.1.debian.tar.xz
Files:
 781c620e3e09c7fe1de0413f310d90f1 3672525 gecode_6.2.0.orig.tar.gz
 5f712024bfd369dda53e1193f57eee81 16700 gecode_6.2.0-5.1.debian.tar.xz

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

iQJGBAEBCgAwFiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmXfW50SHHZvcmxvbkBk
ZWJpYW4ub3JnAAoJEFaNMPMhshM9WBYP/iOPVTx1Rfd3nSyT/Sqr/6aP3RrWuUWa
xO08rs8h2MuVg6d16jUyukauoNroVg1oxtj01rRANUzws7sYTWnnNdIO46Guxkga
Ab8z0yTyXe0GxeJCm3DX9miRtO8iroATxtNqxH0XjqOdpH4ki0AauvkgVMjg3Ns6
Q+3820are3cFy8y8HCrdNnhNiT8B2vyBiDm9fdiiEDLNBPsbLGzV8ok/5FHlRdUC
G//ZRxLP7bz4QvLBN2vtQPAbl+sIrL10dfEagmI7hdFG0eLYRzfGaIGVMRkvFCvI
4OsniAk/qsG8bXLkZYXsfzTjjsynjIZQZOKGc0RjzByWVGvdZB5w9/nGY6NMuEGC
ganPSESJnaTG5qyjMWYN6iq2V/hFFHq7B9mLShAwZOjnP+9BL0BSmBOkJpQQwpaJ
LQJN64GEkv01zunLhloEHb2XNGa5ffwcjdRzOQp7KDcDTR8kPcOn7DNAcPRmEmhH
+Lyi/YHpuEyXPiKp3YVfvC6DnSerYs0gppIF6drsvwHoIqbCP2QTI7BPTgaYdbrw
FM3T6rs+dSiClap3QgPLi48uk8OcPsxTyscpng/Yfn2/7jXRvXdEGnZY3W7uHOz3
MVAm3X0FOHE5MCT2oDdIKIuN8XwJMPFcjIbEiwNHjnvr58vBCxvDm4oai8cPjpBC
M6jmPkL8oOcy
=ltJ7
-----END PGP SIGNATURE-----