Back to minizinc PTS page

Accepted minizinc 2.4.3-3 (source) into unstable



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

Format: 1.8
Date: Sat, 08 Aug 2020 23:13:21 +0300
Source: minizinc
Architecture: source
Version: 2.4.3-3
Distribution: unstable
Urgency: medium
Maintainer: Kari Pahula <kaol@debian.org>
Changed-By: Kari Pahula <kaol@debian.org>
Closes: 966905
Changes:
 minizinc (2.4.3-3) unstable; urgency=medium
 .
   * Symlink parser.tab.hh and regex_parser.tab.hh in build dir root to
     make Bison 3.7 generated parser.tab.cpp and regex_parser.tab.cpp
     happy.  (Closes: #966905)
   * Disambiguate file glob in debian/copyright.
Checksums-Sha1:
 68bc6e89acd50e42a32d3f38c1984cb600051ed2 1798 minizinc_2.4.3-3.dsc
 a831fdcbe77187a756d93d09bd778c50428e5a3d 9580 minizinc_2.4.3-3.debian.tar.xz
 82cc511494c26550fc6dfbe83fe23912011002cd 11994 minizinc_2.4.3-3_source.buildinfo
Checksums-Sha256:
 679e6588a56e0ac8958af43d6743364694f8a4832074170b467e4849cf9f7c00 1798 minizinc_2.4.3-3.dsc
 9098e6260e6afb2fd3733272e02e32145665e7a5b9437e67e3955389adbaa87f 9580 minizinc_2.4.3-3.debian.tar.xz
 6f22bcf97357d717cda79426bbd4d7c4b5f13ef5242aa7cd9f84349678f3bfa1 11994 minizinc_2.4.3-3_source.buildinfo
Files:
 d6a080c3af6f293560513e3f18f7c43f 1798 devel optional minizinc_2.4.3-3.dsc
 79b8289b09eb8c1e5d71bd12fe2d0d44 9580 devel optional minizinc_2.4.3-3.debian.tar.xz
 dd34a7903d994242879c6ec1ecfe4045 11994 devel optional minizinc_2.4.3-3_source.buildinfo

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

iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAl8vB54ACgkQhAhn7p2P
Jlw2og//XBZ8QX8xcQ5LZETBs/62M3QKtQ0r5d1Ql9sC2bZYa/iSXIT7Q5MoIrxE
JcjGLakFRvWDfjyJMl1IvGK/J3krbC/awABTE6tJApT1uZevrl9OWQ5Lk/flaFVK
acz1/kdEkLnFOuT8J3mS9fvzRCCkOCi6ZeR1MPhsdR95QWw4xxBdt38IyqjUrbHf
R7au3bJFuDuvW33iuGdS4wWXXynls7pNHpIhLafmrrX3laQTkhNhrMfEMncARGI3
d9LRTkF68wnkGU45v4FnOTMis5ZQiM1mDs7lQyrcKTtfMHmo++QKtKG7zGDleD2Y
4trjD8GsCsBr7Ifz+wbnC+hFPxA+5nMj4/ORoz22PEhrKDeW7joemVA5tKFS5Zdq
WP4A6LTvWzJ/rW9UkaF9SbZsNgcWm4MqBN02/W1tx7lFkPFbDjBwaHukhi7/1blv
fkSs1HynnsM77bSKRtGIGParKOb5Xjq97tLfdfqQlk5gpphXHlg0cexfhBIpH7ka
bGKvf+aYTK67imjGdT4FGfbvj0TqUTNATv5odAHlmFvy3Qa/+dfooAs15IBYxvBY
Kx8PKrh872q+A55u/V0UCSWnnBu01U9M1+gQySCpQMWwsWpMWhiCdVlvqwtgQFyx
iptRlJ1n12WFl2pKU36Inmocb/GKSbR4OJu/Alpv486HyGWd+eY=
=oUca
-----END PGP SIGNATURE-----