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

Format: 3.0 (quilt)
Source: gecode
Binary: libgecode-dev, libgecode-doc, libgecode49, libgecodegist49, libgecodeflatzinc49, flatzinc
Architecture: any all
Version: 6.2.0-3build1
Maintainer: Kari Pahula <kaol@debian.org>
Homepage: http://www.gecode.org/
Standards-Version: 4.4.1
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
 libgecode49 deb libs optional arch=any
 libgecodeflatzinc49 deb libs optional arch=any
 libgecodegist49 deb libs optional arch=any
Checksums-Sha1:
 4bbb45cc5c5da852082003b85bf9beeaf416006c 3672525 gecode_6.2.0.orig.tar.gz
 80ff3af18d18f06edb00da75c3e895a6b7e09e97 16264 gecode_6.2.0-3build1.debian.tar.xz
Checksums-Sha256:
 27d91721a690db1e96fa9bb97cec0d73a937e9dc8062c3327f8a4ccb08e951fd 3672525 gecode_6.2.0.orig.tar.gz
 9ebee3f60697be8cace9d54220a8621cea66f87cb7c68a899b32aef5e41e5ca6 16264 gecode_6.2.0-3build1.debian.tar.xz
Files:
 781c620e3e09c7fe1de0413f310d90f1 3672525 gecode_6.2.0.orig.tar.gz
 9fc54c6ff74a19a8e42401493ec9de1f 16264 gecode_6.2.0-3build1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl56GKYQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9S2kEAC4xqx/eOsfDeiEESsYJNCN2AG4IPfuKlej
dTl0Pp3ZtyS8221Er3iJw5SPrMI6+8t96abwJ2UNmQysriqRmS0hThWBEISCw9QI
fl4VhlgiCEt8azEd8MbjhdLpGpZzcspIRouQblr3ZwCJ6jSLhor73r7CNkNgnBX5
5eEQw3Ngdj0lBF+N9SzaFpqNnsQCioHieTJVT2m0NHJ7XH7aeMcL+tFPqxapXe3a
FFpzg2YLMpJ5FijoBBoWeRnCk20tFN8fBtrDyU1i3kX0JmHpRIdugyukUZHrIYhm
/yyu/QaHVR/JC3n8HbqQkmYX47n2jPVnwHm0IKzMLvA6Er6vKKY0oxRziuosT5Tc
VOeSHQ0Qug/rUa62A0cz+NDApsR+p4yCIy7gaWrGDCUiUKK+JBQ1L2AYT1CdP+G4
j2d6N4yQfC9ikSHMvjSWKKKPe6iWqj4osxiqRqYXw2sGwkfdDJeYQfhZRQckH3s7
VAsm/poy9LVPVbj5rx5XfKKoGj1vHa9z41a0QB4XKZDJhEQufUk+U9VUlpJuy/Yj
hqo2Wl8qNmXwwhmAklJZIlQT9nfkPyAYeEL3NzhN+5QpZLXJd6CY22Be70nvUQT7
Yr/VwjVyfoWpETegYsYMbS206yosF+n8XKntYzkQXbUrfb+DGrQ8RGBDL0yC92ZT
t3Xb6RsTEg==
=vChS
-----END PGP SIGNATURE-----