Package: apron / 0.9.10-6
Metadata
Package | Version | Patches format |
---|---|---|
apron | 0.9.10-6 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
0001 Remove rpaths.patch | (download) |
apron/box/Makefile |
8 4 + 4 - 0 ! |
remove rpaths |
0002 Add sonames.patch | (download) |
apron/apron/Makefile |
4 2 + 2 - 0 ! |
add sonames |
0003 Patch in order to be able to build on non native arc.patch | (download) |
apron/box/Makefile |
16 11 + 5 - 0 ! |
patch in order to be able to build on non-native archs |
0004 Patch in order to resolve symbols.patch | (download) |
apron/apron/Makefile |
2 1 + 1 - 0 ! |
patch in order to resolve symbols Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=558838 |
0005 Install oct .a.patch | (download) |
apron/octagons/Makefile |
2 1 + 1 - 0 ! |
install oct*.a |
0006 Remove references to obsolete mpfr_random.patch | (download) |
mlgmpidl/gmp_random.idl |
1 0 + 1 - 0 ! |
remove references to obsolete mpfr_random Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=589359 Signed-off-by: Stephane Glondu <steph@glondu.net> |
0007 Fix rounding mode check in assert.patch | (download) |
mlgmpidl/gmp_caml.h |
8 6 + 2 - 0 ! |
fix rounding mode check in assert. Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=589359 Signed-off-by: Stephane Glondu <steph@glondu.net> |
0008 Fix build failure with ppl 1.0.patch | (download) |
apron/ppl/ppl_user.cc |
2 1 + 1 - 0 ! |
fix build failure with ppl-1.0 |