[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: GMP 5 uploaded to Debian, -dev package changed

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.


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

Reply to: