Package: coq-doc Version: 8.1-3 Severity: normal Hello,
It would be nice if coq-doc delivers documentation for coq 8.2. Cheers, -- System Information: Debian Release: squeeze/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental') Architecture: i386 (x86_64) Kernel: Linux 2.6.30-2-amd64 (SMP w/2 CPU cores) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.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]
