Dear Hans, Am Sonntag, den 20.03.2011, 03:25 +0100 schrieb Hans Peter Würmli: > At least ghc installs now (after install of libgmp10-dev package). > > If ghc depends on package libgmp-dev, shouldn't then there be one in > Debian's package system? I am not familiar enough with apt to have an > opinion on such a question. > > Thanks again and cheers hmm, I would assume that apt-get is clever enough to consider libgmp10-dev to fulfill the dependency on ghc. With what command did you try to install ghc? And was your package list up-to-date (apt-get update) when it was failing? 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