debian specific patch information for apron / 0.9.10-5.2

Summary

Package Version Package Type Source Package Format
0.9.10-5.2 Debian-diff 3.0 (quilt)

Debian packaging Information

Debian changes tarfile apron_0.9.10-5.2.debian.tar.gz
Size10797
MD5sumc6ee5d2defa1673b128f98899a663044

"series" style patches

patch summary view raw
rpath.diff
 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(-)
view download
soname.diff
 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(-)
view download
nonopt.diff
 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(-)
view download
link
 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(-)
view download
oct_static
 apron/octagons/Makefile |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
view download
mpfr_random.diff
 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(-)
view download
rounding_modes.diff
 mlgmpidl/gmp_caml.h |    8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)
view download