[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#875569: marked as done (architecture list out of date?)

Your message dated Thu, 12 Oct 2017 20:52:35 +0000
with message-id <E1e2kT5-0007gI-4I@fasolo.debian.org>
and subject line Bug#875569: fixed in why 2.39-2
has caused the Debian Bug report #875569,
regarding architecture list out of date?
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.)


-- 
875569: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=875569
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: src:why
Version: 2.39-1

Is the architecture list for this package still up to date?  At least I see the
package build on ppc64el and s390x.  lpia is obsolete.  Maybe just make it Arch:
any?

--- End Message ---
--- Begin Message --- 
Source: why
Source-Version: 2.39-2

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 875569@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: Thu, 12 Oct 2017 08:25:52 +0200
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.39-2
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: 875569
Changes:
 why (2.39-2) unstable; urgency=medium
 .
   * update Architecture list (closes: #875569)
     - changes due to ocaml 4.05: -armel +ppc64el +s390x
     - drop obsolete lpia
   * Standards-Version 4.1.1 (no change)
Checksums-Sha1:
 41da42baaa390590f9b5fa0363002305f8f749ce 2422 why_2.39-2.dsc
 7386bae85a4d342672f1a8daf051938ab5107e32 11760 why_2.39-2.debian.tar.xz
 faf5d014ea290a22079c2b82d14425818a8a3169 8563 why_2.39-2_source.buildinfo
Checksums-Sha256:
 2adf8434bb381dd9c546304294507c392b2cc8b63ad7f9c3c1159eac026ecb3c 2422 why_2.39-2.dsc
 b0c1d64195c14f03a14a4fb677d53f4cd795c292cea95f2619a7e5ef6d9e8f4b 11760 why_2.39-2.debian.tar.xz
 8d05705b0c090f28e40ce3b1731282fd269a23f28ddf358c37b939a1d413366c 8563 why_2.39-2_source.buildinfo
Files:
 4d041d4aab452afc7c6c34859043f92d 2422 math optional why_2.39-2.dsc
 18753f1b78d56b8e23574a3ab6642b71 11760 math optional why_2.39-2.debian.tar.xz
 b4eaab6eec866851afd1ce8a3f23ce03 8563 math optional why_2.39-2_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlnfwCoACgkQdFxHZtTK
zf8xKRAAgTZWt0V1/zJMxtB3yh5sQS8Gk5compMdNUt8WOv5JSJjhVnonvE4tWrN
09fCbAXFU1UtRu3OpLQj+a4RXkfD4GimFtgTyXu8cr1tKzPJM0v5tHWvMiBS051/
nxMvO+U3fbdKma5W+HbT+JSIWp7+vlwJggkGy70biy1YqTM40lUlUASJ7hOpXZNU
B2dnimEd25uiP/zhb1KfHA+nw+Q5JS0XnZYF9UA3xHAo+1IZ2M+eCdbQJgG9l7yq
sUTTb0D2AxCJnkosRu3bV0zo3jfsj5rrYWqkFEqVJqRkOMYKGrCp3rEtpydJgIXB
D6PZSCQ/0rQUAyKUYJwlD8Js1BCv4dnehzlCm2hLc6buXNdtyOBuzIFkiry7xvjf
eVLQMUqzClw0S16fh+lUGpA9HPS2T/W+ckMa3MfOsUzn5kDdrflG9t4s5o93WLDL
xUQp41XxHZQmvvhO9N9mRHchmxG5J2OlF3KAvT6SW7yPS41huy3WKrLb53UQ6zCO
LVVtV4z5YETYhQdVxydZ+fNBpuKpqbU49y5MESyFgnSe0tXnBNqjR8Onkou2AX4e
ZZ334eAUnQC0twvji1lxDHNmLZD8kjgSrwQJoFTU+3wtyTESi8wMVOE48ekOtRMc
mNJAhAfb14SlVzkplMv68QRnLNDHSLn365Tv02fvVy+T+uvg560=
=p1cD
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: