Hello, * Joachim Reichel [Sun, Mar 06, 2011 at 05:41:01PM +0100]: > On 03/06/2011 11:44 AM, chrysn wrote: > >> the package dependency libgmp recently got a new version (5.0) in > >> exerimental [...] > > > > following up on this issue, libgmp10 is in unstable as of 2011-03-05. > > Ok. Waiting for MPFR and MPFI to switch to libgmp10. > > Laurent, please ping me when that happened.
I just uploaded a newer version for mpfr4 that build depends on libgmp-dev, hence currently libgmp10-dev. Laurent. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org