Bug#409027: marked as done (coqdoc.sty in wrong place)
Your message dated Sun, 04 Feb 2007 21:17:04 +0000
with message-id <E1HDojQ-0000ah-2I@ries.debian.org>
and subject line Bug#409027: fixed in coq 8.1~gamma-3
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
Version: 8.0pl3-2
Severity: normal
$ dpkg -L coq|grep sty
/usr/share/emacs/site-lisp/coqdoc.sty
That's not a place where LaTeX will find it.
-- System Information:
Versions of packages coq depends on:
ii coq-libs 8.0pl3-2 proof assistant for higher-order l
ii libc6 2.3.6.ds1-8 GNU C Library: Shared libraries
ii libncurses5 5.5-5 Shared libraries for terminal hand
Versions of packages coq recommends:
ii coqide 8.0pl3-2 proof assistant for higher-order l
ii proofgeneral-coq 3.5-3.1 ProofGeneral support for coq
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: coq
Source-Version: 8.1~gamma-3
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~gamma-3_all.deb
to pool/main/c/coq/coq-libs_8.1~gamma-3_all.deb
coq_8.1~gamma-3.diff.gz
to pool/main/c/coq/coq_8.1~gamma-3.diff.gz
coq_8.1~gamma-3.dsc
to pool/main/c/coq/coq_8.1~gamma-3.dsc
coq_8.1~gamma-3_i386.deb
to pool/main/c/coq/coq_8.1~gamma-3_i386.deb
coqide_8.1~gamma-3_i386.deb
to pool/main/c/coq/coqide_8.1~gamma-3_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 409027@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: Sun, 4 Feb 2007 20:38:43 +0100
Source: coq
Binary: coqide coq-libs coq
Architecture: source i386 all
Version: 8.1~gamma-3
Distribution: experimental
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: 409027
Changes:
coq (8.1~gamma-3) experimental; urgency=low
.
* Added next-ia64.dpatch to fix the FTBFS on ia64.
* Correctly install coqdoc.sty, closes: #409027.
* Build-depend on tetex-extra | texlive-latex-extra in order to allow
building with texlive.
Files:
d8167b267bcf3ee8f42735f3387bbe7d 945 math optional coq_8.1~gamma-3.dsc
3046d79a02d370f9ef4c23ba5a7274de 14143 math optional coq_8.1~gamma-3.diff.gz
e5d54a375fc05e30a21037ba19373cf5 14581010 math optional coq-libs_8.1~gamma-3_all.deb
a93efb77dc77c4bf786419d5ec809f3b 6306992 math optional coq_8.1~gamma-3_i386.deb
d5bbf58cac0b61fd50b2ba39ffb94da5 4587304 math optional coqide_8.1~gamma-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFFxkrxIae1O4AJae8RAkcVAJ9EjcLhlA6kelPoL/9Aj6cFvd3JngCfUb2b
8mj13Sm6bj8Y3acK9tP7CbU=
=k6X1
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: