-----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-----
