[Pkg-ocaml-maint-commits] [ocplib-simplex] 02/07: Update upstream source from tag 'upstream/0.4'

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository ocplib-simplex.

commit cb1ced67940e1b8ada0b7ab118920bc7e9e74adb
Merge: 78ca3ce d5f4309
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Nov 14 21:32:03 2017 +0100

    Update upstream source from tag 'upstream/0.4'
    
    Update to upstream version '0.4'
    with Debian dir e3d48d3c1140953d4560c6ec13f2f525f96c53a8

 .ocplint             | 91 ++++++++++++++++++++++++++++++++++------------------
 CHANGES.md           |  8 +++++
 LICENSE              | 21 ++++++++++--
 Makefile.in          | 12 ++++---
 README.md            |  4 +--
 extra/TODO.txt       |  7 +++-
 opam                 |  5 +--
 src/assertBounds.ml  | 65 ++++++++++++++++++++-----------------
 src/assertBounds.mli |  8 +++--
 src/core.ml          | 37 +++++++++++++--------
 src/coreSig.mli      |  9 ++++--
 src/solveBounds.ml   |  3 ++
 src/version.ml       |  2 +-
 13 files changed, 181 insertions(+), 91 deletions(-)

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