debian specific patch information for apron / 0.9.10-5.2

 apron/box/Makefile        |    8 ++++----
 apron/mlapronidl/Makefile |    8 ++++----
 apron/newpolka/Makefile   |    8 ++++----
 apron/octagons/Makefile   |    8 ++++----
 apron/ppl/Makefile        |   12 ++++++------
 apron/products/Makefile   |    8 ++++----
 mlgmpidl/Makefile         |    4 ++--
 7 files changed, 28 insertions(+), 28 deletions(-)

 apron/apron/Makefile    |    4 ++--
 apron/box/Makefile      |    4 ++--
 apron/newpolka/Makefile |    4 ++--
 apron/octagons/Makefile |    2 +-
 apron/ppl/Makefile      |    4 ++--
 apron/products/Makefile |    4 ++--
 6 files changed, 11 insertions(+), 11 deletions(-)

 apron/box/Makefile        |   14 ++++++++++----
 apron/mlapronidl/Makefile |   12 ++++++++++--
 apron/newpolka/Makefile   |   13 ++++++++++---
 apron/octagons/Makefile   |   27 +++++++++++++++++++--------
 apron/ppl/Makefile        |    6 +++++-
 apron/products/Makefile   |    5 ++++-
 mlgmpidl/Makefile         |    6 +++++-
 7 files changed, 63 insertions(+), 20 deletions(-)

 apron/apron/Makefile    |    2 +-
 apron/box/Makefile      |    2 +-
 apron/newpolka/Makefile |    2 +-
 apron/octagons/Makefile |    2 +-
 apron/ppl/Makefile      |    4 ++--
 apron/products/Makefile |    2 +-
 6 files changed, 7 insertions(+), 7 deletions(-)

 apron/octagons/Makefile |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

 mlgmpidl/gmp_random.idl         |    1 -
 mlgmpidl/gmp_random.ml          |    3 ---
 mlgmpidl/gmp_random.mli         |    3 ---
 mlgmpidl/gmp_random_caml.c      |   13 -------------
 mlgmpidl/tmp/gmp_random.idl     |    1 -
 mlgmpidl/tmp/gmp_random.ml      |    3 ---
 mlgmpidl/tmp/gmp_random.mli     |    3 ---
 mlgmpidl/tmp/gmp_random_stubs.c |   13 -------------
 8 files changed, 40 deletions(-)

 mlgmpidl/gmp_caml.h |    8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)