[Pkg-ocaml-maint-commits] [frama-c] 01/03: Refresh patches

2017-07-27 Thread Stéphane Glondu 
This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository frama-c.

commit 7e60b6be21cfe9dab6b9c8f6f00b079abae734af
Author: Stephane Glondu 
Date:   Thu Jul 27 18:59:06 2017 +0200

Refresh patches
---
 debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch 
b/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch
index 7d460a7..2c200ea 100644
--- a/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch
+++ b/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch
@@ -10,7 +10,7 @@ PLUGIN_CMO_LIST variable.
  1 file changed, 4 insertions(+)
 
 diff --git a/Makefile b/Makefile
-index abbc8935..e844de36 100644
+index abbc893..e844de3 100644
 --- a/Makefile
 +++ b/Makefile
 @@ -1095,6 +1095,10 @@ $(foreach p,$(EXTERNAL_PLUGINS),$(eval $(call 
INCLUDE_PLUGIN,$p)))
@@ -24,4 +24,3 @@ index abbc8935..e844de36 100644
  ALL_CMO   = $(CMO) $(PLUGIN_CMO_LIST) $(STARTUP_CMO)
  ALL_CMX   = $(CMX) $(PLUGIN_CMX_LIST) $(STARTUP_CMX)
  
--- 

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.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] [frama-c] 02/03: Fix FTBFS with OCaml 4.05.0

2017-07-27 Thread Stéphane Glondu 
This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository frama-c.

commit cef5338cda459f3eb7aab6cb05d204503a51550e
Author: Stephane Glondu 
Date:   Thu Jul 27 19:01:27 2017 +0200

Fix FTBFS with OCaml 4.05.0
---
 .../patches/0007-Fix-FTBFS-with-OCaml-4.05.0.patch | 85 ++
 debian/patches/series  |  1 +
 2 files changed, 86 insertions(+)

diff --git a/debian/patches/0007-Fix-FTBFS-with-OCaml-4.05.0.patch 
b/debian/patches/0007-Fix-FTBFS-with-OCaml-4.05.0.patch
new file mode 100644
index 000..62792b3
--- /dev/null
+++ b/debian/patches/0007-Fix-FTBFS-with-OCaml-4.05.0.patch
@@ -0,0 +1,85 @@
+From: Stephane Glondu 
+Date: Thu, 27 Jul 2017 19:00:45 +0200
+Subject: Fix FTBFS with OCaml 4.05.0
+
+---
+ src/kernel_services/analysis/dataflow.ml  | 2 +-
+ src/kernel_services/analysis/dataflow2.ml | 2 +-
+ src/libraries/project/state_builder.ml| 1 +
+ src/libraries/utils/hook.ml   | 4 ++--
+ src/plugins/wp/qed/src/idxset.ml  | 2 +-
+ 5 files changed, 6 insertions(+), 5 deletions(-)
+
+diff --git a/src/kernel_services/analysis/dataflow.ml 
b/src/kernel_services/analysis/dataflow.ml
+index 0f32f24..137dd2c 100644
+--- a/src/kernel_services/analysis/dataflow.ml
 b/src/kernel_services/analysis/dataflow.ml
+@@ -80,7 +80,7 @@ module type StmtStartData = sig
+   val length: unit -> int
+ end
+ 
+-module StartData(X: sig type t val size: int end) = struct
++module StartData(X: sig type t val size: int end) : StmtStartData with type 
data = X.t = struct
+   type data = X.t
+   open Cil_datatype.Stmt.Hashtbl
+   let stmtStartData = create X.size
+diff --git a/src/kernel_services/analysis/dataflow2.ml 
b/src/kernel_services/analysis/dataflow2.ml
+index 0d6eb24..55c108e 100644
+--- a/src/kernel_services/analysis/dataflow2.ml
 b/src/kernel_services/analysis/dataflow2.ml
