Accepted gnat-gps 17.0.2017-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 24 Apr 2018 17:58:35 +0200
Source: gnat-gps
Binary: gnat-gps gnat-gps-doc gnat-gps-common
Architecture: source
Version: 17.0.2017-1
Distribution: unstable
Urgency: medium
Maintainer: Ludovic Brenta <lbrenta@debian.org>
Changed-By: Nicolas Boulenguez <nicolas@debian.org>
Description:
gnat-gps - integrated development environment for C and Ada
gnat-gps-common - integrated development environment for C and Ada (common files)
gnat-gps-doc - integrated development environment for C and Ada (documentation)
Changes:
gnat-gps (17.0.2017-1) unstable; urgency=medium
.
* Upload to unstable.
* Add sphinxdoc substvar for Built-Using.
* Standards-Version: 4.1.4.
Checksums-Sha1:
fa3fd0dc977471f0a84534806d01b6e30a7074ab 2752 gnat-gps_17.0.2017-1.dsc
3cef82230c3422464c2f4b1eda60cefda0878a7f 56460 gnat-gps_17.0.2017-1.debian.tar.xz
Checksums-Sha256:
4b02c2d56eb9add89244efb42761a55d5ef70182069925d802bdd434d42d4bdd 2752 gnat-gps_17.0.2017-1.dsc
e34975f794b62523c52e3eb67afcbe548d73c47fc4c935a8843d6ce2fe2c0e06 56460 gnat-gps_17.0.2017-1.debian.tar.xz
Files:
8e46d3717ad647e68db2fe753424ff8e 2752 devel optional gnat-gps_17.0.2017-1.dsc
82c5fa08eafb3ad4c40bfc0ebfdee8c0 56460 devel optional gnat-gps_17.0.2017-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJHBAEBCAAxFiEEYtlNMqmXIhEvWffytSqc9EkN/I0FAlrgNfITHG5pY29sYXNA
ZGViaWFuLm9yZwAKCRC1Kpz0SQ38jd/fEACB+KObsI9FbVHil+9yI4pm5Nf6IOnd
qu0KhcW1bApagp873SYHFRasxJKDYjQuudFlG29aj4P6K4UsA/IeYsamyV9tLduO
4wPewDtoc4/hg5dG1j5vaJOU+zbGpOgwZJX8qMywhhzCpOa4X832Vd1I5Ps7GiRp
/vf16e+WPpXrnsrhE+zhqP+umkMb307QMUlDYixpRDmxkK3PFFBQ/D2II56Ya0dw
+NZ8hOK4IlwmbqyzI5ZVsn7ZR67tLPqSRp19/oI6yHAkPGmNnAya3agEx0y6EdF2
pQq73V7F65Ck7WEAXW79y5adBp+XkQ6KdAlmh2odqcSscyIGVYHYC0m1jGELSIME
Q29dXAsDjnB0Q4Pn9Db29DoE54eaKB3Zpcn6dBUGp8OSvROCEFphTsP91RVrQf1V
1vtSHSnKGB5kUNL3TWgk+onQ52m7FxgUoanpw+zFMSddaFjEcOXRRp349Hg1Ysep
o3oTYt4Af6OOEJqxErO71u1Ksasj+oa7ugfJXGNySnjNj2govlAOWv+PBYyf0fyR
RkQAi4wdftp54giCQj92cTYvdqpBVcxN2ENYbickgAn59UgFXAzZM8AjhoUYwRHi
YnicuGYZlyfvKd6UWUXMNdyIF3txG/ZxS7c84EuJaJiaJlQvLNgI8XFg/gDq2aur
5d7saTqrTERHbA==
=gkkJ
-----END PGP SIGNATURE-----