This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository alt-ergo.

commit e9843b3babf9a16f512ebf8f7c12a2937c09cd7f
Merge: ad6cbd0 a03380a
Author: Ralf Treinen <trei...@free.fr>
Date:   Thu Dec 21 19:43:59 2017 +0100

    Update upstream source from tag 'upstream/1.30+dfsg1'
    
    Update to upstream version '1.30+dfsg1'
    with Debian dir 97a78c381ebe92e7f050b38878300ec2e0ba13d3

 non-free/Non-Commercial-License.pdf            |  Bin 77001 -> 0 bytes
 non-free/ctrl-alt-ergo/ctrlAltErgo.ml          |  254 ---
 non-free/ctrl-alt-ergo/ctrlAltErgo.mli         |   11 -
 non-free/plugins/common/vec.ml                 |  172 --
 non-free/plugins/common/vec.mli                |   59 -
 non-free/plugins/fm-simplex/fmSimplexIneqs.ml  |  326 ----
 non-free/plugins/fm-simplex/fmSimplexIneqs.mli |   11 -
 non-free/plugins/fm-simplex/simplex.ml         | 1077 ------------
 non-free/plugins/fm-simplex/simplex_cache.ml   |  113 --
 non-free/plugins/profiler/profiler.ml          |  680 -------
 non-free/plugins/profiler/profiler.mli         |   11 -
 non-free/plugins/satML/satml.ml                | 2250 ------------------------
 non-free/plugins/satML/satml.mli               |  168 --
 non-free/plugins/satML/satml_frontend.ml       |  628 -------
 non-free/plugins/satML/satml_frontend.mli      |   13 -
 15 files changed, 5773 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to