Bug#337786: Broken dependencies that don't allow installation of libnumerix-ocaml-dev

[Florent <florent.flament@aist.enst.fr>]

Package: libnumerix-ocaml
Version: 0.19-5.1.1
Severity: grave
Justification: renders package unusable


This is what I obtain when trying to install libnumerix-ocaml

# apt-get install libnumerix-ocaml    
The following packages have unmet dependencies:
  libnumerix-ocaml: Depends: libgmp3 but it is not going to be installed
E: Broken packages

libnumerix-ocaml-dev is not installable because it requires:
- libnumerix-ocaml
- libgmp3-dev

And libnumerix-ocaml requires:
- libgmp3

Whereas libgmp3-dev uninstalls libgmp3 by remplacing it with:
- libgmpxx3
- libgmp3c2

So libgmp3 and libgmp3-dev can't be installed at the same time.
Is it possible to make libnumerix-ocaml depend of libgmpxx3 and libgmp3c2 
instead of libgmp3 ?

regards,
Florent

-- System Information:
Debian Release: testing/unstable
  APT prefers testing
  APT policy: (500, 'testing'), (500, 'stable')
Architecture: i386 (i686)
Shell:  /bin/sh linked to /bin/bash
Kernel: Linux 2.6.8-2-k7
Locale: LANG=en_US, LC_CTYPE=en_US (charmap=ISO-8859-1)