Dear Steve, actually, this is getting all very complicated for us, since we have to maintain a compiler which needs itself to compile and which suddenly has become uninstallable. I’d be grateful if you could help us here. One solution seems to be if libgmp10-dev would provide libgmp3-dev, at least until we have built a new compiler depending on libgmp10-dev (or libgmp-dev) on all architectures. Would that be an option? @DHG: We need to investigate if we really need the dependencies on the -dev packages, both for ghc and for the library packages. Is someone interested in investigating what breaks if we remove them, why we need them and whether there is maybe a work-around such that the binary dependencies added by dpkg-shlibdeps are sufficient. Thanks, Joachim -- Joachim "nomeata" Breitner Debian Developer nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata
Attachment:
signature.asc
Description: This is a digitally signed message part