On 06.02.2011 19:39, Steve M. Robbins wrote:
Hi, Now that squeeze is out, I'd like to move from GMP 4 to GMP 5. The latter was released upstream about a year ago and the gmp lists aren't buzzing with outrageous bugs, so it appears stable enough. I know GMP is used in gcc itself, so I'd appreciate some guidance from the gcc team as well, since this is a major version change.
I see that both the runtime library and the -dev packages have different package names. But to be able to still use gmp3 for existing GCC versions, please change the source name too, such that gmp3 is still available in unstable after the upload of gmp5.
Matthias