Hi Steve, Am Sonntag, den 06.03.2011, 10:49 -0600 schrieb Steve M. Robbins: > > Am Sonntag, den 06.03.2011, 09:17 -0600 schrieb Steve M. Robbins: > > > OK, so I'll make an upload with libgmp10-dev providing both libgmp-dev > > > and libgmp3-dev. > > Done: just uploaded gmp_5.0.1+dfsg-6. > > Good luck! :-) FYI, the change had the desired effects, builds are possible and successful (at least wrt this issue). Nevertheless, the transition to ghc-7 seems to be complicated, so it may take a little while until we can remove the work-around. Greetings, 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