Bug#466326: coq: Depends: ocaml-base-nox-3.10.0 but it is not installable

[Mike Jolley <mikejolley@sbcglobal.net>]

Package: coq
Version: 8.1.pl3+dfsg-1
Severity: normal

--- Please enter the report below this line. ---
ocaml-base-nox is an available package, but this package doesn't know about 
it.  I tried running alien on a .rpm from the Coq site but it doesn't work 
either.

--- System information. ---
Architecture: i386
Kernel:       Linux 2.6.23.14-slh-smp-1

Debian Release: lenny/sid
  500 unstable        www.debian-multimedia.org 
  500 unstable        sidux.com 
  500 unstable        ftp.debian.org 
  500 unstable        deb.opera.com 

--- Package information. ---
Depends       (Version) | Installed
=======================-+-===========
                        |