Copyright 1991, 1996, 1999, 2000 Free Software Foundation, Inc.
This file is part of the GNU MP Library.
The GNU MP Library is free software; you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation; either version 2.1 of the License, or (at your
option) any later version.
The GNU MP Library is distributed in
Yes, the upstream 'make' only installs gmp.h and mp.h, so why does this
package supply all the other headers?
The answer is: "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
libgmp3 (4.0.1-3) unstable; urgency=low
* Installed upstream patch to gmp_printf and gmp_scanf. closes: #141879
* Removed bashism from echo in rules file for shlibs. closes: #141877
-- Dale Scheetz (Dwarf #1) <email@example.com> Tue, 9 Apr 2002 11:10:41 -0400
libgmp3 (4.0.1-2) unstable; urgency=low
* Installed patch provided by LaMont Jones for hppa. closes: #140816
* Added GFDL inf
Copyright 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001,
2002 Free Software Found