Re: GMP 5 uploaded to Debian, -dev package changed

2011-04-10 Thread David Fox
On Sun, Mar 6, 2011 at 8:49 AM, Steve M. Robbins st...@sumost.ca wrote: 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!  :-) -Steve

Re: GMP 5 uploaded to Debian, -dev package changed

2011-03-07 Thread Joachim Breitner
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! :-)

Re: GMP 5 uploaded to Debian, -dev package changed

2011-03-06 Thread Joachim Breitner
Dear Steve, actually, this is getting all very complicated for us, since we have to maintain a compiler which needs itself to compile and which suddenly has become uninstallable. I’d be grateful if you could help us here. One solution seems to be if libgmp10-dev would provide libgmp3-dev, at

Re: GMP 5 uploaded to Debian, -dev package changed

2011-03-06 Thread Steve M. Robbins
Hello, You may continue to use versioned dev packages (libgmp10-dev and 32/64-bit variants) if you wish. Alternatively, these packages now provide an unversioned libgmp-dev package that may be used instead. hmm, this causes problems for us now. The ghc6 package (or the ghc package

Re: GMP 5 uploaded to Debian, -dev package changed

2011-03-06 Thread Steve M. Robbins
On Sun, Mar 06, 2011 at 07:01:49PM +0530, Joachim Breitner wrote: One solution seems to be if libgmp10-dev would provide libgmp3-dev, at least until we have built a new compiler depending on libgmp10-dev (or libgmp-dev) on all architectures. Would that be an option? That's not a

Re: GMP 5 uploaded to Debian, -dev package changed

2011-03-06 Thread 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! :-) -Steve signature.asc Description: Digital signature

Re: GMP 5 uploaded to Debian, -dev package changed

2011-03-06 Thread Joachim Breitner
Hi, 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! :-)

Re: GMP 5 uploaded to Debian, -dev package changed

2011-03-05 Thread Joachim Breitner
[CC to Steve just in case he is curious, I don’t think there is much he can do for us.] Hi Debian Haskell Group, Am Samstag, den 05.03.2011, 21:15 -0600 schrieb Steve M. Robbins: This email is being sent to the package contact address for all packages that build using GMP; i.e. each package