[Pkg-ocaml-maint-commits] [dose3] branch master updated (c4a051d -> eab78b4)

2015-12-24 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to branch master
in repository dose3.

  from  c4a051d   release 4.0.2-1 to unstable
  adds  eab78b4   skip ocamldoc

No new revisions were added by this update.

Summary of changes:
 debian/changelog   | 10 ++
 debian/libdose3-ocaml-dev.doc-base |  9 -
 debian/libdose3-ocaml-dev.docs |  2 +-
 debian/patches/series  |  1 +
 debian/patches/skip-ocamldoc   | 15 +++
 5 files changed, 27 insertions(+), 10 deletions(-)
 delete mode 100644 debian/libdose3-ocaml-dev.doc-base
 create mode 100644 debian/patches/skip-ocamldoc

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [dose3] annotated tag debian/4.0.2-3 created (now c739ae2)

2015-12-24 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to annotated tag debian/4.0.2-3
in repository dose3.

at  c739ae2   (tag)
   tagging  5bb232ae7318e5cab18680c5976c40e5018f4518 (commit)
  replaces  debian/4.0.2-2
 tagged by  Ralf Treinen
on  Thu Dec 24 12:49:29 2015 +0100

- Log -
dose3 Debian release 4.0.2-3

Ralf Treinen (1):
  restore doc generation

---

No new revisions were added by this update.

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [dose3] 01/01: restore doc generation

2015-12-24 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository dose3.

commit 5bb232ae7318e5cab18680c5976c40e5018f4518
Author: Ralf Treinen 
Date:   Thu Dec 24 12:14:09 2015 +0100

restore doc generation
---
 debian/changelog   |  7 +++
 debian/libdose3-ocaml-dev.doc-base |  9 +
 debian/libdose3-ocaml-dev.docs |  2 +-
 debian/patches/series  |  1 -
 debian/patches/skip-ocamldoc   | 15 ---
 5 files changed, 17 insertions(+), 17 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index f8639e8..7529304 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+dose3 (4.0.2-3) unstable; urgency=medium
+
+  * revert modifications done for 4.0.2-2 and restore generation of ocamldoc
+documentation since this is fixed now in ocaml.
+
+ -- Ralf Treinen   Thu, 24 Dec 2015 12:12:42 +0100
+
 dose3 (4.0.2-2) unstable; urgency=medium
 
   * skip generation of ocamldoc documentation  since it fails with ocaml 4.02
