GMP internal headers

["Steve M. Robbins" <steven.robbins@videotron.ca>]

Hello,

You have been carbon-copied because your package lists libgmp3-dev in
its build-depends.

Philipp & I have recently taken over maintenance of the GMP libraries
and uploaded version 4.1.2.  The package libgmp3-dev has for some time
installed internal GMP headers into /usr/include.  The rationale for
this is given as

    Several packages in Debian need deeper constructs than those
    provided in gmp.h or mp.h alone.
 
    In the past at least two different developers asked for an
    additional header file to be included because their package needed
    it. Rather than be bug report driven, it seemed the simplest
    solution was to supply all the header files provided in the
    source.

Supplying extra headers does not appear to be sound practice, to me.
We kept this practice for version 4.1.2-1 so as not to disturb
anything.  

I have looked through the sources of all the debian packages that
build-depend on libgmp3-dev and cannot find any that depend on having
the internal GMP headers "longlong.h" and "gmp-mparam.h" installed,
except the python packages, when using GMP version < 2.  Five of the
packages appear to have their own private copy of GMP sources and I
assume that they use the private copy, if e.g. "longlong.h" is used.

Please let me know if I've overlooked something, as I plan to stop
installing the internal headers on the next upload.


Thanks,
-Steve