[Pkg-ocaml-maint-commits] [cudf] 03/06: Merge tag 'upstream/0.7'
Stefano Zacchiroli
zack at upsilon.cc
Wed Apr 30 03:13:12 UTC 2014
This is an automated email from the git hooks/post-receive script.
zack pushed a commit to branch master
in repository cudf.
commit c1f0e3bd54640cc66daefb68cd19e446a7b1fe92
Merge: 11df4b3 8f27b34
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date: Tue Apr 29 14:55:09 2014 -0400
Merge tag 'upstream/0.7'
Upstream version 0.7
BUGS | 6 +--
ChangeLog | 13 +++++++
INSTALL | 1 +
Makefile | 18 ++++++---
Makefile.config | 2 +-
README | 32 +++++++++++-----
TODO | 6 +--
cudf.ml | 105 ++++++++++++++++++++++++++++++++++++++++-------------
cudf.mli | 20 ++++++++++
cudf.spec | 2 +-
cudf_checker.ml | 2 +-
doc/.gitignore | 1 +
doc/Makefile | 18 +++++++++
doc/cudf-check.pod | 99 ++++++++++++++++++++++++++++++++++++++++++++++++++
main_cudf_check.ml | 30 +++++++++------
tests.ml | 17 +++++++++
16 files changed, 311 insertions(+), 61 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cudf.git
More information about the Pkg-ocaml-maint-commits
mailing list