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]