+@@ -57,7 +57,7 @@ module type StmtStartData = sig
+   val length: unit -> int
+ end
+ 
+-module StartData(X: sig type t val size: int end) = struct
++module StartData(X: sig type t val size: int end) : StmtStartData with type 
data = X.t = struct
+   type data = X.t
+   open Cil_datatype.Stmt.Hashtbl
+   let stmtStartData = create X.size
+diff --git a/src/libraries/project/state_builder.ml 
b/src/libraries/project/state_builder.ml
+index 8d07c0d..2f65b81 100644
+--- a/src/libraries/project/state_builder.ml
 b/src/libraries/project/state_builder.ml
+@@ -746,6 +746,7 @@ struct
+ let mem = HW.mem
+ let find_all = HW.find_all
+ let find = HW.find
++let find_opt _ _ = assert false
+ let remove = HW.remove
+ let add h v = HW.replace h v v 
+ 
+diff --git a/src/libraries/utils/hook.ml b/src/libraries/utils/hook.ml
+index 7c4e762..7db08ae 100644
+--- a/src/libraries/utils/hook.ml
 b/src/libraries/utils/hook.ml
+@@ -54,7 +54,7 @@ let add_once v queue =
+   let already = Queue.fold (fun b v' -> b || v' == v) false queue in
+   if not already then Queue.add v queue
+ 
+-module Build(P:sig type t end) = struct
++module Build(P:sig type t end) : Iter_hook with type param = P.t = struct
+   type param = P.t
+   type result = unit
+   let hooks = Queue.create ()
+@@ -74,7 +74,7 @@ module Build(P:sig type t end) = struct
+   let length () = Queue.length hooks
+ end
+ 
+-module Fold(P:sig type t end) = struct
++module Fold(P:sig type t end) : S with type param = P.t and type result = P.t 
= struct
+   type param = P.t
+   type result = P.t
+   let hooks = Queue.create ()
+diff --git a/src/plugins/wp/qed/src/idxset.ml 
b/src/plugins/wp/qed/src/idxset.ml
+index 941384b..037d0b4 100644
+--- a/src/plugins/wp/qed/src/idxset.ml
 b/src/plugins/wp/qed/src/idxset.ml
+@@ -56,7 +56,7 @@ sig
+   val id : t -> int (* unique per t *)
+ end
+ 
+-module Make(E : IndexedElements) =
++module Make(E : IndexedElements) : S with type elt = E.t =
+ struct
+   type t = E.t Intmap.t
+   type elt = E.t
diff --git a/debian/patches/series b/debian/patches/series
index d83414e..53afd62 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -4,3 +4,4 @@
 0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas.patch
 0005-Value.cmo-needs-LoopAnalysis.cmo.patch
 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
+0007-Fix-FTBFS-with-OCaml-4.05.0.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.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] [frama-c] 03/03: Update changelog and prepare upload to unstable

2017-07-27 Thread Stéphane Glondu 
This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository frama-c.

commit 774467b27339d68b1a749c6ef3df1126d287aa2b
Author: Stephane Glondu 
Date:   Thu Jul 27 19:03:53 2017 +0200

Update changelog and prepare upload to unstable
---
 debian/changelog | 7 +++
 1 file changed, 7 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 6fed625..2ac50f7 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+frama-c (20161101+silicon+dfsg-6) unstable; urgency=medium
+
+  * Team upload
+  * Fix FTBFS with OCaml 4.05.0 (Closes: #843020)
+
+ -- Stéphane Glondu   Thu, 27 Jul 2017 19:03:40 +0200
+
 frama-c (20161101+silicon+dfsg-5) unstable; urgency=medium
 
   * Add Breaks/Replaces frama-c-base (<= 20140301+neon+dfsg-3) to

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.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] [frama-c] annotated tag debian/20161101+silicon+dfsg-6 created (now 08d87db)

2017-07-27 Thread Stéphane Glondu 
This is an automated email from the git hooks/post-receive script.

glondu pushed a change to annotated tag debian/20161101+silicon+dfsg-6
in repository frama-c.

at  08d87db   (tag)
   tagging  774467b27339d68b1a749c6ef3df1126d287aa2b (commit)
  replaces  debian/20161101+silicon+dfsg-5
 tagged by  Stephane Glondu
