debian specific patch information for mlgmp / 20021123-17

 config.h |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

 tmp/dpep-work.HWFzlv/mlgmp-20021123/Makefile |   72 ++++++++++++++++-----------
 1 file changed, 44 insertions(+), 28 deletions(-)

 tmp/dpep-work.FYBj8e/mlgmp-20021123/gmp.ml        |    3 ++-
 tmp/dpep-work.FYBj8e/mlgmp-20021123/gmp.mli       |    3 ++-
 tmp/dpep-work.FYBj8e/mlgmp-20021123/mlgmp_z.c     |   13 ++++++++++---
 tmp/dpep-work.FYBj8e/mlgmp-20021123/test_suite.ml |    6 ++++++
 4 files changed, 20 insertions(+), 5 deletions(-)

 mlgmp_z.c |   46 +++++++++++++++++++++++-----------------------
 1 file changed, 23 insertions(+), 23 deletions(-)