Your message dated Thu, 07 Jan 2010 22:48:06 +0000
with message-id <[email protected]>
and subject line Bug#543545: fixed in coq-doc 8.2pl1-1
has caused the Debian Bug report #543545,
regarding coq-doc: promises PostScript documentation, but does not deliver
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.)
--
543545: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=543545
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: coq-doc
Version: 8.1-3
The description says:
(...) will install the documentation in html and
postscript formats.
But no PostScript file is installed by it, neither any of its
dependencies.
-- System Information:
Debian Release: squeeze/sid
APT prefers testing
APT policy: (600, 'testing'), (500, 'transitional'), (500, 'unstable')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.30-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_LU.UTF-8, LC_CTYPE=fr_LU.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Versions of packages coq-doc depends on:
ii coq-doc-html 8.1-3 documentation for Coq in html form
ii coq-doc-pdf 8.1-3 documentation for Coq in pdf forma
coq-doc recommends no packages.
coq-doc suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: coq-doc
Source-Version: 8.2pl1-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:
coq-doc-html_8.2pl1-1_all.deb
to non-free/c/coq-doc/coq-doc-html_8.2pl1-1_all.deb
coq-doc-pdf_8.2pl1-1_all.deb
to non-free/c/coq-doc/coq-doc-pdf_8.2pl1-1_all.deb
coq-doc_8.2pl1-1.debian.tar.gz
to non-free/c/coq-doc/coq-doc_8.2pl1-1.debian.tar.gz
coq-doc_8.2pl1-1.dsc
to non-free/c/coq-doc/coq-doc_8.2pl1-1.dsc
coq-doc_8.2pl1-1_all.deb
to non-free/c/coq-doc/coq-doc_8.2pl1-1_all.deb
coq-doc_8.2pl1.orig.tar.gz
to non-free/c/coq-doc/coq-doc_8.2pl1.orig.tar.gz
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.
Stéphane Glondu <[email protected]> (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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 07 Jan 2010 22:50:39 +0100
Source: coq-doc
Binary: coq-doc coq-doc-html coq-doc-pdf
Architecture: source all
Version: 8.2pl1-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <[email protected]>
Changed-By: Stéphane Glondu <[email protected]>
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: 543545 563669
Changes:
coq-doc (8.2pl1-1) unstable; urgency=low
.
[ Stéphane Glondu ]
* New upstream release (Closes: #563669)
- remove patches
* Packaging overhaul:
- use git, advertise it in Vcs-* fields of debian/control
- use debhelper 7 and dh with override
- use source format 3.0 (quilt)
* debian/control:
- set Maintainer to d-o-m, set Uploaders to Sam and myself
- add Homepage field
- bump Standards-Version to 3.8.3
* Register PDF documentation into doc-base
* Add debian/watch
* Update debian/copyright
.
[ Samuel Mimram ]
* Change coq-doc's description to mention that it provides documentation in
pdf format, not postscript, closes: #543545.
Checksums-Sha1:
e6cb75186230dcaed21a2576a3ea77b98a24b0cf 2103 coq-doc_8.2pl1-1.dsc
4aed3302adc2edbaa5d97984512c1c13014bd649 3600620 coq-doc_8.2pl1.orig.tar.gz
16868057fdc2cdb78625995588cae2caae088ac1 8584 coq-doc_8.2pl1-1.debian.tar.gz
4cd6be60a028055bd7bcf15dfa059964759bf421 37368 coq-doc_8.2pl1-1_all.deb
fdc761776c9906b2148eaf8c92141756c4456067 534618 coq-doc-html_8.2pl1-1_all.deb
e4d741e407643fff20e0a0f1e71a22cada803790 2386650 coq-doc-pdf_8.2pl1-1_all.deb
Checksums-Sha256:
fff49f8c571273d4377df53a78f92a865d07bddb2c78b22716163b69ac8593f8 2103
coq-doc_8.2pl1-1.dsc
7c15acfd369111e51d937cce632d22fc77a6718a5ac9f2dd2dcbdfab4256ae0c 3600620
coq-doc_8.2pl1.orig.tar.gz
f51917807ebdd4d95a5ff53500b1877a6f9882e9b0467b72d722a095496925ca 8584
coq-doc_8.2pl1-1.debian.tar.gz
e77ba902f23e5e69d6f14b9bbd3ba1708556c152d5665ef012829f6ca2e2a66a 37368
coq-doc_8.2pl1-1_all.deb
958b8a6bf34e4754e1bab91fd67bc56cc2dea85061d778ef8ae525fbbf2202e3 534618
coq-doc-html_8.2pl1-1_all.deb
5f0fa52bf4cba2ad42568278ab961c0d10d7ba162f265b1bf817823cb116d2e6 2386650
coq-doc-pdf_8.2pl1-1_all.deb
Files:
7b1ebe3c5a2766acef0e07fbbdb91003 2103 non-free/doc optional
coq-doc_8.2pl1-1.dsc
36eed48bc63ada8abf27f96eb126906c 3600620 non-free/doc optional
coq-doc_8.2pl1.orig.tar.gz
6691df945a9bed7b78e0401fd05554f5 8584 non-free/doc optional
coq-doc_8.2pl1-1.debian.tar.gz
3aff33d35ab85b43a502c840be2e0c3e 37368 non-free/doc optional
coq-doc_8.2pl1-1_all.deb
bb09a3717788b06dfa176ce03f67a94e 534618 non-free/doc optional
coq-doc-html_8.2pl1-1_all.deb
d1fa53219be5d3bc0828aa661074f58c 2386650 non-free/doc optional
coq-doc-pdf_8.2pl1-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJLRl6NAAoJEHhT2k1JiBrTX08P/3qYxrIFz2hL8Tq+Jnz/ukTK
KQdF81CrdhIpz0HdowE1MafvpUNLvjR2ZKvzk/dEqEWx0Jdw4VCpuyT8J3bV9D3M
TcR9ILoz03B9//Klfy35gEOrnchhpbf9ed6EQwr58nTTNUfu1AvyvFr+yIpFzQo7
v1yl5tbjECIlt1cAyW4TRy7kznkvKWyfLVANY5VVYLhDA+G45V4wr7QubM7pYKrO
1PQ1JN9cVdtPs6BhTMWbNIVJ+9GLSDpEeNcC7O0vtwyWXZqyx5iHk69in7OCoMKv
q1hVRWXJpEIA/h+FQgbj9bSFZKUCJozeX3oinH286DhgGS7GDK8dUHD1AiDthO8+
1D9h5fO47rog8e76DLnY+FeQBH3VWBdyG06VUOQFbMe1Mn0i0ATs35hTRovIs3W0
tPM1logKi8CfZzMHfz0lonmg26yP/inHd7i1Oc4SJoYsWQHc9kxGHALv8rLL4ioj
fJI7lq2muZtL9bgCeyJ4mCU8zYrfxq8LBI3qiRd5UlFqhx6sA0SaNjNXl26Bc/Sh
CGksRgyPsBmVYdwh8hnWRz4VvTkZychJf5QDhhJBhBrCHBHEb3CbV2WfiGwiWTMR
bI5/hNxE7PrCIuEUwgQjKxIjvm+lAMd/d1j/EjIOkRyTuWZywBzlu0KcTmd7qnKD
914P4HtTdyWqGQE9jVcA
=6i0J
-----END PGP SIGNATURE-----
--- End Message ---