on  Thu Jul 27 20:48:41 2017 +0200

- Log -
frama-c Debian release 20161101+silicon+dfsg-6
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAll6NYkACgkQeFPaTUmI
GtMQaRAAhyiOxGacZjY/zb9VmV9KAK9OLG0ce1BGB3RBYrXqUidqMhz3EIkYACjY
LJWBM2cpRxA8zrl6uGiVoqonVz6OrgubmHFBv6/TyQWKYpZ28+FGf6AcbbN5i0Eb
8Md8aIGSBY0uYuTmwJoOa53qoQU2M6wv9992BldQMDWRCZLGREtqhCyuJZGhyQHO
2JvQ51qpeEi2BTHMTVG7A4L3Jj89nYiINUNqpdZN0l8LRmzY7NcbTzeq5ToryaCi
CeKAs3wxsCdGYJcmGHGW/N+E/CyFylXKSNyXC+kh4/S+WHnVz4w2A8YxE+LJuo5T
s6SVmAgECX11HFgWm18rXdrkEB6ik5hvJ3s8SEdCYdTFhZfnSNhp0uqana2G9flz
UZx3CT+24iAr5OQdWjbQxWqZ8dm4HBbwjKH6EwzTTW1VciillyVOMDcJPCuCOK+G
t5b0nrjWwiSpp7RpvtH5MP8Q/o5F5E0HGcwogfiSU7xePyNVkV6XH6/lRILz4L43
24Rsv41p0EwxymhnMiJg9+DIjoIsnTZ3hHEl65AsYIlU5DVBHdbgITSILvJl+PtO
cMDSA0lQ2zp2E4/AI1vFOuNFFVKM+mKNpTfsAvdpHozm3AOP9Xa8HRGfCZL7kUAq
RyRrRy5rTxLAqZvX2soYpj6rPs91kEigMNlnJSMLyQoQdnZ38/E=
=AJw7
-END PGP SIGNATURE-

Stephane Glondu (3):
  Refresh patches
  Fix FTBFS with OCaml 4.05.0
  Update changelog and prepare upload to unstable

---

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/frama-c.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] [frama-c] branch master updated (0e5d69e -> 774467b)

2017-07-27 Thread Stéphane Glondu 
This is an automated email from the git hooks/post-receive script.

glondu pushed a change to branch master
in repository frama-c.

  from  0e5d69e   Release to unstable
   new  7e60b6b   Refresh patches
   new  cef5338   Fix FTBFS with OCaml 4.05.0
   new  774467b   Update changelog and prepare upload to unstable

The 3 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 ++
 .../0005-Value.cmo-needs-LoopAnalysis.cmo.patch|  3 +-
 .../patches/0007-Fix-FTBFS-with-OCaml-4.05.0.patch | 85 ++
 debian/patches/series  |  1 +
 4 files changed, 94 insertions(+), 2 deletions(-)
 create mode 100644 debian/patches/0007-Fix-FTBFS-with-OCaml-4.05.0.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.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] [zed] branch master updated (3ffd293 -> 472dcd2)

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a change to branch master
in repository zed.

  from  3ffd293   Update changelog and prepare upload to unstable
   new  472dcd2   d/control: remove myself from Uploaders

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/control | 1 -
 1 file changed, 1 deletion(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/zed.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] [zed] 01/01: d/control: remove myself from Uploaders

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a commit to branch master
in repository zed.

commit 472dcd29cc264fe33d42857ee78a3de831e4e028
Author: Nicolas Dandrimont 
Date:   Thu Jul 27 12:13:51 2017 +0200

d/control: remove myself from Uploaders
---
 debian/control | 1 -
 1 file changed, 1 deletion(-)

diff --git a/debian/control b/debian/control
index ebdd095..335f3eb 100644
--- a/debian/control
+++ b/debian/control
@@ -2,7 +2,6 @@ Source: zed
 Priority: optional
 Maintainer: Debian OCaml Maintainers 
 Uploaders:
