Bug#864468: marked as done (coq-doc: outdated version)
Your message dated Thu, 13 Jul 2017 11:03:59 +0000
with message-id <E1dVbuZ-000Gv0-HE@fasolo.debian.org>
and subject line Bug#864468: fixed in coq-doc 8.6-1
has caused the Debian Bug report #864468,
regarding coq-doc: outdated version
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.)
--
864468: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=864468
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: coq-doc: outdated version
- From: Andreas Beckmann <anbe@debian.org>
- Date: Fri, 09 Jun 2017 08:12:15 +0200
- Message-id: <20170609061215.1316.97378.reportbug@zam581.zam.kfa-juelich.de>
Package: coq-doc
Version: 8.4pl4-2
Severity: important
Hi,
this package looks outdated compared to coq 8.6-4 in stretch/sid.
Andreas
--- End Message ---
--- Begin Message ---
Source: coq-doc
Source-Version: 8.6-1
We believe that the bug you reported is fixed in the latest version of
coq-doc, 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 864468@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Hendrik Tews <hendrik@askra.de> (supplier of updated coq-doc 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: SHA512
Format: 1.8
Date: Wed, 05 Jul 2017 22:29:28 +0200
Source: coq-doc
Binary: coq-doc coq-doc-html coq-doc-pdf
Architecture: source all
Version: 8.6-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Hendrik Tews <hendrik@askra.de>
Description:
coq-doc - documentation for Coq
coq-doc-html - documentation for Coq in html format
coq-doc-pdf - documentation for Coq in pdf format
Closes: 864468
Changes:
coq-doc (8.6-1) unstable; urgency=medium
.
* Team upload.
* New upstream version 8.6 (Closes: #864468)
* add myself to uploaders
* bump standards version to 4.0.0
* fix build dependencies
* changed Vcs fields to https
* fixed missing axiom picture in FAQ
* remove unterminated_string_literal patch (fixed upstream)
* updated doc-base entries
* added .gitignore in debian dir to ignore editor backups
Checksums-Sha1:
81f0064acf31cad8e43a0b5a0a39be1d889b800d 2311 coq-doc_8.6-1.dsc
617a6f86d09dde0e409f3fa22268daf7be3f5bba 5538848 coq-doc_8.6.orig.tar.gz
89f25276ebed1b2a5cda46b3951a8bb2ed6eb3c9 8304 coq-doc_8.6-1.debian.tar.xz
8ac904d680e0ac36ce1d804eb207538c415526a1 548554 coq-doc-html_8.6-1_all.deb
4f2a7e83c90cc8c32980f3cbd9a1131870529094 2592376 coq-doc-pdf_8.6-1_all.deb
163aff2cf3c2a0edc00de2ccd87fc35995415b1c 63758 coq-doc_8.6-1_all.deb
5cf6b358ead2065e34c28d78e0c2d76765fcdf98 9486 coq-doc_8.6-1_amd64.buildinfo
Checksums-Sha256:
891b5c950b816da588e1c79fcff3c2d2ec6edfecdd67941764f19ca71b9f6dca 2311 coq-doc_8.6-1.dsc
6e3c3cf5c8e2b0b760dc52738e2e849f3a8c630869659ecc0cf41413fcee81df 5538848 coq-doc_8.6.orig.tar.gz
23e6aa6301217856b5502c80ad42e50e6a8d71fc82e79ba26f0f22b627bd03b6 8304 coq-doc_8.6-1.debian.tar.xz
0ed05f70217fd734d413cf7ae4dc0497ba466353305f46a2c803168485b64ee3 548554 coq-doc-html_8.6-1_all.deb
327be56c7fce4cc98dff30a5cf05a84b9b2698d213eea0bb0e8b2f5e581d4abd 2592376 coq-doc-pdf_8.6-1_all.deb
1f99c276671fafd5d4617d1a53495c97b4f25acfa07add51337579db29a8f011 63758 coq-doc_8.6-1_all.deb
f44324b36b3edd4d7f0d8c9c60e462a4dd06f2d9e374918212af6592a31ad33c 9486 coq-doc_8.6-1_amd64.buildinfo
Files:
234813f057f23a461c5c50684a867a18 2311 non-free/doc optional coq-doc_8.6-1.dsc
e7f1704b85d648468160abe03338f1bd 5538848 non-free/doc optional coq-doc_8.6.orig.tar.gz
b527d74b23bd463898245bd4a5cceab1 8304 non-free/doc optional coq-doc_8.6-1.debian.tar.xz
9632cc05fa4b726f40d931dd1350d0eb 548554 non-free/doc optional coq-doc-html_8.6-1_all.deb
338d9464cfd5b6725aa11d38bd5df5ae 2592376 non-free/doc optional coq-doc-pdf_8.6-1_all.deb
6dc4be592dfa4e4af0484fef809406b4 63758 non-free/doc optional coq-doc_8.6-1_all.deb
b31097dd81f62b0f1c1ca90cabb6dd95 9486 non-free/doc optional coq-doc_8.6-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAllnTFcACgkQeFPaTUmI
GtP46hAAnQ88nYRC0voNZJYAg5LUJdjpMNqVX96jBbqScDq50qFy+fJQfb9O7hr4
i326bzYSiMQe64lnTx+hK8wQjDFU7+nuruiKl6b/YF/U/MMC+Q7jxgTjHYpj5caz
23NHF1eOYzCheTXHMJaJTWV88AqJY1SCWfrLU2YQWmxnM0ier8T+VXfT2kwMWmQY
i/QZuPL53eL2V8neh1ktgaR15zBfWaiwf1EoTXTZzkWbzUrI/rQkASTnk3OT6TrK
SX6n0u1I2CoyhdfTUGdhRSNCuXSyu69WW93wMxE9wN1XxVz5yfrrsONVUPpPhh2S
yozpvD0UpCCxRif+wSO4DUuldibARBVheI5D8E6fz3o956aBZ3cvsxUyLrlvDmvP
Eq2enZ5z+YpqMDcI3+vuAS6h8yPSNoAIfmIyJJ4dYdEt9ASRWCJptq3k1skhS9kf
LhVBEqgFDO6g2kHlavJ2TU7eH5hzuXKkWEcc1hou8f0b5X6t880nS/0GLm7KPeJN
JwTR4Qy5QBoMOoit03+kvfCOnZ5+mgR/+ZkbCu57lSIdX+E6wjcOvu0YIt4VwYMd
LEjeOkYy/MT+OmkqmNBhxhmUyfKaOzYPb4ZYsXd1QDLx8Qm1pgnCwXP0e12CZu41
1kT3JZZLhcD0RU3+ZJyfq57bPpR2i+zeIgVXiIo86AFIvhugHeg=
=Mypz
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: