Hi, I will try to have a look at it. In the meantime, feel free to update it and put ocaml-maint as maintainer :)
Cheers, Sam. On Mon, Jan 4, 2010 at 2:46 PM, Mehdi Dogguy <me...@debian.org> wrote: > 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 > > >