- Nicolas Dandrimont ,
  Lifeng Sun ,
  Hilko Bengen ,
 Build-Depends:

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/zed.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] [ocsigenserver] 01/01: d/control: remove myself from Uploaders

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a commit to branch master
in repository ocsigenserver.

commit 77692204abcafbba1587c09d05fdc6838481a8e5
Author: Nicolas Dandrimont 
Date:   Thu Jul 27 12:13:05 2017 +0200

d/control: remove myself from Uploaders
---
 debian/control | 1 -
 1 file changed, 1 deletion(-)

diff --git a/debian/control b/debian/control
index 05d96de..b3e7ce9 100644
--- a/debian/control
+++ b/debian/control
@@ -5,7 +5,6 @@ Maintainer: Debian OCaml Maintainers 

 Uploaders:
  Stéphane Glondu ,
  Samuel Mimram ,
- Nicolas Dandrimont 
 Build-Depends:
  debhelper (>= 9),
  ocaml-nox (>= 4.01),

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ocsigenserver.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] [ocsigenserver] branch master updated (7ffab85 -> 7769220)

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a change to branch master
in repository ocsigenserver.

  from  7ffab85   Update changelog and prepare upload to unstable
   new  7769220   d/control: remove myself from Uploaders

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/control | 1 -
 1 file changed, 1 deletion(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ocsigenserver.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] [ocamlbricks] branch master updated (2627c46 -> 2c87f07)

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a change to branch master
in repository ocamlbricks.

  from  2627c46   Update changelog and prepare upload to unstable
   new  2c87f07   d/control: remove myself from Uploaders

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/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ocamlbricks.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] [ocamlbricks] 01/01: d/control: remove myself from Uploaders

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a commit to branch master
in repository ocamlbricks.

commit 2c87f07114a8804f1923f0bc2f4ef65d2fe7b1d6
Author: Nicolas Dandrimont 
Date:   Thu Jul 27 12:12:18 2017 +0200

d/control: remove myself from Uploaders
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index b8798bd..3f987d1 100644
--- a/debian/control
+++ b/debian/control
@@ -2,7 +2,7 @@ Source: ocamlbricks
 Section: ocaml
 Priority: optional
 Maintainer: Debian OCaml Maintainers 
-Uploaders: Lucas Nussbaum , Nicolas Dandrimont 

+Uploaders: Lucas Nussbaum 
 Build-Depends: debhelper (>= 8),
  ocaml-nox (>= 3.12.1),
  liblablgtk2-ocaml-dev (>= 2.12.0-2),

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ocamlbricks.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] [marionnet] branch master updated (4852d25 -> c9ea72a)

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a change to branch master
in repository marionnet.

  from  4852d25   Update changelog post-merge.
   new  c9ea72a   d/control: remove myself from Uploaders

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/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/marionnet.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] [marionnet] 01/01: d/control: remove myself from Uploaders

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a commit to branch master
in repository marionnet.

commit c9ea72a3eee0adf677702da204a762421735a849
Author: Nicolas Dandrimont 
Date:   Thu Jul 27 12:11:35 2017 +0200

d/control: remove myself from Uploaders
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 7c424f6..228dd6e 100644
--- a/debian/control
+++ b/debian/control
@@ -2,7 +2,7 @@ Source: marionnet
 Section: net
 Priority: extra
 Maintainer: Debian OCaml Maintainers 
-Uploaders: Lucas Nussbaum , Nicolas Dandrimont 

+Uploaders: Lucas Nussbaum 
 Build-Depends: debhelper (>= 8.0.0),
  ocaml-nox (>= 3.12.1),
  dh-ocaml (>= 0.9.1),

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/marionnet.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] [lambda-term] branch master updated (960db5f -> 2bb4e9d)

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a change to branch master
in repository lambda-term.

  from  960db5f   Update changelog and prepare upload to unstable
   new  2bb4e9d   d/control: remove myself from Uploaders

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/control | 1 -
 1 file changed, 1 deletion(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/lambda-term.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] [lambda-term] 01/01: d/control: remove myself from Uploaders

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a commit to branch master
in repository lambda-term.

