Your message dated Sat, 12 Aug 2017 22:00:11 +0000 with message-id <e1dges3-0006gt...@fasolo.debian.org> and subject line Bug#857135: fixed in asis 2017-1 has caused the Debian Bug report #857135, regarding asis-programs: Missing programs: gnatmetric, gnatpp, gnattest to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 857135: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=857135 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: asis-programs Version: 2015-1+b1 Severity: normal Dear Maintainer, the programs gnatmetric, gnatpp, and gnattest are not included in the asis-programs package while the package description lists them. -- System Information: Debian Release: 9.0 APT prefers testing APT policy: (500, 'testing') Architecture: amd64 (x86_64) Kernel: Linux 4.9.0-1-amd64 (SMP w/2 CPU cores) Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages asis-programs depends on: ii gnat 6.1 ii gnat-6 6.3.0-6 ii libasis2015 2015-1+b1 ii libc6 2.24-9 ii libgcc1 1:6.3.0-6 ii libgnatcoll1.7 1.7gpl2015-2+b1 ii libgnatprj6 6.3.0-6 ii libgnatvsn6 6.3.0-6 Versions of packages asis-programs recommends: ii libaunit3.7.2-dev 3.7.2-1+b1 asis-programs suggests no packages. -- no debconf information
--- End Message ---
--- Begin Message ---Source: asis Source-Version: 2017-1 We believe that the bug you reported is fixed in the latest version of asis, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 857...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Nicolas Boulenguez <nico...@debian.org> (supplier of updated asis package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 11 Aug 2017 19:29:41 +0200 Source: asis Binary: libasis2017-dev asis-programs libasis2017 asis-doc Architecture: all amd64 source Version: 2017-1 Distribution: unstable Urgency: medium Maintainer: Ludovic Brenta <lbre...@debian.org> Changed-By: Nicolas Boulenguez <nico...@debian.org> Closes: 857135 Description: asis-doc - Ada Semantic Interface Specification (ASIS) documentation asis-programs - Ada Semantic Interface Specification (ASIS) example programs libasis2017 - Ada Semantic Interface Specification (ASIS) runtime library libasis2017-dev - Ada Semantic Interface Specification (ASIS) headers and libraries Changes: asis (2017-1) unstable; urgency=medium . * New upstream release. Runtime and -dev package renaming per Ada policy. Repackage without schemas and generate them during the build. Generate the ada_trees-factory sources for gnatpp gnat2xml. * Build with gnat-7, which handles SOURCE_DATE_EPOCH by itself. gcc-7.diff: adapt asis/2017 to gcc-7 instead of latest gcc. * Build all tools. Closes: #857135. * Link build helpers statically. * gnatgcc.patch: use libgnatvsn version instead of gnatgcc symlink. * Permute two patches in order to reflect a dependency. * Debhelper 10. * Standards-Version 4.0.1. HTTPS copyright format URL. Priority: optional. * Allow -doc package to satisfy Multi-Arch: foreign dependencies. * Enable all hardening flags. Parse the control file only once. * Watch file version 4. Checksums-Sha1: 5138d90bef567b0d899e4499e39c9133ff757038 2353 asis_2017-1.dsc 2750ac4ca5d0d9cfe544bea9149cb8bb62222ffc 2112820 asis_2017.orig.tar.xz f66e415dea434308d6a42f0ae3b3135e14ec5ef4 23072 asis_2017-1.debian.tar.xz cfbe0a44f3aa77695471d59bff4b467bf9488381 89612 asis-doc_2017-1_all.deb 2f7eb786f4bd29ebe7787bad4eeba4f2f8c74e34 10588148 asis-programs-dbgsym_2017-1_amd64.deb 17fdb4ff4baa0afaaff06c75d0d0d0c6acdf4140 3718990 asis-programs_2017-1_amd64.deb e96a1397f84e1b10f2942b56682b5c117fe08474 7124 asis_2017-1_amd64.buildinfo 45cb708361f3455b7d61a5d0cd2b1c229b60eebe 1617518 libasis2017-dbgsym_2017-1_amd64.deb 3104b4fc582011e9c9a818240cdedb872e8e200d 1451770 libasis2017-dev_2017-1_amd64.deb f66b192581e3805855fce90ffbeb0c8a5e75bced 634562 libasis2017_2017-1_amd64.deb Checksums-Sha256: 56ad35cc6f1cb99965795f63830db2d201e57632b69cddd49cf3facede5f9bd2 2353 asis_2017-1.dsc 170ef7679fee0452b02dac4536c07b2feca461adca9ee9f414caf9796198de6a 2112820 asis_2017.orig.tar.xz 72e200b6a5a72cd78b26d057bde85cf89efa13d09b1b588baee605100b4c033b 23072 asis_2017-1.debian.tar.xz ff3d120d29c18ab5214a3d1269caf0060ff02ff2f8c53ce5ae8a8c154f2c820c 89612 asis-doc_2017-1_all.deb d5def63d74286e609649dbd97219f138caebff0298f82892b8851fa2ba93068a 10588148 asis-programs-dbgsym_2017-1_amd64.deb 0cb1ec9e65e80a6fdd655ea802d3a40cde139eb6d9b0e74fb11e911a56da1b5f 3718990 asis-programs_2017-1_amd64.deb 8c934f925618b5c4cb94b17e653aad0caa1d04f554bfd5310d2510c2b1e4e57b 7124 asis_2017-1_amd64.buildinfo d4d16f8cb76259e4bc3c7e354903c362a008e524d34fa84c24effd9ab5d59c34 1617518 libasis2017-dbgsym_2017-1_amd64.deb d54a81c23481282a0ab92fe4b0c5b696269acc9dce9fcdbc35db00d321ebf2a3 1451770 libasis2017-dev_2017-1_amd64.deb 9a6bd464e4d8c9c2828a511e75a3fa13c0b95fca5235f48065cf41fc446094bf 634562 libasis2017_2017-1_amd64.deb Files: d06c528d46c541f05099155101d1cd1f 2353 libdevel optional asis_2017-1.dsc a1a1a6ea1684a464d8552229ba04bb8e 2112820 libdevel optional asis_2017.orig.tar.xz 157f144d5067cfc5fbb5d5699bb75dc8 23072 libdevel optional asis_2017-1.debian.tar.xz ffb36783514fcf9e9568d64e5ef40f3b 89612 doc optional asis-doc_2017-1_all.deb 5fe1ce2297d4de6657b40dc01ae32540 10588148 debug extra asis-programs-dbgsym_2017-1_amd64.deb 91bb3a79c7f99e57b52a1f1e59d91948 3718990 devel optional asis-programs_2017-1_amd64.deb a13cec932f633bc8c6e885318f863ddb 7124 libdevel optional asis_2017-1_amd64.buildinfo 19e409f64ce6c58a7b3ad5e0cf19c3b3 1617518 debug extra libasis2017-dbgsym_2017-1_amd64.deb 8c233b7f3b8ce5ec8f1364e5458ed135 1451770 libdevel optional libasis2017-dev_2017-1_amd64.deb f7fffbbb90b613eecb84b9245afeb076 634562 libs optional libasis2017_2017-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJHBAEBCAAxFiEEYtlNMqmXIhEvWffytSqc9EkN/I0FAlmN848THG5pY29sYXNA ZGViaWFuLm9yZwAKCRC1Kpz0SQ38jQHlD/91xu/WRqVK2o/o2RgVj+9WPU9Jihy2 2D57aSYM7Ey+3g6bAhzWOSvN4URnWumzvNHch1dvnzMD4ZjrN7p6kwU8JnG8sW9h QynH7LcTsPNDUSCdzh4bRW5PDi6TJB+ucwnNNd+rCoVX8E6oFjdm4hrKKzfX8tC1 HRj2MWV946h6AG82RxdEfEVjrlTceIGxX3zM3scDGxzGkTUmIdRL4Tan1Bi3Whkm 6onCZp+e1l0J0bV+dMC5wxA1ly3ZUGeLvGzS8/jE7rl2nb/rG2ELOoWbOOfz/5LC 3aHevqkYEVCNub4f+imOA3yjvr0hB+LjviPLGcs5vy4Cqe1/5WCeaJxFhyNJ/Qb3 FH/hFqcZJPBNRk0W6JYGkkgjJj1a+p3Ryje1oRNmXpeCK4GXmPLDLOa0p9Vy3SmN FJO5DGYAQWo29x7n7vCP/D3hSb7eyHFJ3o40rMqfnX7rJla8UaWzsTBNm7KjPo39 4UJ/ZfWs9BtR2KkJy56/xp39V/c0X/W97CXk8a5lLn7sTT6bKnkAKyVhRZ8jsTWI 1IJ/rXJiIygNzFepkFr/aYXK3BwIK68IU1epI/1jSqTek5wUg+7fHW1rYsyoFYrM II0rIJpIy/suyr8BS1LX0FIfAZ54Gy5m85THuOKjsaEy3Ed+EKwjvjSFaPfRqeTk kBIOFpSFgejSHg== =2yE/ -----END PGP SIGNATURE-----
--- End Message ---
