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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
