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