Accepted minizinc-ide 2.5.3-1 (source) into unstable

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

Format: 1.8
Date: Wed, 09 Dec 2020 20:04:30 +0200
Source: minizinc-ide
Architecture: source
Version: 2.5.3-1
Distribution: unstable
Urgency: medium
Maintainer: Kari Pahula <kaol@debian.org>
Changed-By: Kari Pahula <kaol@debian.org>
Changes:
 minizinc-ide (2.5.3-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 7d7a3de3ad67da315a2f5b21456640015a7de181 1766 minizinc-ide_2.5.3-1.dsc
 22914eaa9988c3099b36259a7440f16376a1e0d0 798423 minizinc-ide_2.5.3.orig.tar.gz
 ee55bb5177ab4cdb4731315b5de87801dd2a360d 13040 minizinc-ide_2.5.3-1.debian.tar.xz
 6f9f60ea22790cb9f7e925468cb33ea24ffd0161 13859 minizinc-ide_2.5.3-1_source.buildinfo
Checksums-Sha256:
 873e5ffb82eefee491a6fab24a38f9bca2fbee54539d97ffbf74d47831c0ff3f 1766 minizinc-ide_2.5.3-1.dsc
 98f7a333152b8783650e8f973816abe0ea2945ce250781b1b0da51d728daa4b3 798423 minizinc-ide_2.5.3.orig.tar.gz
 868ae29db69c0754c570059f0bdae23d11dd8a50f3acf75ba8e901a3c23be80c 13040 minizinc-ide_2.5.3-1.debian.tar.xz
 1dd372cd835c6e43752815f3f7beaccf335470838d96739c69a34bda7cc9179f 13859 minizinc-ide_2.5.3-1_source.buildinfo
Files:
 5b6dc28febd7a44cd6896ec9fc51547c 1766 devel optional minizinc-ide_2.5.3-1.dsc
 ab131c94e3ec250c33256ee7f0a1b3d3 798423 devel optional minizinc-ide_2.5.3.orig.tar.gz
 b13551c7b482b5915e99a0c0ed3f43d9 13040 devel optional minizinc-ide_2.5.3-1.debian.tar.xz
 b956971a5f24a3cb0e871f13dbb32cfb 13859 devel optional minizinc-ide_2.5.3-1_source.buildinfo

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

iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAl/REcMACgkQhAhn7p2P
JlwDog//cuFGZUIe1BlRi+l52kP6lvep+nVAeUF9LB2Zcm/cUmCSOOF6puGq3EHw
pbH8FRYR66mpnYmetNUV/ry9jrnlA3ijtNVr6E0t2zL+NLkwumQsLLxn8LbZvPeY
bKawJ6NXMSpZgSE+eVEAjjwnE50iP4tNrZOwANrvlC94x7dS/IuTWa/rgYxEIJRb
0fAPJNlwA6trw4HZO7cQLhaFKY8dI96wRJYTG2f0prJH+YVC/P3cKZJZ3H/j0Su5
0aUxu+pebVBgqpGZvaKI01Rspj6kIqCYzuYH9Zn6OFwISTnxpVRQ8kmqm22vVfwy
KubsD7yq+9rP1b+nY98pOPwpUEYWMHgFss0m76GaMWwTaEbxBWFANgvUKxdz/WPl
1z+kX+p6jBwd+59Kl5sY/4wA+0yo/pg3sTaYf9IWNDS3HU/AVVseHD+7vOuc16j6
xjX/UEynURKM9ZBIVOU7BlRywtbrrgJ+p/GTX1uw8+uGuaebfcMKIP4I7cYdplGm
1UcPZ2qH1PSAumAFXL5Cs7Glc2VCQE6K1t8cL9btWT8nt2WNXYE2/NLrHP9VC4K0
GIwG3CaAsEJTD1XQzdhX12zAaWiunYa7lZQlb9OBrigRKFkYcUZDbFExwgfnvV6q
4L8JkTwLoN9Jry3q22DOIeohkCaHihaH+JGEjmZTJF95qtYSgCk=
=Xffl
-----END PGP SIGNATURE-----