[Pkg-ocaml-maint-commits] [optcomp] 02/04: Merge tag 'upstream/1.6'

Stéphane Glondu glondu at moszumanska.debian.org
Wed Aug 6 09:58:46 UTC 2014


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

glondu pushed a commit to branch master
in repository optcomp.

commit 3d2194518114e1edbe96b2a405ff047e73481743
Merge: 643022d de6e215
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Aug 6 10:48:22 2014 +0200

    Merge tag 'upstream/1.6'
    
    Upstream version 1.6

 CHANGES.md          |    5 +
 _oasis              |    2 +-
 _tags               |   18 +-
 configure           |    4 +-
 myocamlbuild.ml     |  328 ++++++---
 setup.ml            | 1826 ++++++++++++++++++++++++++++++++++++++++-----------
 src/META            |    6 +-
 src/optcomp.mldylib |    4 +
 src/pa_optcomp.ml   |   17 +-
 9 files changed, 1710 insertions(+), 500 deletions(-)

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



More information about the Pkg-ocaml-maint-commits mailing list