Accepted gprconfig-kb 23.0.0-4 (source) into unstable

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

Format: 1.8
Date: Mon, 23 Oct 2023 16:59:14 +0000
Source: gprconfig-kb
Architecture: source
Version: 23.0.0-4
Distribution: unstable
Urgency: medium
Maintainer: Nicolas Boulenguez <nicolas@debian.org>
Changed-By: Nicolas Boulenguez <nicolas@debian.org>
Closes: 1036069
Changes:
 gprconfig-kb (23.0.0-4) unstable; urgency=medium
 .
   * Remove add-targets-for-gnat-s_osconf.diff.
     Gnat now stores System.OS_Constants.Target_Name without the vendor id.
   * Rewrite archive-builder.diff as upstream requested.
   * Improve gprconfig.patch:
     - detect mingw32 compilers. Closes: #1036069.
     - detect TARGET-gnatmake-VERSION without the unversioned TARGET-gnatmake
       (soon removed from native compilers).
   * Add autopkgtests for cross builds.
Checksums-Sha1:
 11159074ee72caf4c63e62e402b4fad6af75a6e7 2036 gprconfig-kb_23.0.0-4.dsc
 0fafd81d03929a55f2ab82a97b0e0053df72b305 7352 gprconfig-kb_23.0.0-4.debian.tar.xz
Checksums-Sha256:
 882c9c8622e0e4a52a7f4ad5be693697080e1d5b62ce1c6277560a3490a39f9a 2036 gprconfig-kb_23.0.0-4.dsc
 41285a0f739e54ec71d013636f2f9b7a4ea1510096f6d307c6887bb0003cab55 7352 gprconfig-kb_23.0.0-4.debian.tar.xz
Files:
 87783d42e3f797d8479de5059655d055 2036 devel optional gprconfig-kb_23.0.0-4.dsc
 f58a397e88ad5eb45e0397d64fe3367d 7352 devel optional gprconfig-kb_23.0.0-4.debian.tar.xz

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

iQJHBAEBCAAxFiEEawm/6zYhqkfTAKHtFHKayZgPCdIFAmU35yQTHG5pY29sYXNA
ZGViaWFuLm9yZwAKCRAUcprJmA8J0umrEACCICPGtTqr7hWUkH1kqCfjBknsDuCs
W655JCzFRmYgvl5Wbcekej+2HO5PHt9t5f9xo3gjT40VZh5cazJ6VtMgdt07eIxH
vymZLcQLTDwno/zn1zEJE0xaRq60ajltGSR6KRDG3V3R8wKXeH1ULz2xDBjeSi2/
tAb9Fq/ymzccD8/PivhVevjy2YiICRTv869H5RfLtrRSin3d5nH1Z7oDIyWlhEJt
jQ08gYbCHofNIRXPmGTP7mw7LhNoXyiRRuyPDcI/g5UhdTAPcIK5mSEh6+h4Sck/
3OQxsJLK4Bux9E8aR8wzZ8VZullvme1BhQzebhpCG8dV4LxK4GnfYtggcq6kHgTF
MXNyDJwgfStaB1eKfZszm/WDIJ1p51Z2FKaJDeiMRjq+nEV4X6Aochbr3+kNJ5IB
NTVssm9EH3BOaWOBleP06d+HmLi3GQ6liF7NBjlo/TKxiQaJUQOtyft7E+RFxwVM
hmvlmdf9oXQtT7P41MuQjD6GeXm8v0QgEaIoyOikiVJyG3+wwbqXpxYG6yttMKl/
/K4I1eRlYc8OuHOCzK5seXyWTBit0Pj5A+zTV1W70VwavzvAnDsfAG/zBV+346+w
HkwoUpUQrN/WRs9aYLzKHBrNDjy2ZtGmVKO844qYZXY351VUrGdUjvRu3N2B03Rj
qzDQ1WofxrFDwA==
=dFJu
-----END PGP SIGNATURE-----