[Pkg-ocaml-maint-commits] [why] 01/05: Updated version 2.39 from 'upstream/2.39'

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository why.

commit b1c5c43bfce1a89867a37fd4dd4f2b93ad7afcd9
Merge: f8538ba fb6c5db
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Sep 5 07:33:49 2017 +0200

    Updated version 2.39 from 'upstream/2.39'
    
    with Debian dir 54c74fbf48327025b017f44177acd868e965ebb4

 .depend                         |  859 +++++----
 .depend.coq                     |   99 +-
 CHANGES                         |    8 +
 Version                         |    2 +-
 configure                       |   25 +-
 configure.in                    |   11 +-
 frama-c-plugin/Makefile         |    4 +-
 frama-c-plugin/common.ml        |    2 +
 frama-c-plugin/interp.ml        |   22 +-
 frama-c-plugin/jessie_config.ml |   30 -
 frama-c-plugin/norm.ml          |   32 +-
 frama-c-plugin/rewrite.ml       |    4 +-
 jc/output.ml                    |    5 +-
 src/lexer.ml                    | 1144 ------------
 src/linenum.ml                  |  246 ---
 src/parser.ml                   | 3785 ---------------------------------------
 src/parser.mli                  |  100 --
 src/version.ml                  |    2 +-
 tests/c/dirichlet.c             |  166 --
 tests/c/exp.c                   |    4 +-
 tests/c/rec_lin2.c              |   64 -
 tests/c/selection_sort.c        |    1 +
 tests/c/sqrt3.c                 |  112 --
 tests/c/sqrt4.c                 |   75 -
 tests/c/test.c                  |   35 -
 25 files changed, 546 insertions(+), 6291 deletions(-)

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