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

 disabling mpfr

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

 handling non-native archs and proper handling of .so generation

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

 various bugfixes in c bindings

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

 fix wrong conversion from int on 64 bits computers