commit 2bb4e9d1c43fc927f183b5f12d5b223c771d0259
Author: Nicolas Dandrimont 
Date:   Thu Jul 27 12:10:37 2017 +0200

d/control: remove myself from Uploaders
---
 debian/control | 1 -
 1 file changed, 1 deletion(-)

diff --git a/debian/control b/debian/control
index 262a94b..e9f1900 100644
--- a/debian/control
+++ b/debian/control
@@ -2,7 +2,6 @@ Source: lambda-term
 Priority: optional
 Maintainer: Debian OCaml Maintainers 
 Uploaders:
- Nicolas Dandrimont ,
  Lifeng Sun ,
  Hilko Bengen ,
 Build-Depends:

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/lambda-term.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] [js-of-ocaml] branch master updated (53cbe24 -> 8aaa250)

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a change to branch master
in repository js-of-ocaml.

  from  53cbe24   Update changelog and prepare upload to unstable
   new  8aaa250   d/control: remove myself from Uploaders

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/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/js-of-ocaml.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] [js-of-ocaml] 01/01: d/control: remove myself from Uploaders

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a commit to branch master
in repository js-of-ocaml.

commit 8aaa2506ebf84fa4d3d6ded83b41288110c41b08
Author: Nicolas Dandrimont 
Date:   Thu Jul 27 12:09:55 2017 +0200

d/control: remove myself from Uploaders
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 670c1f0..365501d 100644
--- a/debian/control
+++ b/debian/control
@@ -2,7 +2,7 @@ Source: js-of-ocaml
 Section: ocaml
 Priority: optional
 Maintainer: Debian OCaml Maintainers 
-Uploaders: Stéphane Glondu , Nicolas Dandrimont 

+Uploaders: Stéphane Glondu 
 Build-Depends:
  debhelper (>= 8),
  dh-ocaml (>= 0.9~),

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/js-of-ocaml.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] [findlib] 01/01: d/control: remove myself from Uploaders

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a commit to branch master
in repository findlib.

commit 7a672937296cd2b9afb2e602ef2f7e2c4c874da7
Author: Nicolas Dandrimont 
Date:   Thu Jul 27 12:08:59 2017 +0200

d/control: remove myself from Uploaders
---
 debian/control | 1 -
 1 file changed, 1 deletion(-)

diff --git a/debian/control b/debian/control
index 54b1f94..3cf0376 100644
--- a/debian/control
+++ b/debian/control
@@ -5,7 +5,6 @@ Maintainer: Debian OCaml Maintainers 

 Uploaders:
  Mehdi Dogguy ,
  Stéphane Glondu ,
- Nicolas Dandrimont ,
  Ximin Luo 
 Build-Depends:
  debhelper (>= 9),

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/findlib.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] [findlib] branch master updated (8b911cb -> 7a67293)

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a change to branch master
in repository findlib.

  from  8b911cb   Update d/changelog
   new  7a67293   d/control: remove myself from Uploaders

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/control | 1 -
 1 file changed, 1 deletion(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/findlib.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] [ocaml-usb] branch master updated (9236f2d -> 47f2335)

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a change to branch master
in repository ocaml-usb.

  from  9236f2d   Update changelog and prepare upload to unstable
   new  47f2335   d/control: remove myself from Uploaders

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/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-usb.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] [ocaml-usb] 01/01: d/control: remove myself from Uploaders

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a commit to branch master
in repository ocaml-usb.

commit 47f2335bb2ff181c748ffb225587e0f809add337
Author: Nicolas Dandrimont 
Date:   Thu Jul 27 12:07:40 2017 +0200

d/control: remove myself from Uploaders
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 9680e41..f9b88ab 100644
--- a/debian/control
+++ b/debian/control
@@ -1,7 +1,7 @@
 Source: ocaml-usb
 Priority: optional
 Maintainer: Debian OCaml Maintainers 
-Uploaders: Stéphane Glondu , Nicolas Dandrimont 

