Bug#898518: marked as done (why silently dropped the ppc64el and s390x builds)
Your message dated Sun, 13 May 2018 09:24:35 +0000
with message-id <E1fHnF5-000EqU-Pn@fasolo.debian.org>
and subject line Bug#898518: fixed in why 2.40-3
has caused the Debian Bug report #898518,
regarding why silently dropped the ppc64el and s390x builds
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 owner@bugs.debian.org
immediately.)
--
898518: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=898518
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: src:why
Version: 2.40-2
Severity: serious
Tags: sid buster
why silently dropped the ppc64el and s390x builds, the changelog doesn't tell a
word about it. This hinders propagation of the package to testing.
--- End Message ---
--- Begin Message ---
Source: why
Source-Version: 2.40-3
We believe that the bug you reported is fixed in the latest version of
why, 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 898518@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated why 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 ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 13 May 2018 10:55:19 +0200
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.40-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
libwhy-coq - Why library for Coq
why - Software verification tool for C and Java
Closes: 898493 898518
Changes:
why (2.40-3) unstable; urgency=medium
.
* Update Architecture to native archs of ocaml 4.05:
- drop armel (closes: #898493)
- restore ppc64el, s390x (closes: #898518)
- add ppc64
Checksums-Sha1:
4928f849ba50d6e6347df14ee1c0d11226ac1709 2374 why_2.40-3.dsc
a21c16814b8a155176be1acab69ae9bc79ac9714 11872 why_2.40-3.debian.tar.xz
0a903971875f1584480441ec1773271ad77e2454 8983 why_2.40-3_source.buildinfo
Checksums-Sha256:
c918a172195b182159814aaae911ad50d64330e27e70f2002b7bbb6263a0aeee 2374 why_2.40-3.dsc
6b6a5bfd3338066549d3d6266dcc038d8119e78649fb2be1cc36a8735d29b928 11872 why_2.40-3.debian.tar.xz
9d5a6ccef4b4c780f765f9ac15173d2a6a85a1573bfa2bf6e405d8dda7cb29c4 8983 why_2.40-3_source.buildinfo
Files:
d4fead1e65dc55cef7baa877e6ec4508 2374 math optional why_2.40-3.dsc
ac8df73fe9c614a256e80357f269067d 11872 math optional why_2.40-3.debian.tar.xz
1e17ffe032d59c73e7c6af04c919543c 8983 math optional why_2.40-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlr3/yQACgkQdFxHZtTK
zf+E+w//bgFe9eoLpvTyErFjcmtVPqFkz+ts+POXKT+NVA/DfOgtSmU7kBOzy2Sa
LrpHhGk+B3rU06mjPlwEz+nU7txaZe7OpSv0JGZxUzYX8mt339jQnjzM/Q/uNE4/
n2TCeFmTBoHXShna6NETz8x5aC7N8q/1ZBoT9+X85LEiaPUac81yyhHvtJ4oXcJS
LCieLXkdTv2xRjCSZXArcxWNdCu01OnyeO39chLTHuMzwI7xplzDLiKRgHAPjGgT
VLZfyT0mw/+Z5Is80Zhm8UKQkzmnFC8K0UhXGcWashX9SxRzWakVxg6ShLtSmO9+
3xFFG5C73oqtLWZI2OxZGGVHnpR3m4viYncfKZGbCiUrMMDgkV/lvMkrny3Cp2Dx
pHuyP1pXC0wCnM1qrRfxkavw6xuChZkd1iugmVVdTe0/X5yGU1f2nxZ/kZA5fZIc
yQMFLZ3hXq9RcKokBcfKh2JfGTuf7c6huHRIe77SliVaTX8O5EnTB0LTVPymGL04
3B3y3D7cfrTfdqipDYnWxY+Y4Kky85eVdDgYV1pexY07WfgN7yisUt272qwFyQ35
JYxhBVnmDCftqYT6RA75rwD92Y1z4jEspJ5QGG9ah8ACB5AAdKywbshnR3CimkgS
8bdnSvpAWAzTZ52j6EkkpiVh1Y690hIVXq9AdTO/uUKGMgup9BI=
=hIYz
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: