Subject: Bug#857135: marked as done (asis-programs: Missing
programs: gnatmetric, gnatpp, gnattest)



Your message dated Sat, 12 Aug 2017 22:00:11 +0000
with message-id <[email protected]>
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 [email protected]
immediately.)


--
857135: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=857135
Debian Bug Tracking System
Contact [email protected] 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 [email protected],
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Nicolas Boulenguez <[email protected]> (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 [email protected])


-----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 <[email protected]>
Changed-By: Nicolas Boulenguez <[email protected]>
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 ---



Programming list archiving by: Enterprise Git Hosting