Bug#431679: marked as done (piuparts test: fails to install: line 48: update-updmap: command not found)
Your message dated Wed, 04 Jul 2007 09:32:04 +0000
with message-id <E1I61DQ-0001PO-Vu@ries.debian.org>
and subject line Bug#431679: fixed in coq 8.1+dfsg-6
has caused the attached Bug report 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 I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--- Begin Message ---
Package: coq-libs
Version: 8.1+dfsg-5
Severity: serious
hi,
while running archive wide piuparts tests your package failed on install with
the following error:
Setting up coq-libs (8.1+dfsg-5) ...
/var/lib/dpkg/info/coq-libs.postinst: line 48: update-updmap: command not found
dpkg: error processing coq-libs (--configure):
subprocess post-installation script returned error exit status 127
Errors were encountered while processing:
coq-libs
E: Sub-process /usr/bin/dpkg returned an error code (1)
seems like a missing dependency on tex-common
the full log can be found here:
http://people.debian.org/~lucas/logs/2007/07/01/
bye,
- michael
--- End Message ---
--- Begin Message ---
Source: coq
Source-Version: 8.1+dfsg-6
We believe that the bug you reported is fixed in the latest version of
coq, which is due to be installed in the Debian FTP archive:
coq-libs_8.1+dfsg-6_all.deb
to pool/main/c/coq/coq-libs_8.1+dfsg-6_all.deb
coq_8.1+dfsg-6.diff.gz
to pool/main/c/coq/coq_8.1+dfsg-6.diff.gz
coq_8.1+dfsg-6.dsc
to pool/main/c/coq/coq_8.1+dfsg-6.dsc
coq_8.1+dfsg-6_i386.deb
to pool/main/c/coq/coq_8.1+dfsg-6_i386.deb
coqide_8.1+dfsg-6_i386.deb
to pool/main/c/coq/coqide_8.1+dfsg-6_i386.deb
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 431679@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Samuel Mimram <smimram@debian.org> (supplier of updated coq 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@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Wed, 04 Jul 2007 10:49:01 +0200
Source: coq
Binary: coqide coq-libs coq
Architecture: source all i386
Version: 8.1+dfsg-6
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
coq-libs - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
Closes: 431679
Changes:
coq (8.1+dfsg-6) unstable; urgency=low
.
* Add dependencies on ${misc:Depends}, closes: #431679.
Files:
989627e7e49236209209f3ace96f3d35 1079 math optional coq_8.1+dfsg-6.dsc
fad51b1b1760bd8a922266446ef09cce 14765 math optional coq_8.1+dfsg-6.diff.gz
2c84e71e8842ce2abbb04c91ef09baa1 14797432 math optional coq-libs_8.1+dfsg-6_all.deb
1fce3f1608b156d9a94faf369ce6235a 7448340 math optional coq_8.1+dfsg-6_i386.deb
415987ffccfd37694ba667c9d7a620b6 4662094 math optional coqide_8.1+dfsg-6_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFGi2TkIae1O4AJae8RAqR7AKCHqThp3amtoN6+BU42N4oO5Un9UgCeMX6w
DrRBsxSa2rwdXPRqkDEZiKo=
=GiJQ
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: