[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, experimental/master, created. debian/0.94-2-7-gde77adf

[Ralf Treinen]

The branch, experimental/master has been created
        at  de77adf84c0c5db39247f1902af19974e5fd008b (commit)

- Shortlog ------------------------------------------------------------
commit de77adf84c0c5db39247f1902af19974e5fd008b
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Wed Apr 3 17:12:44 2013 +0200

    adapt patch 0003-Fix-a-typo to new upstream

commit c9e2107498e326b692bacbbab07ffea4ee7eb770
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Wed Apr 3 17:02:25 2013 +0200

    adapt patch 0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be to new upstream release

commit 3357886b0f19a54f9a6ebf8805b2fec57c530db3
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Wed Apr 3 17:00:57 2013 +0200

    adapt patch 0001-No-need-to-activate-debug-flag.patch to new upstream release

commit ed6e79f7836736c60f4b3b9b0aa94b2e06f96e8c
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Wed Apr 3 16:51:05 2013 +0200

    new upstream release 0.95.1

commit 516d70032f5a2368cb4779e4b92a24987f164d76
Merge: 2546e2f e8667c8
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Wed Apr 3 16:47:24 2013 +0200

    Merge tag 'upstream/0.95.1' into experimental/master
    
    Upstream version 0.95.1

commit e8667c877cb133dfaf6ec6591de1b23e17ed6b6d
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Wed Apr 3 16:47:23 2013 +0200

    Imported Upstream version 0.95.1

-----------------------------------------------------------------------

-- 
alt-ergo packaging