[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. debian/0.91-2-7-ga245885

Mehdi Dogguy mehdi at debian.org
Fri Apr 15 21:48:28 UTC 2011


The following commit has been merged in the master branch:
commit e5f48b04fc8fe828d30feb195f79fccf67ebeb84
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Apr 15 23:17:19 2011 +0200

    Update/rebase patches

diff --git a/debian/patches/0001-No-need-to-activate-debug-flag.patch b/debian/patches/0001-No-need-to-activate-debug-flag.patch
index 5ff0c7b..bdefe04 100644
--- a/debian/patches/0001-No-need-to-activate-debug-flag.patch
+++ b/debian/patches/0001-No-need-to-activate-debug-flag.patch
@@ -7,7 +7,7 @@ Subject: [PATCH] No need to activate debug flag
  1 files changed, 1 insertions(+), 1 deletions(-)
 
 diff --git a/Makefile.in b/Makefile.in
-index bcb966a..f19ee42 100644
+index 84f46d5..82eab28 100644
 --- a/Makefile.in
 +++ b/Makefile.in
 @@ -54,7 +54,7 @@ EXE = @EXE@
diff --git a/debian/patches/0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch b/debian/patches/0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch
index a2da2be..eb41420 100644
--- a/debian/patches/0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch
+++ b/debian/patches/0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch
@@ -7,10 +7,10 @@ Subject: [PATCH] Do not run the test if test.mlw is absent and use best target (
  1 files changed, 2 insertions(+), 2 deletions(-)
 
 diff --git a/Makefile.in b/Makefile.in
-index f19ee42..d1e9eca 100644
+index 82eab28..7730838 100644
 --- a/Makefile.in
 +++ b/Makefile.in
-@@ -124,8 +124,8 @@ run: $(MAINCMX)
+@@ -133,8 +133,8 @@ run: $(MAINCMX)
  	strip $@
  	tar -czvf alt-ergo.tgz run smt_prelude.mlw
  
diff --git a/debian/patches/0003-Fix-a-typo.patch b/debian/patches/0003-Fix-a-typo.patch
index 3e3937a..75f6bb5 100644
--- a/debian/patches/0003-Fix-a-typo.patch
+++ b/debian/patches/0003-Fix-a-typo.patch
@@ -7,16 +7,16 @@ Subject: [PATCH] Fix a typo
  1 files changed, 1 insertions(+), 1 deletions(-)
 
 diff --git a/cc.ml b/cc.ml
-index 44f8558..6998a0b 100644
+index b048a13..6f874d4 100644
 --- a/cc.ml
 +++ b/cc.ml
-@@ -64,7 +64,7 @@ module Make (X : Sig.X) = struct
+@@ -63,7 +63,7 @@ module Make (X : Sig.X) = struct
      let make_cst t ctx =
        if ctx = [] then ()
        else begin
 -        fprintf fmt "[cc] contraints of make(%a)@." Term.print t;
 +        fprintf fmt "[cc] constraints of make(%a)@." Term.print t;
-         let cpt = ref 0 in
+         let c = ref 0 in
          List.iter 
            (fun a ->
 -- 

-- 
alt-ergo packaging



More information about the Pkg-ocaml-maint-commits mailing list