+Uploaders: Stéphane Glondu 
 Build-Depends:
  debhelper (>= 8),
  dh-ocaml (>= 0.9),

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-usb.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] [lwt] 01/01: d/control: remove myself from Uploaders

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a commit to branch master
in repository lwt.

commit ed40c9a453cbe778baaddbdf9f957874f148b6c2
Author: Nicolas Dandrimont 
Date:   Thu Jul 27 12:06:54 2017 +0200

d/control: remove myself from Uploaders
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 7600934..8664938 100644
--- a/debian/control
+++ b/debian/control
@@ -1,7 +1,7 @@
 Source: lwt
 Priority: optional
 Maintainer: Debian OCaml Maintainers 
-Uploaders: Stéphane Glondu , Nicolas Dandrimont 

+Uploaders: Stéphane Glondu 
 Build-Depends:
  debhelper (>= 9),
  dh-ocaml (>= 0.9),

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/lwt.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] [lwt] branch master updated (e3311ff -> ed40c9a)

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a change to branch master
in repository lwt.

  from  e3311ff   Update changelog
   new  ed40c9a   d/control: remove myself from Uploaders

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/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/lwt.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] [obus] branch master updated (1fe2d3e -> 05f5b7d)

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a change to branch master
in repository obus.

  from  1fe2d3e   Merge branch 'ubuntu'
   new  05f5b7d   d/control: remove myself from Uploaders

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/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/obus.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] [obus] 01/01: d/control: remove myself from Uploaders

2017-07-27 Thread Nicolas Dandrimont 
This is an automated email from the git hooks/post-receive script.

olasd pushed a commit to branch master
in repository obus.

commit 05f5b7df946ee2886b62fac435af8be4c4cb4a8e
Author: Nicolas Dandrimont 
Date:   Thu Jul 27 12:01:36 2017 +0200

d/control: remove myself from Uploaders
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index c847926..1c24e56 100644
--- a/debian/control
+++ b/debian/control
@@ -1,7 +1,7 @@
 Source: obus
 Priority: optional
 Maintainer: Debian OCaml Maintainers 
-Uploaders: Stéphane Glondu , Nicolas Dandrimont 

+Uploaders: Stéphane Glondu 
 Build-Depends:
  debhelper (>= 8),
  dh-ocaml (>= 0.9),

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/obus.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] [ocaml-usb] 03/03: Update changelog and prepare upload to unstable

2017-07-27 Thread Stéphane Glondu 
This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository ocaml-usb.

commit 9236f2dc81f8cb2797d209494c140b486c898ed3
Author: Stephane Glondu 
Date:   Thu Jul 27 09:54:12 2017 +0200

Update changelog and prepare upload to unstable
---
 debian/changelog | 7 +++
 1 file changed, 7 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index a1669c8..4e7ce13 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+ocaml-usb (1.3.0-4) unstable; urgency=medium
+
+  * Add ocamlbuild to Build-Depends
+  * Update Vcs-*
+
+ -- Stéphane Glondu   Thu, 27 Jul 2017 09:54:08 +0200
+
 ocaml-usb (1.3.0-3) unstable; urgency=medium
 
   * Add camlp4 to Build-Depends

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-usb.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] [ocaml-usb] 01/03: Add ocamlbuild to Build-Depends

2017-07-27 Thread Stéphane Glondu 
This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository ocaml-usb.

commit cf246635a252ea1a72931d819ae61e9815a4050b
Author: Stephane Glondu 
Date:   Thu Jul 27 09:52:51 2017 +0200

Add ocamlbuild to Build-Depends
---
 debian/control | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/control b/debian/control
index d515574..00c57fa 100644
--- a/debian/control
+++ b/debian/control
@@ -6,6 +6,7 @@ Build-Depends:
  debhelper (>= 8),
  dh-ocaml (>= 0.9),
  ocaml-findlib,
+ ocamlbuild,
  camlp4,
  pkg-config,
  liblwt-ocaml-dev (>= 2.3.0),

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-usb.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] [ocaml-usb] 02/03: Update Vcs-*

2017-07-27 Thread Stéphane Glondu 
This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository ocaml-usb.

