Bug#535320: coq: Coq not available with ocaml 3.11.1

[Jean-Christophe Dubacq <jcdubacq1@free.fr>]

Package: coq
Version: 8.2-1+dfsg-1
Severity: normal

Coq is currently uninstallable in unstable, because ocaml changed its
version from 3.11.0 to 3.11.1. Is such a dependency warranted for coq?
Would a simple recompile create a new (working) package for coq?

-- System Information:
Debian Release: squeeze/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'stable'), (1, 'experimental')
Architecture: i386 (i686)

Kernel: Linux 2.6.29-2-686 (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 depends on:
pn  coq-theories                  <none>     (no description available)
ii  emacsen-common                1.4.19     Common facilities for all emacsen
ii  libc6                         2.9-18     GNU C Library: Shared libraries
pn  ocaml-base-nox-3.11.0         <none>     (no description available)

Versions of packages coq recommends:
pn  coqide | proofgeneral-coq     <none>     (no description available)

Versions of packages coq suggests:
ii  cle                           0.4-7      Wrap any command-line driven tool 
ii  coq-doc                       8.1-3      documentation for Coq in html form
pn  libcoq-ocaml-dev              <none>     (no description available)
ii  ocaml-nox                     3.11.1-2   ML implementation with a class-bas
pn  proofgeneral-coq              <none>     (no description available)