[Pkg-ocaml-maint-commits] [dose3] 01/16: Merge tag 'upstream/3.3'

[Johannes Schauer]

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

josch pushed a commit to tag debian/3.3-3
in repository dose3.

commit f7c50d2be55b806dea45ac8c0d6d927ac625c156
Merge: b469d8f 7cd3a83
Author: josch <j.schauer at email.de>
Date:   Tue May 5 21:33:42 2015 +0200

    Merge tag 'upstream/3.3'
    
    Upstream version 3.3

 META.in                                            | 27 ++++++----
 Makefile                                           | 61 ++++++++++------------
 Makefile.config.in                                 | 12 ++++-
 applications/dose-tests.py                         |  8 ++-
 configure                                          | 21 ++++----
 configure.ac                                       |  4 +-
 deb/printer.ml                                     | 12 ++---
 .../apt-external-solvers.tex                       |  2 +-
 doc/manpages/apt-cudf-get.pod                      |  4 +-
 doc/manpages/apt-cudf.pod                          |  2 +-
 doc/manpages/ceve.pod                              |  2 +-
 doc/manpages/distcheck.pod                         |  2 +-
 dose3.odocl.in                                     |  7 ++-
 opam_configure.sh                                  |  3 +-
 14 files changed, 98 insertions(+), 69 deletions(-)

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