commit 6e1a0ee217ea7c4ebeb837c73d6ab3571b44d343
Author: Stephane Glondu 
Date:   Thu Jul 27 09:53:22 2017 +0200

Update Vcs-*
---
 debian/control | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/control b/debian/control
index 00c57fa..9680e41 100644
--- a/debian/control
+++ b/debian/control
@@ -15,8 +15,8 @@ Build-Depends:
 Standards-Version: 3.9.4
 Section: ocaml
 Homepage: http://ocaml-usb.forge.ocamlcore.org/
-Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/ocaml-usb.git
-Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/ocaml-usb.git
+Vcs-Browser: 
https://anonscm.debian.org/git/pkg-ocaml-maint/packages/ocaml-usb.git
+Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/ocaml-usb.git
 
 Package: libusb-ocaml-dev
 Architecture: any

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-usb.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] [ocaml-usb] branch master updated (d838e8f -> 9236f2d)

2017-07-27 Thread Stéphane Glondu 
This is an automated email from the git hooks/post-receive script.

glondu pushed a change to branch master
in repository ocaml-usb.

  from  d838e8f   Prepare upload to unstable
   new  cf24663   Add ocamlbuild to Build-Depends
   new  6e1a0ee   Update Vcs-*
   new  9236f2d   Update changelog and prepare upload to unstable

The 3 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/control   | 5 +++--
 2 files changed, 10 insertions(+), 2 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-usb.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] [ocaml-usb] annotated tag debian/1.3.0-4 created (now 3b9cbc2)

2017-07-27 Thread Stéphane Glondu 
This is an automated email from the git hooks/post-receive script.

glondu pushed a change to annotated tag debian/1.3.0-4
in repository ocaml-usb.

at  3b9cbc2   (tag)
   tagging  9236f2dc81f8cb2797d209494c140b486c898ed3 (commit)
  replaces  debian/1.3.0-3
 tagged by  Stephane Glondu
on  Thu Jul 27 10:36:33 2017 +0200

- Log -
ocaml-usb Debian release 1.3.0-4
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAll5phEACgkQeFPaTUmI
GtN9Xw/+JzZdxsygtHGQkR+DjJQYiBBBRGGR5UcC1GcEg6BoseNVrJ30BdSl2dfv
kFzkZVeRftZ2CkZP6bn+axP+SK+h9f9+Ko2krVBEjUE5KO3kLSExPYyu00+JNjx6
cemWZGUYgyYyeWh/dp/TVVKWtehw8keSlHTh9dfAcGZciVmkHHoNfrcOunEA9JAv
xfQVfRH+lA9nbKXywhHBxeSy52MxImWta3sBRuvuBk5XsjS2Aob6NHu8Sa6FgsPn
ifyEMHvBAmudF5ECnbb9GyBOJUyafasO5eEJ8VQvBUIMJr4iCDgG2YfB5uuYHUKk
sYxvdlqT6ZCIQMtTzQmduc3Er+Ycq4A6I8KhspIKVuMKTQ0dVQ5VPbwyfMlc7LNW
j+b1PRBGDdl25kNTRDJzqMtR14DvFwWBWcG828I+Ydmft5eYxHNK+YBBhNWXG2Ke
RLGMWJwDX4g0t/2c3aZCj9k0vh2rPaJ8L8krTkb31n8ICKE7PChLzccDrK/swVk4
mG/TVq+xMu/QXrZ8hYbp3rxqJBAYe4VOEfFGml1xRzkqBzYOZRQNDKu2guvhBWTV
CgfqPQzriOfShfcXYe9b9wQIkN+FPddRuagfy9jsj7BCk04cv8TVQoRH2xDpGc1U
D+rE/iVL9Bj8Jumg/aBT3sAfdM8ylnHqYbP1LxF1CTSNWZ1hmdk=
=G8f1
-END PGP SIGNATURE-

Stephane Glondu (3):
  Add ocamlbuild to Build-Depends
  Update Vcs-*
  Update changelog and prepare upload to unstable

---

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/ocaml-usb.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