Accepted minizinc 2.4.3-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 13 May 2020 12:59:18 +0300
Source: minizinc
Architecture: source
Version: 2.4.3-2
Distribution: unstable
Urgency: medium
Maintainer: Kari Pahula <kaol@debian.org>
Changed-By: Kari Pahula <kaol@debian.org>
Closes: 960404
Changes:
minizinc (2.4.3-2) unstable; urgency=medium
.
* Protect "Current" in YYLLOC_DEFAULT macro with parentheses in
lib/parser.y to build with new Bison (Closes: #960404)
* Standards-Version 4.5.0 and dh compat 13 (no changes necessary)
Checksums-Sha1:
3b307dec079fc8a19447cf72729b269e3ab7984b 1798 minizinc_2.4.3-2.dsc
d3c391268a9f9b35df76ee3e071ff3c7afece17b 9200 minizinc_2.4.3-2.debian.tar.xz
58f5bb1d7d1ebfc1af2b24c4d7dd33906907920b 12257 minizinc_2.4.3-2_source.buildinfo
Checksums-Sha256:
abcae19a1d3a1f0f9945ff814990d7e8707eb65f1f586dc148582ac3538b1100 1798 minizinc_2.4.3-2.dsc
d76c7e5f89fec23c25e646fca485081c3aa0616e17f77145fa2cf8f890628f3f 9200 minizinc_2.4.3-2.debian.tar.xz
7c22c2918872db0cd7bfcf9c45ef22f2eb3d8096fc884f2c8e003189cfbaa23f 12257 minizinc_2.4.3-2_source.buildinfo
Files:
2d78872ea611f3349733ecfbe7dcaa84 1798 devel optional minizinc_2.4.3-2.dsc
6a88963767789b155cc0260522e44bd6 9200 devel optional minizinc_2.4.3-2.debian.tar.xz
4de5ee9c7a8e2d95d83e3d1186d952c8 12257 devel optional minizinc_2.4.3-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAl67xhsACgkQhAhn7p2P
JlwxeRAAloU+I3QdEepMh3fOaN3qUKY4E9uH1pZ31QIyhgKYOjXjJtuEz3loyS51
DrOKT+yecoLrjJSLxk278eFU/yJq2yUd6G6rvwtaNxe9uxHA9LOljnhg5+CxZ9Bp
N2DG6Bp4DnAI7OvIlUFgq4mqKt5AKg79qkv3sLuHEh7hHIkZdc6ulwwXz2iW1GIy
N860lao/oaUfnc8JkEQJi4jRIBT8htFuaX7ZR5Ph7leu7WaFKitaqygGFNiL5hwq
BH7pfczM+DdIoAwOtZACGbme+6GDQtQT5i9FLVadkRXg/V+NZ/9bnTfkNmDbs2hY
LYgX5P4+HiQnIzilVOwnfQrA6T5LGa9o5jqFfoeFF8X2yKwH4rvAo6XcnZg37wDR
BB0ogRdjdHoTA39svtrZlx1ppf4xssxFg7+FDf6SYgFes87S1I10ciQ+UQTYitS2
Wvafr21AzAh5PTX/yS+6NrrU1Mhv6wzKj8ij6EI+sG9y0e08EugNEgnvZ1YnLNNl
p1Ae8t4g4UqsKxY2OH+O51MB2II3Kle8r7o/KVTgUPFt8nFzEdXyVGcCCNKG58jm
hPILMZWoWCc9Rr7+t/0CIGHd4SStnFol5NXPzQRjjrcZvQLNnykCefLcImyonJfL
mDJCodw2nIhcBsxeCV1tiynJHlT8TC1rHmLNwl6PRQH5OXmsOYw=
=RNmP
-----END PGP SIGNATURE-----