Re: GMP transition: 4.3.2 to 5.0.1?
On Mon, Mar 21, 2011 at 23:05:32 -0500, Steve M. Robbins wrote:
> As far as I can tell, the only advantage of having "libgmp-dev" as
> real rather than virtual is so that packages can version their
> build-dep. Given that libgmp-dev is new, I'd agree it is not
> However, I've since learned that ghc and mlton both build-depend on
> themselves as well as libgmp3-dev. Further, mlton has a versioned
> build-dep on libgmp3-dev so the least painful way forward is to have
> libgmp3-dev become non-virtual once again. For this reason, I plan to
> upload a new gmp with non-virtual libgmp3-dev as a dummy package that
> depends on libgmp-dev. I might as well make libgmp-dev non-virtual
> at the same time.
> Let me know if this raises any concerns.
Sounds ok to me.