diff --git a/debian/libdose3-ocaml-dev.doc-base 
b/debian/libdose3-ocaml-dev.doc-base
new file mode 100644
index 000..f33fe47
--- /dev/null
+++ b/debian/libdose3-ocaml-dev.doc-base
@@ -0,0 +1,9 @@
+Document: dose3
+Title: libdose3-ocaml-dev OCamldoc API Reference
+Author: Pietro Abate
+Abstract: API reference manual for libdose3-ocaml-dev (generated via OCamldoc)
+Section: Programming/OCaml
+
+Format: HTML
+Index: /usr/share/doc/libdose3-ocaml-dev/dose3.docdir/index.html
+Files: /usr/share/doc/libdose3-ocaml-dev/dose3.docdir/*
diff --git a/debian/libdose3-ocaml-dev.docs b/debian/libdose3-ocaml-dev.docs
index d9d06aa..e93ad7f 100644
--- a/debian/libdose3-ocaml-dev.docs
+++ b/debian/libdose3-ocaml-dev.docs
@@ -1 +1 @@
-#_build/dose3.docdir
+_build/dose3.docdir
diff --git a/debian/patches/series b/debian/patches/series
index 35289e9..b7e42fd 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,4 +1,3 @@
 binaries-prefix-edos
 coinstall-binary-name
 # librpm-4.12
-skip-ocamldoc
diff --git a/debian/patches/skip-ocamldoc b/debian/patches/skip-ocamldoc
deleted file mode 100644
index 2914db5..000
--- a/debian/patches/skip-ocamldoc
+++ /dev/null
@@ -1,15 +0,0 @@
-Index: dose3/Makefile
-===
 dose3.orig/Makefile2015-10-16 18:38:17.046686436 +0200
-+++ dose3/Makefile 2015-10-16 19:01:07.752813579 +0200
-@@ -227,8 +227,8 @@
-   @git log --pretty=format:'%aN%aE' | LC_ALL=C sort -u | awk 
-F'\t' '{printf("\t%s <%s>\n",$$1,$$2)}';
- 
- doc: all
--  $(OCAMLBUILD) dose3.docdir/index.html dose3.docdir/index.dot
--  dot -Grotate=0 -Tsvg -o dose3.docdir/index.svg dose3.docdir/index.dot
-+  #$(OCAMLBUILD) dose3.docdir/index.html dose3.docdir/index.dot
-+  #dot -Grotate=0 -Tsvg -o dose3.docdir/index.svg dose3.docdir/index.dot
-   (cd doc && $(MAKE) all)
- 
- man:

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [dose3] branch master updated (eab78b4 -> 5bb232a)

2015-12-24 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to branch master
in repository dose3.

  from  eab78b4   skip ocamldoc
   new  5bb232a   restore doc generation

The 1 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:
 debian/changelog   |  7 +++
 debian/libdose3-ocaml-dev.doc-base |  9 +
 debian/libdose3-ocaml-dev.docs |  2 +-
 debian/patches/series  |  1 -
 debian/patches/skip-ocamldoc   | 15 ---
 5 files changed, 17 insertions(+), 17 deletions(-)
 create mode 100644 debian/libdose3-ocaml-dev.doc-base
 delete mode 100644 debian/patches/skip-ocamldoc

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [dose3] branch master updated (5bb232a -> 4542da7)

2015-12-24 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to branch master
in repository dose3.

  from  5bb232a   restore doc generation
   new  4542da7   fix order of entries in changelog

The 1 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:
 debian/changelog | 18 +-
 1 file changed, 9 insertions(+), 9 deletions(-)

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [dose3] 01/01: fix order of entries in changelog

2015-12-24 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository dose3.

commit 4542da716db05cc847cdd59bf7179c060fe9401e
Author: Ralf Treinen 
Date:   Thu Dec 24 13:03:07 2015 +0100

fix order of entries in changelog
---
 debian/changelog | 18 +-
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 7529304..c8db94a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -126,15 +126,6 @@ dose3 (3.3-1) experimental; urgency=medium
 
  -- Ralf Treinen   Sat, 22 Nov 2014 14:36:15 +0100
 
-dose3 (3.3~beta1-2) experimental; urgency=low
-
-  * [ Johannes Schauer ]
-  * add two patches from upstream to fix botch FTBFS
- - fixMETA fixes the installed META file (closes: #766745)
- - fixDebPrinter restores original printing of Debian packages
-
- -- Ralf Treinen   Tue, 11 Nov 2014 17:35:43 +0100
-
 dose3 (3.3~beta1-3) unstable; urgency=medium
 
   [ Stefano Zacchiroli ]
@@ -148,6 +139,15 @@ dose3 (3.3~beta1-3) unstable; urgency=medium
 
  -- Stefano Zacchiroli   Fri, 12 Dec 2014 16:39:24 +0100
 
+dose3 (3.3~beta1-2) experimental; urgency=low
+
+  * [ Johannes Schauer ]
+  * add two patches from upstream to fix botch FTBFS
+ - fixMETA fixes the installed META file (closes: #766745)
+ - fixDebPrinter restores original printing of Debian packages
+
+ -- Ralf Treinen   Tue, 11 Nov 2014 17:35:43 +0100
+
 dose3 (3.3~beta1-1) unstable; urgency=low
 
   [ Ralf Treinen ]

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [dose3] 01/01: Merge branch 'master' into experimental/master

2015-12-24 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch experimental/master
in repository dose3.

commit 251115f12c185637e10feaec86c6a426b6333874
Merge: 5c144ad 4542da7
Author: Ralf Treinen 
Date:   Thu Dec 24 13:19:47 2015 +0100

Merge branch 'master' into experimental/master

 CHANGES|   37 +
 INSTALL|9 +-
 META.in|   35 +-
 Makefile   |   93 +-
 Makefile.config.in |   34 +-
 _tags.in   |   34 +-
 algo/defaultgraphs.ml  |  372 --
 algo/depsolver.ml  |  204 +--
 algo/depsolver.mli |   26 +-
 algo/depsolver_int.ml  |  285 +---
 algo/diagnostic.ml |  512 ++--
 algo/diagnostic.mli|   86 +-
 algo/diagnostic_int.ml |4 +-
 algo/dominators.ml |8 +-
 algo/flatten.ml|4 +-
 algo/statistics.ml |4 +-
 algo/strongconflicts.ml|4 +-
 algo/strongconflicts_int.ml|6 +-
 algo/strongdeps.ml |   12 +-
 algo/strongdeps_int.ml |8 +-
 algo/tests.ml  |   70 +-
 applications/apt-cudf.ml   |2 +-
 applications/ceve.ml   |  151 ++-
 applications/challenged.ml |   89 +-
 applications/deb-buildcheck.ml |   63 +-
 applications/deb-coinstall.ml  |   85 +-
 applications/distcheck.ml  |  115 +-
 applications/dominators-graph.ml   |   12 +-
 applications/dose-tests.list.in|  273 ++--
 applications/dose-tests.py |  162 ++-
 applications/outdated.ml   |   25 +-
 applications/smallworld.ml |8 +-
 applications/strong-deps.ml|   10 +-
 common/common.mlpack   |3 +
 common/cudfAdd.ml  |   86 +-
 common/cudfAdd.mli |   68 +-
 common/cudfSolver.ml   |  222 +++-
 common/edosSolver.ml   |  229 +---
 common/edosSolver.mli  |3 -
 {deb => common}/format822.ml   |   57 +-
 {deb => common}/format822_lexer.mll|0
 {deb => common}/format822_parser.mly   |0
 common/input.ml|   96 +-
 common/input.mli   |   13 +-
 common/shell_lexer.mll |   71 +
 common/tests.ml|   36 +
 common/url.ml  |   21 +-
 common/url.mli |7 +-
 common/util.ml |   13 +-
 common/util.mli|8 +-
 configure  | 1080 ++--
 configure.ac   |   38 +-
 cv/cv.mlpack   |3 -
 cv/cvcudf.ml   |   78 --
 cv/packages.ml |0
 cv/version.ml  |0
 deb/apt.ml |   12 +-
 deb/architecture.ml|   80 +-
 deb/debcudf.ml |   81 +-
 deb/debcudf.mli|   11 +-
 deb/debian.mlpack  |5 +-
 deb/debutil.ml |   12 +-
 deb/edsp.ml|   46 +-
 deb/evolution.ml   |   42 +-
 deb/packages.ml|   37 +-
 deb/packages_lexer.mll |1 +
 deb/packages_parser.mly|   31 +-
 deb/packages_types.ml  |   22 +
 deb/printer.ml |   13 +
 deb/release.ml |5 +
 deb/sources.ml |  107 +-
 deb/tests.ml   |   45 +-
 debian/README.source   |   28 +
 debian/apt-cudf.triggers   |2 +-
 debian/changelog   |  110 ++
 debian/

[Pkg-ocaml-maint-commits] [dose3] branch experimental/master updated (5c144ad -> 251115f)

2015-12-24 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to branch experimental/master
in repository dose3.

  from  5c144ad   upload 3.3-2 to experimental
  adds  1a200fa   add a uversionmangle s/-/~/
  adds  eff58b6   changelog entry for Josch's fix of debian/watch.
  adds  1dc224c   demote trigger on /usr/share/cudf/solvers to 
"interest-noawait"
  adds  b469d8f   bump release for unstable upload to -3
  adds  7cd3a83   Imported Upstream version 3.3
  adds  f7c50d2   Merge tag 'upstream/3.3'
  adds  2cfe736   add patches fixDebPrinter and fixMETA to fix botch FTBFS
  adds  c8b6c95   upload to experimental
  adds  928083a   changelog entry for Josch's fix of debian/watch.
  adds  6e0cf55   new upstream version. Adapt patches, remove applied 
patches
  adds  c1a722e   reorder d/copyright stanzas so that the 
d/update-cudf-solvers paragraph gets used
  adds  b20f71e   upload to experimental
  adds  da1d188   install the apt-external-solvers primer in package 
apt-cudf
  adds  dcae29c   backport fix to work around libcudf bug leaking file 
descriptors
  adds  d34f030   added myself to the Uploaders field
  adds  3bb579f   remove fixDebPrinter and fixMETA from debian/patches as 
they were unused
  adds  26ea65c   debian/patches/cudfSolver-fix-leaking-fds: add upstream 
commit in Origin field
  adds  bf54ce4   backport patch encode-package-name-in-cudf_extras
  adds  b646319   backport patch remove_src_prefix_from_name
  adds  e9891ba   upload 3.3-2 to experimental
  adds  78f46a8   upload 3.3-3 to unstable
  adds  d2a6505   fix name of dose-deb-coinstall in manpage
  adds  f7c5a0d   fix FTBFS with librpm 4.12
  adds  f47fb16   d/controL: update XS-Testsuite field name
  adds  5c7d7a9   drop edos-distcheck transitional package
  adds  3a1e6b8   Imported Upstream version 4.0
  adds  d6fc21b   Imported Upstream version 4.0
  adds  a94ca00   Imported Upstream version 4.0
  adds  4c25c1d   Imported Upstream version 4.0
  adds  aa2c822   Imported Upstream version 4.0
  adds  5cdc89d   Merge tag 'upstream/4.0'
  adds  5d1c4a3   upstream 4.0
  adds  92d51f5   update debian patches
  adds  c01add2   build-dependency cppo
  adds  24b130b   no make doc
  adds  8260abe   remove patches cudfSolver-fix-leaking-fds and 
encode-package-name-in-cudf_extras
  adds  be7f2b1   upstream moved deb/format822.ml to common - adjusting 
d/copyright
  adds  ad817f9   upstream moved ./deb/version.ml to 
./versioning/debian_version.ml
  adds  3e0d6e0   add d/copyright paragraph for common/shell_lexer.mll
  adds  0d80756   reenable `make doc` with a patch against upstream
  adds  9784c7b   bump d/compat to 9
  adds  1d59d49   d/rules: simplify override_dh_auto_configure target
  adds  1523a30   run dh-autoreconf to make sure that everything can truly 
be built from source
  adds  3842cb8   add d/missing-sources with sources for bootstrap.min.js 
and jquery-2.1.3.min.js, document in d/README.source and add d/copyright entries
  adds  8012659   simplify build target. upstream now builds the primers
  adds  b84a5f4   add doc/webpages to Files-Excluded in d/copyright
  adds  9a30689   run dch -r to refresh timestamp in latest d/copyright 
entry for upload
  adds  5224809   NEWS: changes in output format
  adds  e4665d4   update debian/dose-distcheck.NEWS with more content
  adds  6cc7dfc   Imported Upstream version 4.0.1
  adds  0ae8461   Merge tag 'upstream/4.0.1'
  adds  641fe4f   adapt debian/changelog for new upstream release
  adds  b60029a   upstream dropped doc/webpages directory so remove 
debian/missing-sources and the corresponding sections from debian/copyright
  adds  aac6e89   remove patch make-doc-target-work as upstream fixed this
  adds  669d3eb   bump version requirement for libextlib-ocaml-dev to 1.7.0 
because upstream requires implementation for custom exit values if wrong 
command line options are passed
  adds  b27a439   restructure debian/changelog for new upstream release and 
close #797448
  adds  7a0bfc6   debian/dose-distcheck.NEWS: modify header to make lintian 
happy
  adds  2db391d   release 4.0.1-1 to unstable
  adds  a3fb03a   release 4.0.1-2 with new patch fix_META
  adds  21fb3b3   Imported Upstream version 4.0.2
  adds  0f07628   Merge tag 'upstream/4.0.2'
  adds  95dc2a6   update changelog for 4.0.2-1 and remove patch fix_META
  adds  c4a051d   release 4.0.2-1 to unstable
  adds  eab78b4   skip ocamldoc
  adds  5bb232a   restore doc generation
  adds  4542da7   fix order of entries in changelog
   new  251115f   Merge branch 'master' into experimental/master

The 1 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds"

[Pkg-ocaml-maint-commits] [dose3] branch experimental/upstream updated (1b73267 -> 0f0ea75)

2015-12-24 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to branch experimental/upstream
in repository dose3.

  from  1b73267   Imported Upstream version 3.3
  adds  3a1e6b8   Imported Upstream version 4.0
  adds  d6fc21b   Imported Upstream version 4.0
  adds  a94ca00   Imported Upstream version 4.0
  adds  4c25c1d   Imported Upstream version 4.0
  adds  aa2c822   Imported Upstream version 4.0
  adds  6cc7dfc   Imported Upstream version 4.0.1
  adds  21fb3b3   Imported Upstream version 4.0.2
   new  0f0ea75   Merge branch 'experimental/upstream' of 
git+ssh://git.debian.org/git/pkg-ocaml-maint/packages/dose3 into 
experimental/upstream

The 1 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:
 CHANGES|   37 +
 INSTALL|9 +-
 META.in|   35 +-
 Makefile   |   93 +-
 Makefile.config.in |   34 +-
 _tags.in   |   34 +-
 algo/defaultgraphs.ml  |  372 --
 algo/depsolver.ml  |  204 +--
 algo/depsolver.mli |   26 +-
 algo/depsolver_int.ml  |  285 +---
 algo/diagnostic.ml |  512 ++--
 algo/diagnostic.mli|   86 +-
 algo/diagnostic_int.ml |4 +-
 algo/dominators.ml |8 +-
 algo/flatten.ml|4 +-
 algo/statistics.ml |4 +-
 algo/strongconflicts.ml|4 +-
 algo/strongconflicts_int.ml|6 +-
 algo/strongdeps.ml |   12 +-
 algo/strongdeps_int.ml |8 +-
 algo/tests.ml  |   70 +-
 applications/apt-cudf.ml   |2 +-
 applications/ceve.ml   |  151 ++-
 applications/challenged.ml |   89 +-
 applications/deb-buildcheck.ml |   63 +-
 applications/deb-coinstall.ml  |   85 +-
 applications/distcheck.ml  |  115 +-
 applications/dominators-graph.ml   |   12 +-
 applications/dose-tests.list.in|  273 ++--
 applications/dose-tests.py |  162 ++-
 applications/outdated.ml   |   25 +-
 applications/smallworld.ml |8 +-
 applications/strong-deps.ml|   10 +-
 common/common.mlpack   |3 +
 common/cudfAdd.ml  |   86 +-
 common/cudfAdd.mli |   68 +-
 common/cudfSolver.ml   |  222 +++-
 common/edosSolver.ml   |  229 +---
 common/edosSolver.mli  |3 -
 {deb => common}/format822.ml   |   57 +-
 {deb => common}/format822_lexer.mll|0
 {deb => common}/format822_parser.mly   |0
 common/input.ml|   96 +-
 common/input.mli   |   13 +-
 common/shell_lexer.mll |   71 +
 common/tests.ml|   36 +
 common/url.ml  |   21 +-
 common/url.mli |7 +-
 common/util.ml |   13 +-
 common/util.mli|8 +-
 configure  | 1080 ++--
 configure.ac   |   38 +-
 cv/cv.mlpack   |3 -
 cv/cvcudf.ml   |   78 --
 cv/packages.ml |0
 cv/version.ml  |0
 deb/apt.ml |   12 +-
 deb/architecture.ml|   80 +-
 deb/debcudf.ml |   81 +-
 deb/debcudf.mli|   11 +-
 deb/debian.mlpack  |5 +-
 deb/debutil.ml |   12 +-
 deb/edsp.ml|   46 +-
 deb/evolution.ml   |   42 +-
 deb/packages.ml

[Pkg-ocaml-maint-commits] [dose3] 01/01: Merge branch 'experimental/upstream' of git+ssh://git.debian.org/git/pkg-ocaml-maint/packages/dose3 into experimental/upstream

2015-12-24 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch experimental/upstream
in repository dose3.

commit 0f0ea7592b668ce0e337a883248d8271eecdaae3
Merge: 21fb3b3 1b73267
Author: Ralf Treinen 
Date:   Thu Dec 24 13:38:30 2015 +0100

Merge branch 'experimental/upstream' of 
git+ssh://git.debian.org/git/pkg-ocaml-maint/packages/dose3 into 
experimental/upstream


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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [dose3] 02/04: Merge tag 'upstream/4.1_beta1' into experimental/master

2015-12-24 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch experimental/master
in repository dose3.

commit 8a860ab28e42eb476bf5134c266de7ba376741c4
Merge: 251115f e0f497b
Author: Ralf Treinen 
Date:   Thu Dec 24 13:53:26 2015 +0100

Merge tag 'upstream/4.1_beta1' into experimental/master

Upstream version 4.1~beta1

 INSTALL |2 +-
 META.in |8 +-
 Makefile|   54 +-
 Makefile.config.in  |   33 +-
 TODO|9 +-
 _tags.in|   24 +-
 algo/algo.mlpack.in |5 +-
 algo/defaultgraphs.ml   |  125 +--
 algo/depsolver.ml   |   35 +-
 algo/depsolver.mli  |7 +-
 algo/depsolver_int.ml   |  114 +-
 algo/depsolver_int.mli  |  136 +++
 algo/diagnostic.ml  |  265 -
 algo/diagnostic.mli |   27 +-
 algo/dominators.ml  |2 +-
 algo/strongconflicts.ml |6 +-
 algo/strongconflicts_int.ml |6 +-
 algo/strongdeps.ml  |  128 ++-
 algo/strongdeps_int.ml  |  135 ---
 algo/tests.ml   |4 +-
 applications/apt-cudf.ml|  294 --
 applications/ceve.ml|   15 +-
 applications/challenged.ml  |   24 +-
 applications/deb-buildcheck.ml  |   29 +-
 applications/deb-coinstall.ml   |   10 +-
 applications/distcheck.ml   |   10 +-
 applications/dominators-graph.ml|3 +-
 applications/dose-tests.py  |   31 +-
 applications/outdated.ml|   18 +-
 applications/strong-deps.ml |3 +-
 common/.ocamldoc.txt|1 +
 common/common.mlpack|4 +
 common/criteria.ml  |  136 +++
 common/criteria_lexer.mll   |   67 ++
 common/criteria_parser.mly  |   79 ++
 common/criteria_types.ml|   13 +
 common/cudfAdd.ml   |   44 +-
 common/cudfAdd.mli  |2 +-
 common/cudfDiff.ml  |   28 +-
 common/cudfSolver.ml|2 +-
 common/format822.ml |   89 +-
 common/format822_lexer.mll  |5 +-
 common/format822_parser.mly |   17 +-
 common/tests.ml |   11 +
 common/url.ml   |   16 +-
 common/url.mli  |2 +-
 common/util.ml  |   39 +
 common/util.mli |   18 +
 configure   | 1285 +++
 configure.ac|   33 +-
 deb/.ocamldoc.txt   |1 +
 deb/apt.ml  |   33 +-
 deb/debcudf.ml  |  364 +++
 deb/debcudf.mli |   13 +-
 deb/debian.mlpack   |4 -
 deb/debutil.ml  |   10 +-
 deb/edsp.ml |  122 +--
 deb/evolution.ml|   16 +-
 deb/packages.ml |  351 +++
 deb/packages_types.ml   |   22 -
 deb/printer.ml  |  168 ---
 deb/release.ml  |   22 +-
 deb/sources.ml  |  195 ++--
 deb/tests.ml|  176 +++-
 doc/manpages/apt-cudf.pod   |   47 +
 doc/manpages/buildcheck.pod |  159 ++-
 doc/manpages/ceve.pod   |  209 +++-
 doc/manpages/distcheck.pod  |  223 ++--
 dose3.odocl.in  |   37 +-
 doseparse/.ocamldoc.txt |1 +
 doseparse/stdDebian.ml  |   15 +-
 doseparse/stdLoaders.ml |   56 +-
 doseparse/stdOptions.ml |  127 ++-
 myocamlbuild.ml.pp  |6 +-
 opam/.ocamldoc.txt  |1 +
 opam/opam.mlpack|2 +
 opam/opamcudf.ml|  168 +++
 opam/packages.ml

[Pkg-ocaml-maint-commits] [dose3] 03/04: new upstream

2015-12-24 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch experimental/master
in repository dose3.

commit de459cfba2686cb6f557ebd914fb70c08623ab5b
Author: Ralf Treinen 
Date:   Thu Dec 24 13:55:52 2015 +0100

new upstream
---
 debian/changelog | 6 ++
 1 file changed, 6 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index c8db94a..9643480 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+dose3 (4.1~beta1-1) experimental; urgency=medium
+
+  * new upstream version
+
+ -- Ralf Treinen   Thu, 24 Dec 2015 13:54:20 +0100
+
 dose3 (4.0.2-3) unstable; urgency=medium
 
   * revert modifications done for 4.0.2-2 and restore generation of ocamldoc

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [dose3] branch experimental/master updated (251115f -> ae52764)

2015-12-24 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to branch experimental/master
in repository dose3.

  from  251115f   Merge branch 'master' into experimental/master
  adds  1b73267   Imported Upstream version 3.3
  adds  0f0ea75   Merge branch 'experimental/upstream' of 
git+ssh://git.debian.org/git/pkg-ocaml-maint/packages/dose3 into 
experimental/upstream
   new  e0f497b   Imported Upstream version 4.1~beta1
   new  8a860ab   Merge tag 'upstream/4.1_beta1' into experimental/master
   new  de459cf   new upstream
   new  ae52764   update patches

The 4 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:
 INSTALL |2 +-
 META.in |8 +-
 Makefile|   54 +-
 Makefile.config.in  |   33 +-
 TODO|9 +-
 _tags.in|   24 +-
 algo/algo.mlpack.in |5 +-
 algo/defaultgraphs.ml   |  125 +--
 algo/depsolver.ml   |   35 +-
 algo/depsolver.mli  |7 +-
 algo/depsolver_int.ml   |  114 +-
 algo/depsolver_int.mli  |  136 +++
 algo/diagnostic.ml  |  265 -
 algo/diagnostic.mli |   27 +-
 algo/dominators.ml  |2 +-
 algo/strongconflicts.ml |6 +-
 algo/strongconflicts_int.ml |6 +-
 algo/strongdeps.ml  |  128 ++-
 algo/strongdeps_int.ml  |  135 ---
 algo/tests.ml   |4 +-
 applications/apt-cudf.ml|  294 --
 applications/ceve.ml|   15 +-
 applications/challenged.ml  |   24 +-
 applications/deb-buildcheck.ml  |   29 +-
 applications/deb-coinstall.ml   |   10 +-
 applications/distcheck.ml   |   10 +-
 applications/dominators-graph.ml|3 +-
 applications/dose-tests.py  |   31 +-
 applications/outdated.ml|   18 +-
 applications/strong-deps.ml |3 +-
 common/.ocamldoc.txt|1 +
 common/common.mlpack|4 +
 common/criteria.ml  |  136 +++
 common/criteria_lexer.mll   |   67 ++
 common/criteria_parser.mly  |   79 ++
 common/criteria_types.ml|   13 +
 common/cudfAdd.ml   |   44 +-
 common/cudfAdd.mli  |2 +-
 common/cudfDiff.ml  |   28 +-
 common/cudfSolver.ml|2 +-
 common/format822.ml |   89 +-
 common/format822_lexer.mll  |5 +-
 common/format822_parser.mly |   17 +-
 common/tests.ml |   11 +
 common/url.ml   |   16 +-
 common/url.mli  |2 +-
 common/util.ml  |   39 +
 common/util.mli |   18 +
 configure   | 1285 +++
 configure.ac|   33 +-
 deb/.ocamldoc.txt   |1 +
 deb/apt.ml  |   33 +-
 deb/debcudf.ml  |  364 +++
 deb/debcudf.mli |   13 +-
 deb/debian.mlpack   |4 -
 deb/debutil.ml  |   10 +-
 deb/edsp.ml |  122 +--
 deb/evolution.ml|   16 +-
 deb/packages.ml |  351 +++
 deb/packages_types.ml   |   22 -
 deb/printer.ml  |  168 ---
 deb/release.ml  |   22 +-
 deb/sources.ml  |  195 ++--
 deb/tests.ml|  176 +++-
 debian/changelog|8 +
 debian/patches/binaries-prefix-edos |   34 +-
 debian/patches/coinstall-binary-name|   15 -
 debian/patches/series   |1 -
 doc/manpages/apt-cudf.pod   |   47 +
 doc/manpages/

[Pkg-ocaml-maint-commits] [dose3] 04/04: update patches

2015-12-24 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch experimental/master
in repository dose3.

commit ae52764099a29a8b7276656e2aeb9efe957da114
Author: Ralf Treinen 
Date:   Thu Dec 24 14:53:23 2015 +0100

update patches
---
 debian/changelog |  4 +++-
 debian/patches/binaries-prefix-edos  | 34 +-
 debian/patches/coinstall-binary-name | 15 ---
 debian/patches/series|  1 -
 4 files changed, 20 insertions(+), 34 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 9643480..4933525 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,10 @@
 dose3 (4.1~beta1-1) experimental; urgency=medium
 
   * new upstream version
+- refreshed patch coinstall-binary-name
+- dropped patch coinstall-binary-name, fixed upstream
 
- -- Ralf Treinen   Thu, 24 Dec 2015 13:54:20 +0100
+ -- Ralf Treinen   Thu, 24 Dec 2015 14:52:09 +0100
 
 dose3 (4.0.2-3) unstable; urgency=medium
 
diff --git a/debian/patches/binaries-prefix-edos 
b/debian/patches/binaries-prefix-edos
index 2df91f1..df84775 100644
--- a/debian/patches/binaries-prefix-edos
+++ b/debian/patches/binaries-prefix-edos
@@ -3,8 +3,8 @@ Description: all binaries have prefix dose-
 
 Index: dose3/doc/manpages/distcheck.pod
 ===
 dose3.orig/doc/manpages/distcheck.pod  2015-08-26 21:14:16.570279286 
+0200
-+++ dose3/doc/manpages/distcheck.pod   2015-08-26 21:14:16.566279272 +0200
+--- dose3.orig/doc/manpages/distcheck.pod  2015-12-24 14:48:23.552855492 
+0100
 dose3/doc/manpages/distcheck.pod   2015-12-24 14:48:23.548855473 +0100
 @@ -1,25 +1,25 @@
  =head1 NAME
  
@@ -78,7 +78,7 @@ Index: dose3/doc/manpages/distcheck.pod
  
  =cut
  
-@@ -280,13 +280,13 @@
+@@ -349,13 +349,13 @@
  Check which packages in contrib are not installable when dependencies may
  be satisfied from main:
   
@@ -96,9 +96,9 @@ Index: dose3/doc/manpages/distcheck.pod
  =cut
 Index: dose3/doc/manpages/buildcheck.pod
 ===
 dose3.orig/doc/manpages/buildcheck.pod 2015-08-26 21:14:16.570279286 
+0200
-+++ dose3/doc/manpages/buildcheck.pod  2015-08-26 21:14:16.566279272 +0200
-@@ -180,7 +180,7 @@
+--- dose3.orig/doc/manpages/buildcheck.pod 2015-12-24 14:48:23.552855492 
+0100
 dose3/doc/manpages/buildcheck.pod  2015-12-24 14:48:23.548855473 +0100
+@@ -283,7 +283,7 @@
  =head1 SEE ALSO
  
  L(5)>, 
@@ -109,8 +109,8 @@ Index: dose3/doc/manpages/buildcheck.pod
   is the home page of the Mancoosi project. 
 Index: dose3/doc/manpages/outdated.pod
 ===
 dose3.orig/doc/manpages/outdated.pod   2015-08-26 21:14:16.570279286 
+0200
-+++ dose3/doc/manpages/outdated.pod2015-08-26 21:14:16.566279272 +0200
+--- dose3.orig/doc/manpages/outdated.pod   2015-12-24 14:48:23.552855492 
+0100
 dose3/doc/manpages/outdated.pod2015-12-24 14:48:23.548855473 +0100
 @@ -1,16 +1,16 @@
  =head1 NAME
  
@@ -162,8 +162,8 @@ Index: dose3/doc/manpages/outdated.pod
   
 Index: dose3/doc/manpages/challenged.pod
 ===
 dose3.orig/doc/manpages/challenged.pod 2015-08-26 21:14:16.570279286 
+0200
-+++ dose3/doc/manpages/challenged.pod  2015-08-26 21:14:16.566279272 +0200
+--- dose3.orig/doc/manpages/challenged.pod 2015-12-24 14:48:23.552855492 
+0100
 dose3/doc/manpages/challenged.pod  2015-12-24 14:48:23.548855473 +0100
 @@ -1,19 +1,19 @@
  =head1 NAME
  
@@ -225,8 +225,8 @@ Index: dose3/doc/manpages/challenged.pod
  
 Index: dose3/doc/manpages/debcoinstall.pod
 ===
 dose3.orig/doc/manpages/debcoinstall.pod   2015-08-26 21:14:16.570279286 
+0200
-+++ dose3/doc/manpages/debcoinstall.pod2015-08-26 21:14:16.566279272 
+0200
+--- dose3.orig/doc/manpages/debcoinstall.pod   2015-12-24 14:48:23.552855492 
+0100
 dose3/doc/manpages/debcoinstall.pod2015-12-24 14:48:23.548855473 
+0100
 @@ -1,19 +1,19 @@
  =head1 NAME
  
@@ -268,8 +268,8 @@ Index: dose3/doc/manpages/debcoinstall.pod
   --fg essential > essential_coinstall_src
 Index: dose3/doc/manpages/ceve.pod
 ===
 dose3.orig/doc/manpages/ceve.pod   2015-08-26 21:14:12.134264139 +0200
-+++ dose3/doc/manpages/ceve.pod2015-08-26 21:15:22.378509352 +0200
+--- dose3.orig/doc/manpages/ceve.pod   2015-12-24 14:48:23.552855492 +0100
 dose3/doc/manpages/ceve.pod2015-12-24 14:48:23.548855473 +0100
 @@ -1,18 +1,18 @@
  =head1 NAME
  
@@ -280,8 +280,8 @@ Index: dose3/doc/manpages/ceve.pod
  
  =over 
  
--=item B [-h] [-v] [-c I] [-r I] [--depth=I]I<> [-T 
I] [-G I] [-o I] I 
-+=item B [-h] [-v] [-c I] [-r I] 
[--depth=I]I<> [-T I]

[Pkg-ocaml-maint-commits] [dose3] branch experimental/master updated (ae52764 -> 87e422b)

2015-12-24 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to branch experimental/master
in repository dose3.

  from  ae52764   update patches
   new  87e422b   bump build-deps ocaml, ocamlgraph

The 1 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:
 debian/changelog | 1 +
 debian/control   | 4 ++--
 2 files changed, 3 insertions(+), 2 deletions(-)

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [dose3] 01/01: bump build-deps ocaml, ocamlgraph

2015-12-24 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch experimental/master
in repository dose3.

commit 87e422b2e78b770ad870f138778eddf40278a861
Author: Ralf Treinen 
Date:   Thu Dec 24 14:58:58 2015 +0100

bump build-deps ocaml, ocamlgraph
---
 debian/changelog | 1 +
 debian/control   | 4 ++--
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 4933525..3d0c1f4 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,6 +3,7 @@ dose3 (4.1~beta1-1) experimental; urgency=medium
   * new upstream version
 - refreshed patch coinstall-binary-name
 - dropped patch coinstall-binary-name, fixed upstream
+  * bump version of build-dependency ocamlgraph and ocaml-nox
 
  -- Ralf Treinen   Thu, 24 Dec 2015 14:52:09 +0100
 
diff --git a/debian/control b/debian/control
index 630ec93..90f72f5 100644
--- a/debian/control
+++ b/debian/control
@@ -8,10 +8,10 @@ Uploaders: Stefano Zacchiroli ,
 Build-Depends: debhelper (>= 9), dh-ocaml (>= 0.9~), dh-autoreconf,
 # use the following line only when autoconf stuff has been patched:
 # automake, autoconf,
- ocaml-nox (>= 3.11.1-3~), cppo,
+ ocaml-nox (>= 3.11.2), cppo,
  libre-ocaml-dev,
  libextlib-ocaml-dev (>= 1.7.0),
- libocamlgraph-ocaml-dev (>= 1.8.5),
+ libocamlgraph-ocaml-dev (>= 1.8.6),
  libcudf-ocaml-dev (>= 0.7),
  libzip-ocaml-dev, libbz2-ocaml-dev, librpm-dev (>= 4.12),
  perl, graphviz, hevea, texlive-latex-base, texlive-latex-extra

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [dose3] annotated tag debian/4.1_beta1-1 created (now d0e3dd4)

2015-12-24 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to annotated tag debian/4.1_beta1-1
in repository dose3.

at  d0e3dd4   (tag)
   tagging  87e422b2e78b770ad870f138778eddf40278a861 (commit)
  replaces  debian/4.0.2-3
 tagged by  Ralf Treinen
on  Thu Dec 24 15:16:22 2015 +0100

- Log -
dose3 Debian release 4.1~beta1-1

Ralf Treinen (12):
  upload to experimental
  changelog entry for Josch's fix of debian/watch.
  upload to experimental
  install the apt-external-solvers primer in package apt-cudf
  fix order of entries in changelog
  Merge branch 'master' into experimental/master
  Merge branch 'experimental/upstream' of 
git+ssh://git.debian.org/git/pkg-ocaml-maint/packages/dose3 into 
experimental/upstream
  Imported Upstream version 4.1~beta1
  Merge tag 'upstream/4.1_beta1' into experimental/master
  new upstream
  update patches
  bump build-deps ocaml, ocamlgraph

josch (13):
  add patches fixDebPrinter and fixMETA to fix botch FTBFS
  Imported Upstream version 3.3
  add a uversionmangle s/-/~/
  Imported Upstream version 3.3
  new upstream version. Adapt patches, remove applied patches
  reorder d/copyright stanzas so that the d/update-cudf-solvers paragraph 
gets used
  backport fix to work around libcudf bug leaking file descriptors
  added myself to the Uploaders field
  remove fixDebPrinter and fixMETA from debian/patches as they were unused
  debian/patches/cudfSolver-fix-leaking-fds: add upstream commit in Origin 
field
  backport patch encode-package-name-in-cudf_extras
  backport patch remove_src_prefix_from_name
  upload 3.3-2 to experimental

---

No new revisions were added by this update.

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [dose3] annotated tag upstream/4.1_beta1 created (now 2416540)

2015-12-24 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to annotated tag upstream/4.1_beta1
in repository dose3.

at  2416540   (tag)
   tagging  e0f497b90a384f73baa1bc64f189263d08f4d4e2 (commit)
  replaces  upstream/4.0.2
 tagged by  Ralf Treinen
on  Thu Dec 24 13:53:26 2015 +0100

- Log -
Upstream version 4.1~beta1

Ralf Treinen (2):
  Merge branch 'experimental/upstream' of 
git+ssh://git.debian.org/git/pkg-ocaml-maint/packages/dose3 into 
experimental/upstream
  Imported Upstream version 4.1~beta1

josch (1):
  Imported Upstream version 3.3

---

No new revisions were added by this update.

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [dose3] branch experimental/upstream updated (0f0ea75 -> e0f497b)

2015-12-24 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to branch experimental/upstream
in repository dose3.

  from  0f0ea75   Merge branch 'experimental/upstream' of 
git+ssh://git.debian.org/git/pkg-ocaml-maint/packages/dose3 into 
experimental/upstream
  adds  e0f497b   Imported Upstream version 4.1~beta1

No new revisions were added by this update.

Summary of changes:
 INSTALL |2 +-
 META.in |8 +-
 Makefile|   54 +-
 Makefile.config.in  |   33 +-
 TODO|9 +-
 _tags.in|   24 +-
 algo/algo.mlpack.in |5 +-
 algo/defaultgraphs.ml   |  125 +--
 algo/depsolver.ml   |   35 +-
 algo/depsolver.mli  |7 +-
 algo/depsolver_int.ml   |  114 +-
 algo/depsolver_int.mli  |  136 +++
 algo/diagnostic.ml  |  265 -
 algo/diagnostic.mli |   27 +-
 algo/dominators.ml  |2 +-
 algo/strongconflicts.ml |6 +-
 algo/strongconflicts_int.ml |6 +-
 algo/strongdeps.ml  |  128 ++-
 algo/strongdeps_int.ml  |  135 ---
 algo/tests.ml   |4 +-
 applications/apt-cudf.ml|  294 --
 applications/ceve.ml|   15 +-
 applications/challenged.ml  |   24 +-
 applications/deb-buildcheck.ml  |   29 +-
 applications/deb-coinstall.ml   |   10 +-
 applications/distcheck.ml   |   10 +-
 applications/dominators-graph.ml|3 +-
 applications/dose-tests.py  |   31 +-
 applications/outdated.ml|   18 +-
 applications/strong-deps.ml |3 +-
 common/.ocamldoc.txt|1 +
 common/common.mlpack|4 +
 common/criteria.ml  |  136 +++
 common/criteria_lexer.mll   |   67 ++
 common/criteria_parser.mly  |   79 ++
 common/criteria_types.ml|   13 +
 common/cudfAdd.ml   |   44 +-
 common/cudfAdd.mli  |2 +-
 common/cudfDiff.ml  |   28 +-
 common/cudfSolver.ml|2 +-
 common/format822.ml |   89 +-
 common/format822_lexer.mll  |5 +-
 common/format822_parser.mly |   17 +-
 common/tests.ml |   11 +
 common/url.ml   |   16 +-
 common/url.mli  |2 +-
 common/util.ml  |   39 +
 common/util.mli |   18 +
 configure   | 1285 +++
 configure.ac|   33 +-
 deb/.ocamldoc.txt   |1 +
 deb/apt.ml  |   33 +-
 deb/debcudf.ml  |  364 +++
 deb/debcudf.mli |   13 +-
 deb/debian.mlpack   |4 -
 deb/debutil.ml  |   10 +-
 deb/edsp.ml |  122 +--
 deb/evolution.ml|   16 +-
 deb/packages.ml |  351 +++
 deb/packages_types.ml   |   22 -
 deb/printer.ml  |  168 ---
 deb/release.ml  |   22 +-
 deb/sources.ml  |  195 ++--
 deb/tests.ml|  176 +++-
 doc/manpages/apt-cudf.pod   |   47 +
 doc/manpages/buildcheck.pod |  159 ++-
 doc/manpages/ceve.pod   |  209 +++-
 doc/manpages/distcheck.pod  |  223 ++--
 dose3.odocl.in  |   37 +-
 doseparse/.ocamldoc.txt |1 +
 doseparse/stdDebian.ml  |   15 +-
 doseparse/stdLoaders.ml |   56 +-
 doseparse/stdOptions.ml |  127 ++-
 myocamlbuild.ml.pp  |6 +-
 opam/.ocamldoc.txt  |1 +
 opencsw/csw.mlpack => opam/opam.mlpack  |2 +-
 opam/opamcudf.ml|

[Pkg-ocaml-maint-commits] [coccinelle] 01/01: Run tests only when building architecture-dependant packages

2015-12-24 Thread Eugeniy Meshcheryakov 
This is an automated email from the git hooks/post-receive script.

eugen pushed a commit to branch master
in repository coccinelle.

commit 8096178fecb3c98566e1adc1c7b39f6fd9b63612
Author: Eugeniy Meshcheryakov 
Date:   Thu Dec 24 14:39:24 2015 +0100

Run tests only when building architecture-dependant packages
---
 debian/changelog | 7 +++
 debian/rules | 5 -
 2 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index d3704ec..fb47f30 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+coccinelle (1.0.4.deb-2) unstable; urgency=medium
+
+  * Run tests only when building architecture-dependant packages
+(closes: #806611)
+
+ -- Євгеній Мещеряков   Thu, 24 Dec 2015 14:54:31 +0100
+
 coccinelle (1.0.4.deb-1) unstable; urgency=medium
 
   * New upstream release
diff --git a/debian/rules b/debian/rules
index ba16fa8..b79fd8e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -35,9 +35,12 @@ override_dh_auto_build-indep:
mkdir texmf-config
TEXMFVAR="$(CURDIR)/texmf-var" TEXMFCONFIG="$(CURDIR)/texmf-config" 
$(MAKE) -C docs/manual pdf
 
-override_dh_auto_test:
+override_dh_auto_test-arch:
$(MAKE) check
 
+override_dh_auto_test-indep:
+   # nothing
+
 override_dh_auto_install-arch:
$(MAKE) DESTDIR=$(CURDIR)/debian/coccinelle install install-bash
# install the wrapper script, i dont like upstreams one

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [coccinelle] annotated tag debian/1.0.4.deb-2 created (now b5d8610)

2015-12-24 Thread Eugeniy Meshcheryakov 
This is an automated email from the git hooks/post-receive script.

eugen pushed a change to annotated tag debian/1.0.4.deb-2
in repository coccinelle.

at  b5d8610   (tag)
   tagging  8096178fecb3c98566e1adc1c7b39f6fd9b63612 (commit)
  replaces  debian/1.0.4.deb-1
 tagged by  Eugeniy Meshcheryakov
on  Fri Dec 25 06:33:23 2015 +0100

- Log -
coccinelle Debian release 1.0.4.deb-2
-BEGIN PGP SIGNATURE-
Version: GnuPG v1

iQIcBAABCAAGBQJWfNUjAAoJEMFtqOf0Ubk8HGEP/AoDYNqpXTMXBVCVawOfr4Io
FyiCdPkfMfpK7yMd2FJDkOKaBgEf6aW3qm54QhDeVK/GXeLK+vGZa6b3SP+ekPLP
AUDB5ycn4BVSKmP3avHWcNNCHp8cbB444esc1qUkVsEpj+XDylpUS04FpVzNPCt2
J8wmUy7BxomtlMA8rQDZaNT01pFkYiq949gPp0pguodaeQvFiWxTmvpjHBWjWdZ9
tw/FhE9hxjPKZcT4o2LlsP19LN4IXi4L4nQcKo43CGH7nhJ+ZGVxt4dWdcPWwiVi
nC86lNw8ODgUx5De6HTXiCaVYrIbDn2RQxul9Uc7SyurvXOp/MTfSjQgo6AB/BLJ
fB+0EGyHOKby2E8IXOgl1A+6Ah3Osgt1tOlv12pDLPOaP7IpwrkTHKF7CBZeghEL
1bYocxr0LRr3WHuhR0fyluW4HCnXySbE9qhszPqV8vNe/M6jp9j4HnR607ma8Und
yTbzAm+QIO3DgDaNPvrQrPRSHlunLflhMeDxjbBmc/ync+6T4FSkz9MKq3Sbcl04
5QHEKNVxEQzRW0st+2eYwbOsgsDZBjp0KJIpvq1zj21hRqai/oo2XA0lev1tg4Qq
DtcBlJ+5kQm6wZ1GaX/xL7wj4nqRbck8ZC7ReEgogG8bERhoUAXAV1elEL9wQpRA
GRjBzS8g5vVL2ei06t9E
=7n6K
-END PGP SIGNATURE-

Eugeniy Meshcheryakov (1):
  Run tests only when building architecture-dependant packages

---

No new revisions were added by this update.

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [coccinelle] branch master updated (ed28c02 -> 8096178)

2015-12-24 Thread Eugeniy Meshcheryakov 
This is an automated email from the git hooks/post-receive script.

eugen pushed a change to branch master
in repository coccinelle.

  from  ed28c02   Remove disable-spgen.diff - fixed upstream
   new  8096178   Run tests only when building architecture-dependant 
packages

The 1 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:
 debian/changelog | 7 +++
 debian/rules | 5 -
 2 files changed, 11 insertions(+), 1 deletion(-)

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits