Package: ghc5
Version: 5.04.3-10
Severity: grave
Justification: renders package unusable

Another artifact of the various transitions we're going through.

This should be easy: libgmp3 has been replaced by libgmp3c2.  If you
don't use the C++ bindings, it's actually backwards-compatible.  (If
you do use the C++ bindings you have to additionally depend on libgmpxx3.)

A rebuild is all that is needed, but there are bootstrapping problems because
of the circular build-depends: libgmp3 and libgmp3c2 can't be installed
simultaneously.  Given that libgmp3 and libgmp3c2 provide the same C
interface, you should hand-tweak the Depends: of a copy of the binary ghc5
package to depend on the new libgmp3c2, and install that; then you can
use that during the build of the new ghc5 package.  (The two-step dance ensures
that the version in Debian is not a hand-tweaked binary but an actually-built
one.)


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to