1
Yes, the upstream 'make' only installs gmp.h and mp.h, so why does this
2
package supply all the other headers?
4
The answer is: "Several packages in Debian need deeper constructs than those
5
provided in gmp.h or mp.h alone."
7
In the past at least two different developers asked for an additional header
8
file to be included because their package needed it. Rather than be bug report
9
driven, it seemed the simplest solution was to supply all the header files
10
provided in the source. They do not collide with any other name space, so
11
unless or until they do, all bug reports complaining that too many header
12
files are provided in the -dev package will be summarily closed, with
13
reference to this README file.