Accepted gecode 6.2.0-4 (source) into unstable

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

Format: 1.8
Date: Sat, 08 Aug 2020 19:03:19 +0300
Source: gecode
Architecture: source
Version: 6.2.0-4
Distribution: unstable
Urgency: medium
Maintainer: Kari Pahula <kaol@debian.org>
Changed-By: Kari Pahula <kaol@debian.org>
Closes: 966903
Changes:
 gecode (6.2.0-4) unstable; urgency=medium
 .
   * Leave gecode/flatzinc/parser.tab.hpp name as is since the generated
     file gecode/flatzinc/parser.tab.cpp includes it. (Closes: #966903)
   * Standards-Version 4.5.0 and dh compat 13.
Checksums-Sha1:
 e1946499ee34d5c5512983679bc091aa3108dc39 2157 gecode_6.2.0-4.dsc
 512e7f5e5c3c4382f4805e9ad8926cac7c60f818 16692 gecode_6.2.0-4.debian.tar.xz
 8e082b62e5fa717b94b7a16cf7049129c75539e6 10455 gecode_6.2.0-4_source.buildinfo
Checksums-Sha256:
 ff054ed55e4a492097f3448075420373041823d881d8b7e2edec9ef1f747c42a 2157 gecode_6.2.0-4.dsc
 f53103390cde3861a89f0a28a1cf117399f6ed47f3a7e31421d3c548d5bbc9b9 16692 gecode_6.2.0-4.debian.tar.xz
 1a553d0aa3ff3fb948725fc4d3a1cd40cef3a5bb1d93ff878aeb55e8eef0c5af 10455 gecode_6.2.0-4_source.buildinfo
Files:
 d8a46946c0ea0878f37e111aaa552636 2157 libs optional gecode_6.2.0-4.dsc
 16803d8ecbeeb7789ccc7b7bd9b521f8 16692 libs optional gecode_6.2.0-4.debian.tar.xz
 6429e8ed91c373d5e2ed3493d3ef92ad 10455 libs optional gecode_6.2.0-4_source.buildinfo

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

iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAl8vAb8ACgkQhAhn7p2P
JlzkfQ/8DvwoZYfA6mqHBU8e1in8LsBAQ/mW/1hknwd/cRqYBw/bIajDcLASqXnA
5Eif74TCw4VTyLcwsIK7hC1dRuPLxX1xHi+RjBGBStSdEgGkXXi8WeCppq88BVR7
NhPrs4l76aEpsWW637uQ1vl2ezDx+oUaxzsoBWSDdOYuND9rfBeaWc/mz3rRUx7U
RGHOFCrx+kT2WuelfXnQcqIRiBh3dNsLDzh27YfemGQzYZf51hsovArA5o60NZ8F
1/gT9cpct5BNjQzi4PIpPkVx/R5t1N5yDYJs5tYJsMNlr9jK0Tnhqzh+vKAtZdfd
CcnrirJvNSccddNbXzZd6bjyK1fd4E3wCRjpWLoMT/69j0TogrNQ/wBg49WW152B
Q2+9OsdoWn0AFKgEwYEdP9M7xOUQ4kabut81rIqXWFLYqJ9bGvf+ag0y9tSTefoU
/7dGWfxpHhjuEN67d3AEyYD6kuyqeLBuPDrpM4wzOKLwlUzU/0MTdpwOE7IimZ9E
6FmEPnK9uXLsKIcky2iGPB+JH+fceUX8WTNPbGB9ZfDcjhFuU4szNYO1jcPDm4/F
OcUgsJ7/n4RzmV3o9uVtNw8hF29h+FNKy3zriiXEsgfKeQF3dJEDQR2wbUAIm7GN
AuDUoEVxIkJW0rlEDUNqpWpDL52j7gvysMjJm3nsp4O/VNHsnWw=
=seh5
-----END PGP SIGNATURE-----