[Pkg-ocaml-maint-commits] [why] branch master updated (f8538ba -> c0e1970)

[Ralf Treinen]

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

treinen pushed a change to branch master
in repository why.

      from  f8538ba   restrict to native architectures
      adds  fb6c5db   New upstream version 2.39
       new  b1c5c43   Updated version 2.39 from 'upstream/2.39'
       new  e646ce9   new upstream version, bumped build-dep on frama-c
       new  69a5803   d/copyright: format 1.0
       new  be29120   standards-version 4.0.1
       new  c0e1970   dropped build-dep on autotools-dev

The 5 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 .depend                         |  859 +++++----
 .depend.coq                     |   99 +-
 CHANGES                         |    8 +
 Version                         |    2 +-
 configure                       |   25 +-
 configure.in                    |   11 +-
 debian/changelog                |   12 +
 debian/control                  |    5 +-
 debian/copyright                |  130 +-
 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 -
 28 files changed, 625 insertions(+), 6359 deletions(-)
 delete mode 100644 src/lexer.ml
 delete mode 100644 src/linenum.ml
 delete mode 100644 src/parser.ml
 delete mode 100644 src/parser.mli
 delete mode 100644 tests/c/dirichlet.c
 delete mode 100644 tests/c/rec_lin2.c
 delete mode 100644 tests/c/sqrt3.c
 delete mode 100644 tests/c/sqrt4.c
 delete mode 100644 tests/c/test.c

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