[Pkg-ocaml-maint-commits] [unison] 07/07: Update changelog and prepare upload to unstable

2017-10-30 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 unison.

commit cb08650f8e830672899f8e1438c1fff660958654
Author: Stephane Glondu 
Date:   Mon Oct 30 09:20:06 2017 +0100

Update changelog and prepare upload to unstable
---
 debian/changelog | 9 ++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 9b93784..884a9a3 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,11 @@
-unison (2.48.4-1) UNRELEASED; urgency=medium
+unison (2.48.4-1) unstable; urgency=medium
 
-  * New upstream release
+  * New upstream release (Closes: #878462)
+  * Update Vcs-*
+  * Bump Standards-Version to 4.1.1
+  * Remove menu file
 
- -- Stéphane Glondu   Fri, 27 Oct 2017 08:52:37 +0200
+ -- Stéphane Glondu   Mon, 30 Oct 2017 10:26:00 +0100
 
 unison (2.48.3-1) unstable; urgency=medium
 

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/unison.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] [unison] annotated tag debian/2.48.4-1 created (now 2137e02)

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

glondu pushed a change to annotated tag debian/2.48.4-1
in repository unison.

at  2137e02   (tag)
   tagging  cb08650f8e830672899f8e1438c1fff660958654 (commit)
  replaces  debian/2.48.3-1
 tagged by  Stephane Glondu
on  Mon Oct 30 10:32:22 2017 +0100

- Log -
unison Debian release 2.48.4-1
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAln28acACgkQeFPaTUmI
GtP2GQ/9GCXPg2ogK9lgIBLG322LHF6g80uJp3kKovv3D32/9hJ3urE8xcOfTEoS
CoGjr/tkHFtRgHVEztRH3pnAiVD0Mi4RSBNlrr1YMze+7XRzK0e8QwJqyilam4Qq
vtS4BCixmv0RL/SGuSJwl05zc5thsoBOIOndVQ9729OAAMyA7pEmhNYaQyOef6Vu
Eom5fB799+PmFwYZrZeT15lycne33Md7XIxbfuAUcHmaZbi2c3E5WHcSTTIScWR9
V0XWVCTtbvOgMML+pX1xdgql5izmj/fangyIpdDxy8YF3lIbh3KWTGYBNHM2r7IH
UT00G1A7iLDp6yiXvpvIfhv0M7gxVfgmJzwzWKbUxAQU1T+IwElrMbks2RJObl1m
JP0YKocdxeilBWTGnY54PeqdH6zZc3vExJFroGS0Z35i7aqzuoX15dinbgEroPXt
YQocWaTjmTK9AxcXdoGsFIKyWIasguLWcpKHcJ6V5CmRQ1b+x6hJ2+DWQvdKTh3h
c0PdbdF7RXX8aRuGlDR4M32NV2iq7HH0bqYcuPQYZ0WENR4KWZ5vN21zdw7Wt9fO
ovER9+gHmkX9ubGbCWsr/HOXC5PnuIJPEZ3NM2mAg+zfSij1YQ473dyvPLF50YQa
CE6HL7tDdOzWU0dyZpzh+D57jvoLDDrmimcMhsKoW/ODZQzK1Gk=
=Kk8Z
-END PGP SIGNATURE-

Stephane Glondu (7):
  New upstream version 2.48.4
  Update upstream source from tag 'upstream/2.48.4'
  New upstream release
  Update Vcs-*
  Bump Standards-Version to 4.1.1
  Remove menu file
  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/unison.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] [unison] 04/07: Update Vcs-*

2017-10-30 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 unison.

commit 6ee371b191c6a8e2bf0b792c77d4ea15650765f2
Author: Stephane Glondu 
Date:   Mon Oct 30 09:44:37 2017 +0100

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

diff --git a/debian/control b/debian/control
index 16bcb32..1bc1f3e 100644
--- a/debian/control
+++ b/debian/control
@@ -13,8 +13,8 @@ Build-Depends: cdbs (>= 0.4.23),
  imagemagick,
  dh-ocaml (>= 0.9.1)
 Standards-Version: 3.9.6
-Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/unison.git
-Vcs-Browser: 
https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/unison.git
+Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/unison.git
+Vcs-Browser: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/unison.git
 Homepage: http://www.cis.upenn.edu/~bcpierce/unison/
 
 Package: unison

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/unison.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] [unison] 03/07: New upstream release

2017-10-30 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 unison.

commit d2fd9d3c57583a28395a7ea5d694e4bf53fac192
Author: Stephane Glondu 
Date:   Fri Oct 27 08:52:44 2017 +0200

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

diff --git a/debian/changelog b/debian/changelog
index e92fe15..9b93784 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+unison (2.48.4-1) UNRELEASED; urgency=medium
+
+  * New upstream release
+
+ -- Stéphane Glondu   Fri, 27 Oct 2017 08:52:37 +0200
+
 unison (2.48.3-1) unstable; urgency=medium
 
   * New upstream release (Closes: #705318)

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

2017-10-30 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 unison.

  from  e726782   Update changelog and prepare upload to unstable
   new  9994bd1   New upstream version 2.48.4
   new  39c5629   Update upstream source from tag 'upstream/2.48.4'
   new  d2fd9d3   New upstream release
   new  6ee371b   Update Vcs-*
   new  ad6e451   Bump Standards-Version to 4.1.1
   new  4df829b   Remove menu file
   new  cb08650   Update changelog and prepare upload to unstable

The 7 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:
 .gitignore |   11 +
 NEWS   |2 +-
 RECENTNEWS |   27 +
 abort.ml   |2 +-
 bytearray.ml   |2 +-
 bytearray.mli  |2 +-
 bytearray_stubs.c  |2 +-
 case.ml|2 +-
 case.mli   |2 +-
 checksum.ml|2 +-
 checksum.mli   |2 +-
 clroot.ml  |2 +-
 clroot.mli |2 +-
 common.ml  |2 +-
 common.mli |2 +-
 copy.ml|2 +-
 debian/changelog   |9 +
 debian/control |6 +-
 debian/copyright   |3 +-
 debian/rules   |1 -
 debian/unison-gtk.menu.in  |4 -
 external.ml|2 +-
 external.mli   |2 +-
 fileinfo.ml|2 +-
 fileinfo.mli   |2 +-
 files.ml   |2 +-
 files.mli  |2 +-
 fileutil.ml|2 +-
 fileutil.mli   |2 +-
 fingerprint.ml |2 +-
 fingerprint.mli|2 +-
 fpcache.ml |2 +-
 fpcache.mli|2 +-
 fs.ml  |2 +-
 fs.mli |2 +-
 fsmonitor/.gitignore   |1 +
 fsmonitor/linux/.gitignore |1 +
 fsmonitor/windows/.gitignore   |1 +
 fspath.ml  |2 +-
 fspath.mli |2 +-
 fswatch.ml |2 +-
 fswatch.mli|2 +-
 fswatchold.ml  |2 +-
 globals.ml |2 +-
 globals.mli|2 +-
 linkgtk.ml |2 +-
 linkgtk2.ml|2 +-
 linktext.ml|2 +-
 lock.ml|2 +-
 lock.mli   |2 +-
 lwt/.gitignore |4 +
 lwt/depend |   12 +
 lwt/generic/.gitignore |3 +
 lwt/pqueue.ml  |2 +-
 lwt/pqueue.mli |2 +-
 lwt/win/.gitignore |3 +
 main.ml|2 +-
 mkProjectInfo.ml   |4 +-
 name.ml|2 +-
 name.mli   |2 +-
 os.ml  |2 +-
 os.mli |2 +-
 osx.ml |2 +-
 osx.mli|2 +-
 path.ml|2 +-
 path.mli   |2 +-
 pixmaps.ml |2 +-
 pred.ml|2 +-
 pred.mli   |2 +-
 props.ml   |2 +-
 props.mli  |2 +-
 recon.ml   |2 +-
 recon.mli  |2 +-
 remote.ml  |9 +-
 remote.mli |2 +-
 sortri.ml  |2 +-
 sortri.mli |2 +-
 stasher.ml

[Pkg-ocaml-maint-commits] [unison] 05/07: Bump Standards-Version to 4.1.1

2017-10-30 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 unison.

commit ad6e4510da9e283b4808e564df34839970bec16f
Author: Stephane Glondu 
Date:   Mon Oct 30 09:52:43 2017 +0100

Bump Standards-Version to 4.1.1
---
 debian/control   | 2 +-
 debian/copyright | 3 +--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/debian/control b/debian/control
index 1bc1f3e..18a42b0 100644
--- a/debian/control
+++ b/debian/control
@@ -12,7 +12,7 @@ Build-Depends: cdbs (>= 0.4.23),
  librsvg2-bin (>= 2.18.2),
  imagemagick,
  dh-ocaml (>= 0.9.1)
-Standards-Version: 3.9.6
+Standards-Version: 4.1.1
 Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/unison.git
 Vcs-Browser: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/unison.git
 Homepage: http://www.cis.upenn.edu/~bcpierce/unison/
diff --git a/debian/copyright b/debian/copyright
index e4e21a7..1d1fa1a 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,6 +1,5 @@
-Format: http://anonscm.debian.org/viewvc/dep/web/deps/dep5.mdwn?revision=202
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
 Upstream-Contact: Benjamin Pierce 
-Source: http://www.cis.upenn.edu/~bcpierce/unison/download/stable/
 
 Files: *
 Copyright: 1999-2015, Benjamin Pierce et al

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

2017-10-16 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 lwt.

commit b957203909717848316e00debdd54827c1222961
Author: Stephane Glondu 
Date:   Mon Oct 16 10:32:57 2017 +0200

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

diff --git a/debian/changelog b/debian/changelog
index 1566f94..5e7435d 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+lwt (2.7.1-4) unstable; urgency=medium
+
+  * Disable two tests that hang or fail on arm64 (Closes: #878495)
+
+ -- Stéphane Glondu   Mon, 16 Oct 2017 10:32:50 +0200
+
 lwt (2.7.1-3) unstable; urgency=medium
 
   * Properly fix installation on bytecode architectures (Closes:

-- 
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] 01/02: Disable two tests that hang or fail on arm64 (Closes: #878495)

2017-10-16 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 lwt.

commit 216fec8fc0ac4127e7a73a1eec334a4ec82a3fbb
Author: Stephane Glondu 
Date:   Mon Oct 16 10:32:43 2017 +0200

Disable two tests that hang or fail on arm64 (Closes: #878495)
---
 ...able-two-tests-that-hang-or-fail-on-arm64.patch | 45 ++
 debian/patches/series  |  1 +
 2 files changed, 46 insertions(+)

diff --git 
a/debian/patches/0002-Disable-two-tests-that-hang-or-fail-on-arm64.patch 
b/debian/patches/0002-Disable-two-tests-that-hang-or-fail-on-arm64.patch
new file mode 100644
index 000..1434fe1
--- /dev/null
+++ b/debian/patches/0002-Disable-two-tests-that-hang-or-fail-on-arm64.patch
@@ -0,0 +1,45 @@
+From: Stephane Glondu 
+Date: Mon, 16 Oct 2017 10:31:23 +0200
+Subject: Disable two tests that hang or fail on arm64
+
+Bug-Debian: https://bugs.debian.org/878495
+---
+ tests/unix/test_lwt_io.ml | 4 
+ 1 file changed, 4 insertions(+)
+
+diff --git a/tests/unix/test_lwt_io.ml b/tests/unix/test_lwt_io.ml
+index ba59994..34dd91e 100644
+--- a/tests/unix/test_lwt_io.ml
 b/tests/unix/test_lwt_io.ml
+@@ -160,6 +160,7 @@ let suite = suite "lwt_io" [
+   Lwt.return (!sent = [Bytes.of_string "foobar"]))
+  oc);
+ 
++(*
+   (* Without the corresponding bugfix, which is to handle ENOTCONN from
+  Lwt_unix.shutdown, this test raises an exception from the handler's calls
+  to close. *)
+@@ -185,6 +186,7 @@ let suite = suite "lwt_io" [
+   Lwt.wakeup client_finished ();
+   Lwt_io.Versioned.shutdown_server_2 server >>= fun () ->
+   handler);
++*)
+ 
+   (* Counterpart to establish_server: shutdown test. Confirms that shutdown is
+  implemented correctly in open_connection. *)
+@@ -332,6 +334,7 @@ let suite = suite "lwt_io" [
+   run >|= fun () ->
+   !exceptions_observed = 2);
+ 
++(*
+   (* Screws up the open sockets so closing them fails with EBADF. Then, raises
+  an exception from the handler. Checks that the handler exception arrives
+  at Lwt.async_exception_hook before the exceptions from implicit close. *)
+@@ -359,6 +362,7 @@ let suite = suite "lwt_io" [
+ 
+   with_async_exception_hook see_exception run >|= fun () ->
+   !exceptions_observed = 3 && !correct_exceptions);
++*)
+ 
+   test "with_connection"
+ (fun () ->
diff --git a/debian/patches/series b/debian/patches/series
index 5b5e1e4..8070877 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 0001-Fix-installation-on-bytecode-architectures.patch
+0002-Disable-two-tests-that-hang-or-fail-on-arm64.patch

-- 
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] annotated tag debian/2.7.1-4 created (now 28a9fd1)

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

glondu pushed a change to annotated tag debian/2.7.1-4
in repository lwt.

at  28a9fd1   (tag)
   tagging  b957203909717848316e00debdd54827c1222961 (commit)
  replaces  debian/2.7.1-3
 tagged by  Stephane Glondu
on  Mon Oct 16 10:48:04 2017 +0200

- Log -
lwt Debian release 2.7.1-4
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnkckQACgkQeFPaTUmI
GtOAIA//ZuXuyOd1i74ZJmNObU0dv9BstNz1Nm/UAsOti44RJZi5PdgExFwVGezf
ADizU83oI0MiejdcsNu9nsAgsQBc5ZT7gS8qSCoCNDIYVDG43qYVTWrtfkRY1Gtg
DzFl1SafGKFBZ4ocoC9A6jyZYFv0fDCPCdNH4G+t5R1XJBOCcNvVhdS8HuIZQPuo
iIdzHyEiNpHGC5d59PsNb+LVb7hVCX/I1YiC7t3yJ2gn1L/zjrOz/3gptpv6ymWk
J92o5rxSOg9W3Ga/YPoDVxkVXwB914xAcyvsyPQnjs/oyQh0HClmA2QEVtvpCtNv
QcIcp40hN1/5GPR2Ij6CmhKvAQ0GgXRyY4y4z04JsU0CJ8+LYgyZXEaHAi2dkxUX
3N3i1xnn3EaphUTfsZE/NuEpc3QlMgFabOdeXnJIQkGJ37M+ebmT6D2D3xUKxFMM
AECFS6ZbHsVX768yfCLOrLSHpCCmI0irFaTef4FInHhbjAbg4Ea1XZuVFNHGg5mG
ShmogsB63RZkmJMBTJ/SYMdPc3WlLA7JW7Yg4leGXvJxefneBjdfYEuABHufMj9U
jcGPV2K1i0WxBfFeA/0cK0CEUmZBYfcQufEqRbJnhqspsieh3efTyyDtGMJuV9fH
c+1fQQbxssU9v/SvAQPjNNjdH+1m6sxhxFOl4/ZrLyxPbJtFRSw=
=/11F
-END PGP SIGNATURE-

Stephane Glondu (2):
  Disable two tests that hang or fail on arm64 (Closes: #878495)
  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/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 (2576783 -> b957203)

2017-10-16 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 lwt.

  from  2576783   Update changelog and prepare upload to unstable
   new  216fec8   Disable two tests that hang or fail on arm64 (Closes: 
#878495)
   new  b957203   Update changelog and prepare upload to unstable

The 2 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   |  6 +++
 ...able-two-tests-that-hang-or-fail-on-arm64.patch | 45 ++
 debian/patches/series  |  1 +
 3 files changed, 52 insertions(+)
 create mode 100644 
debian/patches/0002-Disable-two-tests-that-hang-or-fail-on-arm64.patch

-- 
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] annotated tag debian/2.7.1-3 created (now 1312c84)

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

glondu pushed a change to annotated tag debian/2.7.1-3
in repository lwt.

at  1312c84   (tag)
   tagging  2576783429f89b0f287dfed7005bb690a62315bb (commit)
  replaces  debian/2.7.1-2
 tagged by  Stephane Glondu
on  Fri Oct 13 15:17:35 2017 +0200

- Log -
lwt Debian release 2.7.1-3
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlngvO8ACgkQeFPaTUmI
GtPisxAAgg9BBdFZewoSk+5DpigZRYF+tPHRJT/jOmzaNdv2prBKOk1zaE2cJrt1
lWBKexCSpCiUu+teVANgx0FYWEVkrl19MT0qLj9IMsgBFDETdN8Ukdt+4REh6gCa
nuWLKkG41J3dTwNaQNJBdpoNlZN27YnV8+zh21RzUWa8cabk4P/rIuPmT/rt+3KV
12Le9rZHrVn4ZvyOnvIF2k58ozDcSaX/P5wTfsPbY0iAEbR5F0e+spSkQFl/pI6a
8ysQ0CLQMTi3Ip3gv5gh20w0m515T9973EJq7tcUvaroNBFSmCnnjpymckw0takc
SZVR4wa/SBViC/Pa+JTWdiu3c20LQ0NsFgLLSOOqj7GWq5yPGF8GhcIpIPeyR3Gm
uqd3da8b/tq1v/4G2HfbXqHbumZmIkB0aMlCohRJbW5j05blyq6mfGe6Q9atlVlU
Wtj85TKpdK20WUxtF0t8sGQhIF9HX3T/TS4kYoFItFw3eIfqciQyca79JA0YHChd
bTBqHI0yB55QCcD4Xe1ihYsET9CdVjDv95twbSLgmknLce386Xjkl7zYUR3Hjea/
ynD3pUv3pTaRV/VjbCH7rV7zO41GhRpxwE32amZESyQYQ52IJIX4BrVveIIRPZD8
HSxl91rtrbzZVIRI+IIwDEqa7Zzzc7MmsmVg+gCD+8hM6742UYU=
=PER6
-END PGP SIGNATURE-

Stephane Glondu (2):
  Properly fix installation on bytecode architectures (Closes: #878236)
  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/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] 01/02: Properly fix installation on bytecode architectures (Closes: #878236)

2017-10-13 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 lwt.

commit 506f321ca0d52030ec522ddd71c44ed4ebfded89
Author: Stephane Glondu 
Date:   Fri Oct 13 14:45:18 2017 +0200

Properly fix installation on bytecode architectures (Closes: #878236)
---
 ...ix-installation-on-bytecode-architectures.patch | 28 +++---
 1 file changed, 14 insertions(+), 14 deletions(-)

diff --git 
a/debian/patches/0001-Fix-installation-on-bytecode-architectures.patch 
b/debian/patches/0001-Fix-installation-on-bytecode-architectures.patch
index cab0463..564ebbd 100644
--- a/debian/patches/0001-Fix-installation-on-bytecode-architectures.patch
+++ b/debian/patches/0001-Fix-installation-on-bytecode-architectures.patch
@@ -4,19 +4,19 @@ Subject: Fix installation on bytecode architectures
 
 Bug-Debian: https://bugs.debian.org/878236
 ---
- myocamlbuild.ml | 2 +-
+ setup.ml | 2 +-
  1 file changed, 1 insertion(+), 1 deletion(-)
 
-diff --git a/myocamlbuild.ml b/myocamlbuild.ml
-index 0b8b171..0a540dc 100644
 a/myocamlbuild.ml
-+++ b/myocamlbuild.ml
-@@ -851,7 +851,7 @@ module MyOCamlbuildBase = struct
-flag ["link"; "library"; "ocaml"; "native"; tag_libstubs 
lib]
-  (S[A"-cclib"; A("-l"^(nm_libstubs lib))]);
- 
--   if bool_of_string (BaseEnvLight.var_get "native_dynlink" 
env) then
-+   if true || bool_of_string (BaseEnvLight.var_get 
"native_dynlink" env) then
-  flag ["link"; "program"; "ocaml"; "byte"; tag_libstubs 
lib]
-  (S[A"-dllib"; A("dll"^(nm_libstubs lib))]);
- 
+diff --git a/setup.ml b/setup.ml
+index 50f5804..34cfb07 100644
+--- a/setup.ml
 b/setup.ml
+@@ -2449,7 +2449,7 @@ module OASISLibrary = struct
+   if bs.bs_c_sources <> [] then begin
+ ["lib"^cs.cs_name^"_stubs"^ext_lib]
+ ::
+-if has_native_dynlink then
++if true || has_native_dynlink then
+   ["dll"^cs.cs_name^"_stubs"^ext_dll] :: acc_nopath
+ else
+   acc_nopath

-- 
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] 02/02: Update changelog and prepare upload to unstable

2017-10-13 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 lwt.

commit 2576783429f89b0f287dfed7005bb690a62315bb
Author: Stephane Glondu 
Date:   Fri Oct 13 14:45:38 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 a2679f0..1566f94 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+lwt (2.7.1-3) unstable; urgency=medium
+
+  * Properly fix installation on bytecode architectures (Closes:
+#878236)
+
+ -- Stéphane Glondu   Fri, 13 Oct 2017 14:45:33 +0200
+
 lwt (2.7.1-2) unstable; urgency=medium
 
   * Fix installation on bytecode architectures (Closes: #878236)

-- 
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 (8938d00 -> 2576783)

2017-10-13 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 lwt.

  from  8938d00   Update changelog and prepare upload to unstable
   new  506f321   Properly fix installation on bytecode architectures 
(Closes: #878236)
   new  2576783   Update changelog and prepare upload to unstable

The 2 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 ++
 ...ix-installation-on-bytecode-architectures.patch | 28 +++---
 2 files changed, 21 insertions(+), 14 deletions(-)

-- 
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] [jbuilder] branch upstream updated (b489f29 -> cad24b1)

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

glondu pushed a change to branch upstream
in repository jbuilder.

  from  b489f29   New upstream version 1.0~beta11
   new  1e516b3   New upstream version 1.0~beta12
   new  9b85974   New upstream version 1.0~beta13
   new  cad24b1   New upstream version 1.0~beta14

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:
 CHANGES.md |  81 +++
 README.md  |  11 +-
 appveyor.yml   |   4 +-
 bin/main.ml| 154 +
 bootstrap.ml   | 179 +++
 doc/jbuild |   9 +
 doc/jbuild.rst | 127 +--
 doc/quick-start.rst|   8 +-
 doc/usage.rst  |  71 --
 example/jbuild |  32 +--
 example/sample-projects/hello_world/run.t  |  13 ++
 example/sample-projects/hello_world/test/jbuild|   2 +-
 example/sample-projects/with-configure-step/jbuild |   3 +-
 example/sample-projects/with-configure-step/run.t  |   8 +
 install_ocaml.cmd  |  36 +++
 jbuilder.opam  |   2 +-
 src/action.ml  |  83 ---
 src/action_intf.ml |   4 +-
 src/alias.ml   |   6 +-
 src/arg_spec.ml|  14 --
 src/arg_spec.mli   |   2 -
 src/build.ml   |  20 +-
 src/build.mli  |   9 +-
 src/build_interpret.ml |  17 +-
 src/build_interpret.mli|  20 +-
 src/build_system.ml| 251 +
 src/build_system.mli   |   2 +
 src/context.ml |  28 ++-
 src/context.mli|   1 +
 src/findlib.ml |  12 +-
 src/findlib.mli|   4 +-
 src/future.ml  |  52 +
 src/future.mli |   7 +
 src/gen_meta.ml|  57 +++--
 src/gen_rules.ml   | 224 +-
 src/glob_lexer.boot.ml |   4 +
 src/import.ml  |   6 +
 src/jbuild.ml  | 157 -
 src/jbuild.mli |  53 -
 src/jbuild_load.ml |   4 +-
 src/js_of_ocaml_rules.ml   |  49 ++--
 src/js_of_ocaml_rules.mli  |   5 +-
 src/lib.ml |   6 +-
 src/loc.ml |   5 +
 src/loc.mli|   1 +
 src/main.ml|   7 +
 src/main.mli   |   2 +
 src/merlin.ml  |  47 ++--
 src/merlin.mli |   7 +-
 src/module_compilation.ml  |  15 +-
 src/module_compilation.mli |   2 +
 src/ocaml_flags.ml |  34 ++-
 src/ocaml_flags.mli|  15 +-
 src/odoc.ml|  45 +++-
 src/odoc.mli   |   2 +
 src/ordered_set_lang.ml| 141 
 src/ordered_set_lang.mli   |   6 +-
 src/path.ml|  53 +++--
 src/path.mli   |  14 +-
 src/sexp.ml|   6 +
 src/sexp.mli   |   1 +
 src/string_with_vars.ml|   2 +-
 src/super_context.ml   |  22 +-
 src/super_context.mli  |  27 ++-
 src/utils.ml   |  77 +++
 src/utils.mli  |  16 +-
 src/utop.ml|  92 
 src/utop.mli   |  26 +++
 src/workspace.ml   |   5 +
 test/README.md |  50 
 

[Pkg-ocaml-maint-commits] [jbuilder] 07/07: Prepare upload to unstable

2017-10-12 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 jbuilder.

commit 0115bbaeefe988a464e1ca10f09e8bdcf690a6ce
Author: Stephane Glondu 
Date:   Thu Oct 12 10:18:49 2017 +0200

Prepare upload to unstable
---
 debian/changelog | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 521ea01..09a4687 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,8 @@
-jbuilder (1.0~beta14-1) UNRELEASED; urgency=medium
+jbuilder (1.0~beta14-1) unstable; urgency=medium
 
   * New upstream release
 
- -- Stéphane Glondu   Thu, 12 Oct 2017 10:15:45 +0200
+ -- Stéphane Glondu   Thu, 12 Oct 2017 10:18:46 +0200
 
 jbuilder (1.0~beta11-1) unstable; urgency=medium
 

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/jbuilder.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] [jbuilder] 06/07: Update packaging

2017-10-12 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 jbuilder.

commit 90cd8997a9a19682017b41af0bafa25b758dbf4f
Author: Stephane Glondu 
Date:   Thu Oct 12 10:22:48 2017 +0200

Update packaging
---
 debian/jbuilder.manpages | 1 +
 debian/jbuilder.opam-install | 1 +
 2 files changed, 2 insertions(+)

diff --git a/debian/jbuilder.manpages b/debian/jbuilder.manpages
index 25aff03..b824ef4 100644
--- a/debian/jbuilder.manpages
+++ b/debian/jbuilder.manpages
@@ -9,3 +9,4 @@ _build/install/default/man/man1/jbuilder-rules.1
 _build/install/default/man/man1/jbuilder-runtest.1
 _build/install/default/man/man1/jbuilder-subst.1
 _build/install/default/man/man1/jbuilder-uninstall.1
+_build/install/default/man/man1/jbuilder-utop.1
diff --git a/debian/jbuilder.opam-install b/debian/jbuilder.opam-install
index b30d18c..e955354 100644
--- a/debian/jbuilder.opam-install
+++ b/debian/jbuilder.opam-install
@@ -22,4 +22,5 @@ man: [
   "_build/install/default/man/man1/jbuilder-runtest.1"
   "_build/install/default/man/man1/jbuilder-subst.1"
   "_build/install/default/man/man1/jbuilder-uninstall.1"
+  "_build/install/default/man/man1/jbuilder-utop.1"
 ]

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/jbuilder.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] [jbuilder] annotated tag upstream/1.0_beta14 created (now 2d00642)

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

glondu pushed a change to annotated tag upstream/1.0_beta14
in repository jbuilder.

at  2d00642   (tag)
   tagging  cad24b13ca60155cd82df5b96e00545fe9d3ccdc (commit)
  replaces  upstream/1.0_beta13
 tagged by  Stephane Glondu
on  Thu Oct 12 10:15:39 2017 +0200

- Log -
Upstream version 1.0~beta14

Stephane Glondu (1):
  New upstream version 1.0~beta14

---

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/jbuilder.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] [jbuilder] annotated tag debian/1.0_beta14-1 created (now ffe83b0)

2017-10-12 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.0_beta14-1
in repository jbuilder.

at  ffe83b0   (tag)
   tagging  0115bbaeefe988a464e1ca10f09e8bdcf690a6ce (commit)
  replaces  upstream/1.0_beta14
 tagged by  Stephane Glondu
on  Thu Oct 12 11:12:26 2017 +0200

- Log -
jbuilder Debian release 1.0~beta14-1
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnfMfoACgkQeFPaTUmI
GtMWkxAAomZZ9prfoXbmMWqkM7vikJrzpQbiz8vHDmY6IECI+/tlTf3ZXlMYA94/
6PF0RryhQeA3Tlm/wDg8clyLZ0QO+V00oHtqvLh94HkXshtI1xICJ5VOW39hors+
RfoP886X6N7xpREo7bccUcP7tTtG4Geb5LpdL8pe4U0rcx9jLAUyM4JdCOvDsarS
NT40rVXUj3DzJKSY++bZ55yrXCZDyncmDFTH43BoppzKEoo4ViHQbobKKHF3zxO6
0ApUnZrVhTYt6/NVNl7g+SqDmufYdG625Xkgh37JzMAup5TCD7EHaYwUL8H7lFIC
/R7gaQgVQvnjVWqi+eJ/B3rEUUsLAFor3uVxx6Y1k1YOvPB+mXtZY741zDV4Cb/z
9qzold/nC3QUYZ4e4EmmnZTXXBu+ojCgLmxXDT818ST8KU2gEDI9U4m7A6S4fAZZ
555iXdghun2ZqtXTGmA506kecYU8cAERp3XXGy+UDBNAu19T6Mh2yudTtHqGxdGV
SKnzi3VjxVf68EE9/ssUAbMCXy9mkkkqFLa6fzarau6tBqO4D8OexqqNxrusHVvo
PvsliDTvg6rVd6NmtUeekWx0hHnjjTQn3r6iFlRQdU7jCe5RGwRPjSEThn6bvnni
yuTQPMN9f5SiBPh0SLk0u0zR0aEfsrBiTeRHe/w8/sp5pCJ81RA=
=/Fjd
-END PGP SIGNATURE-

Stephane Glondu (6):
  Initial packaging
  Prepare upload to unstable
  Updated version 1.0~beta14 from 'upstream/1.0_beta14'
  New upstream release
  Update packaging
  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/jbuilder.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] [jbuilder] 04/07: Updated version 1.0~beta14 from 'upstream/1.0_beta14'

2017-10-12 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 jbuilder.

commit 64236f4a4f031dd65d507eb35cb8f24b5b0ad93d
Merge: e5ba6d8 cad24b1
Author: Stephane Glondu 
Date:   Thu Oct 12 10:15:39 2017 +0200

Updated version 1.0~beta14 from 'upstream/1.0_beta14'

with Debian dir 9e4e79f16b0808cff46f3d4668886e494b0cb493

 CHANGES.md |  81 +++
 README.md  |  11 +-
 appveyor.yml   |   4 +-
 bin/main.ml| 154 +
 bootstrap.ml   | 179 +++
 doc/jbuild |   9 +
 doc/jbuild.rst | 127 +--
 doc/quick-start.rst|   8 +-
 doc/usage.rst  |  71 --
 example/jbuild |  32 +--
 example/sample-projects/hello_world/run.t  |  13 ++
 example/sample-projects/hello_world/test/jbuild|   2 +-
 example/sample-projects/with-configure-step/jbuild |   3 +-
 example/sample-projects/with-configure-step/run.t  |   8 +
 install_ocaml.cmd  |  36 +++
 jbuilder.opam  |   2 +-
 src/action.ml  |  83 ---
 src/action_intf.ml |   4 +-
 src/alias.ml   |   6 +-
 src/arg_spec.ml|  14 --
 src/arg_spec.mli   |   2 -
 src/build.ml   |  20 +-
 src/build.mli  |   9 +-
 src/build_interpret.ml |  17 +-
 src/build_interpret.mli|  20 +-
 src/build_system.ml| 251 +
 src/build_system.mli   |   2 +
 src/context.ml |  28 ++-
 src/context.mli|   1 +
 src/findlib.ml |  12 +-
 src/findlib.mli|   4 +-
 src/future.ml  |  52 +
 src/future.mli |   7 +
 src/gen_meta.ml|  57 +++--
 src/gen_rules.ml   | 224 +-
 src/glob_lexer.boot.ml |   4 +
 src/import.ml  |   6 +
 src/jbuild.ml  | 157 -
 src/jbuild.mli |  53 -
 src/jbuild_load.ml |   4 +-
 src/js_of_ocaml_rules.ml   |  49 ++--
 src/js_of_ocaml_rules.mli  |   5 +-
 src/lib.ml |   6 +-
 src/loc.ml |   5 +
 src/loc.mli|   1 +
 src/main.ml|   7 +
 src/main.mli   |   2 +
 src/merlin.ml  |  47 ++--
 src/merlin.mli |   7 +-
 src/module_compilation.ml  |  15 +-
 src/module_compilation.mli |   2 +
 src/ocaml_flags.ml |  34 ++-
 src/ocaml_flags.mli|  15 +-
 src/odoc.ml|  45 +++-
 src/odoc.mli   |   2 +
 src/ordered_set_lang.ml| 141 
 src/ordered_set_lang.mli   |   6 +-
 src/path.ml|  53 +++--
 src/path.mli   |  14 +-
 src/sexp.ml|   6 +
 src/sexp.mli   |   1 +
 src/string_with_vars.ml|   2 +-
 src/super_context.ml   |  22 +-
 src/super_context.mli  |  27 ++-
 src/utils.ml   |  77 +++
 src/utils.mli  |  16 +-
 src/utop.ml|  92 
 src/utop.mli   |  26 +++
 src/workspace.ml   |   5 +
 test/README.md |  50 
 test/blackbox-tests/cram.mll   |  49 
 test/blackbox-tests/jbuild |  73 ++
 test/blackbox-tests/jbuild-ignore  |   1 +
 test/blackbox-tests/tes

[Pkg-ocaml-maint-commits] [jbuilder] 05/07: New upstream release

2017-10-12 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 jbuilder.

commit d5b030108ee43499b3c8fef61443316fe71ccb61
Author: Stephane Glondu 
Date:   Thu Oct 12 10:15:56 2017 +0200

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

diff --git a/debian/changelog b/debian/changelog
index b4d1a63..521ea01 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+jbuilder (1.0~beta14-1) UNRELEASED; urgency=medium
+
+  * New upstream release
+
+ -- Stéphane Glondu   Thu, 12 Oct 2017 10:15:45 +0200
+
 jbuilder (1.0~beta11-1) unstable; urgency=medium
 
   * Initial release (Closes: #870130)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/jbuilder.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] [jbuilder] 02/03: pristine-tar data for jbuilder_1.0~beta13.orig.tar.bz2

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

glondu pushed a commit to branch pristine-tar
in repository jbuilder.

commit fba70c5be40cf1d128658f3c975a737ff3eab5d7
Author: Stephane Glondu 
Date:   Thu Oct 12 10:15:30 2017 +0200

pristine-tar data for jbuilder_1.0~beta13.orig.tar.bz2
---
 jbuilder_1.0~beta13.orig.tar.bz2.delta | Bin 0 -> 7159 bytes
 jbuilder_1.0~beta13.orig.tar.bz2.id|   1 +
 2 files changed, 1 insertion(+)

diff --git a/jbuilder_1.0~beta13.orig.tar.bz2.delta 
b/jbuilder_1.0~beta13.orig.tar.bz2.delta
new file mode 100644
index 000..79aa983
Binary files /dev/null and b/jbuilder_1.0~beta13.orig.tar.bz2.delta differ
diff --git a/jbuilder_1.0~beta13.orig.tar.bz2.id 
b/jbuilder_1.0~beta13.orig.tar.bz2.id
new file mode 100644
index 000..b56f665
--- /dev/null
+++ b/jbuilder_1.0~beta13.orig.tar.bz2.id
@@ -0,0 +1 @@
+9dd0eace8b02ebcc1bf6fd0f172ca9f76b7ad0c5

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/jbuilder.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] [jbuilder] annotated tag upstream/1.0_beta12 created (now 2fcbeb3)

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

glondu pushed a change to annotated tag upstream/1.0_beta12
in repository jbuilder.

at  2fcbeb3   (tag)
   tagging  1e516b3be9fc683c0a6b67d09907204ecfc24e48 (commit)
  replaces  upstream/1.0_beta11
 tagged by  Stephane Glondu
on  Thu Oct 12 10:15:24 2017 +0200

- Log -
Upstream version 1.0~beta12

Stephane Glondu (1):
  New upstream version 1.0~beta12

---

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/jbuilder.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] [jbuilder] branch pristine-tar updated (317dcc4 -> 4220428)

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

glondu pushed a change to branch pristine-tar
in repository jbuilder.

  from  317dcc4   pristine-tar data for jbuilder_1.0~beta11.orig.tar.bz2
   new  5457bb7   pristine-tar data for jbuilder_1.0~beta12.orig.tar.bz2
   new  fba70c5   pristine-tar data for jbuilder_1.0~beta13.orig.tar.bz2
   new  4220428   pristine-tar data for jbuilder_1.0~beta14.orig.tar.bz2

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:
 jbuilder_1.0~beta12.orig.tar.bz2.delta | Bin 0 -> 6787 bytes
 jbuilder_1.0~beta12.orig.tar.bz2.id|   1 +
 jbuilder_1.0~beta13.orig.tar.bz2.delta | Bin 0 -> 7159 bytes
 jbuilder_1.0~beta13.orig.tar.bz2.id|   1 +
 jbuilder_1.0~beta14.orig.tar.bz2.delta | Bin 0 -> 7627 bytes
 jbuilder_1.0~beta14.orig.tar.bz2.id|   1 +
 6 files changed, 3 insertions(+)
 create mode 100644 jbuilder_1.0~beta12.orig.tar.bz2.delta
 create mode 100644 jbuilder_1.0~beta12.orig.tar.bz2.id
 create mode 100644 jbuilder_1.0~beta13.orig.tar.bz2.delta
 create mode 100644 jbuilder_1.0~beta13.orig.tar.bz2.id
 create mode 100644 jbuilder_1.0~beta14.orig.tar.bz2.delta
 create mode 100644 jbuilder_1.0~beta14.orig.tar.bz2.id

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/jbuilder.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] [jbuilder] 03/03: pristine-tar data for jbuilder_1.0~beta14.orig.tar.bz2

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

glondu pushed a commit to branch pristine-tar
in repository jbuilder.

commit 4220428d86c694f3a93c845a0c41404c308e0f14
Author: Stephane Glondu 
Date:   Thu Oct 12 10:15:38 2017 +0200

pristine-tar data for jbuilder_1.0~beta14.orig.tar.bz2
---
 jbuilder_1.0~beta14.orig.tar.bz2.delta | Bin 0 -> 7627 bytes
 jbuilder_1.0~beta14.orig.tar.bz2.id|   1 +
 2 files changed, 1 insertion(+)

diff --git a/jbuilder_1.0~beta14.orig.tar.bz2.delta 
b/jbuilder_1.0~beta14.orig.tar.bz2.delta
new file mode 100644
index 000..801a605
Binary files /dev/null and b/jbuilder_1.0~beta14.orig.tar.bz2.delta differ
diff --git a/jbuilder_1.0~beta14.orig.tar.bz2.id 
b/jbuilder_1.0~beta14.orig.tar.bz2.id
new file mode 100644
index 000..daf9f0c
--- /dev/null
+++ b/jbuilder_1.0~beta14.orig.tar.bz2.id
@@ -0,0 +1 @@
+16a99170c52ce4c21e0d6d308a3e83d74768922c

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/jbuilder.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] [jbuilder] annotated tag upstream/1.0_beta13 created (now fba1b86)

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

glondu pushed a change to annotated tag upstream/1.0_beta13
in repository jbuilder.

at  fba1b86   (tag)
   tagging  9b859742648829ab2c8f211d6583ad98511a0a03 (commit)
  replaces  upstream/1.0_beta12
 tagged by  Stephane Glondu
on  Thu Oct 12 10:15:30 2017 +0200

- Log -
Upstream version 1.0~beta13

Stephane Glondu (1):
  New upstream version 1.0~beta13

---

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/jbuilder.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] [jbuilder] 01/03: pristine-tar data for jbuilder_1.0~beta12.orig.tar.bz2

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

glondu pushed a commit to branch pristine-tar
in repository jbuilder.

commit 5457bb772ca4c6e46be52a14c8e4b6e784b469c8
Author: Stephane Glondu 
Date:   Thu Oct 12 10:15:24 2017 +0200

pristine-tar data for jbuilder_1.0~beta12.orig.tar.bz2
---
 jbuilder_1.0~beta12.orig.tar.bz2.delta | Bin 0 -> 6787 bytes
 jbuilder_1.0~beta12.orig.tar.bz2.id|   1 +
 2 files changed, 1 insertion(+)

diff --git a/jbuilder_1.0~beta12.orig.tar.bz2.delta 
b/jbuilder_1.0~beta12.orig.tar.bz2.delta
new file mode 100644
index 000..8df234d
Binary files /dev/null and b/jbuilder_1.0~beta12.orig.tar.bz2.delta differ
diff --git a/jbuilder_1.0~beta12.orig.tar.bz2.id 
b/jbuilder_1.0~beta12.orig.tar.bz2.id
new file mode 100644
index 000..2c202b3
--- /dev/null
+++ b/jbuilder_1.0~beta12.orig.tar.bz2.id
@@ -0,0 +1 @@
+be6c86b9a47c42b84fe52ca4af4cfc6c17bd80ff

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/jbuilder.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] [jbuilder] 02/07: New upstream version 1.0~beta13

2017-10-12 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 jbuilder.

commit 9b859742648829ab2c8f211d6583ad98511a0a03
Author: Stephane Glondu 
Date:   Thu Oct 12 10:15:29 2017 +0200

New upstream version 1.0~beta13
---
 CHANGES.md  |  9 +
 appveyor.yml|  4 ++--
 bin/main.ml |  6 +++---
 install_ocaml.cmd   | 36 
 jbuilder.opam   |  2 +-
 src/gen_rules.ml| 26 +-
 src/odoc.ml | 43 ++-
 src/odoc.mli|  2 ++
 src/ordered_set_lang.ml |  5 -
 src/path.ml |  4 
 src/path.mli|  3 +++
 11 files changed, 131 insertions(+), 9 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index 80c7437..bd6fb55 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,12 @@
+1.0+beta13 (05/09/2017)
+---
+
+- Generate toplevel html index for documentation (#224, Thomas Gazagnaire)
+
+- Fix recompilation of native artifacts. Regression introduced in the last
+  version (1.0+beta12) when digests replaces timestamps for checking staleness
+  (#238, David Allsopp)
+
 1.0+beta12 (18/08/2017)
 ---
 
diff --git a/appveyor.yml b/appveyor.yml
index 6cfc496..7830c5c 100644
--- a/appveyor.yml
+++ b/appveyor.yml
@@ -1,8 +1,8 @@
 # AppVeyor config using https://github.com/Chris00/ocaml-appveyor
 
 install:
-  - appveyor DownloadFile 
"https://raw.githubusercontent.com/Chris00/ocaml-appveyor/master/install_ocaml.cmd";
 -FileName "C:\install_ocaml.cmd"
-  - C:\install_ocaml.cmd
+  - cd "%APPVEYOR_BUILD_FOLDER%"
+  - install_ocaml.cmd
 
 build_script:
   - cd "%APPVEYOR_BUILD_FOLDER%"
diff --git a/bin/main.ml b/bin/main.ml
index 87f4856..b48ab19 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -857,7 +857,7 @@ let subst =
 ; `P {|Substitute $(b,%%ID%%) strings in source files, in a similar 
fashion to
what topkg does in the default configuration.|}
 ; `P {|This command is only meant to be called when a user pins a package 
to
-   its development version. Especially it replaces $(b,1.0+beta12) 
strings
+   its development version. Especially it replaces $(b,1.0+beta13) 
strings
by the version obtained from the vcs. Currently only git is 
supported and
the version is obtained from the output of:|}
 ; `Pre {|  \$ git describe --always --dirty|}
@@ -865,7 +865,7 @@ let subst =
the defatult configuration:|}
 ; var "NAME" "the name of the package"
 ; var "VERSION" "output of $(b,git describe --always --dirty)"
-; var "VERSION_NUM" "same as $(b,1.0+beta12) but with a potential leading \
+; var "VERSION_NUM" "same as $(b,1.0+beta13) but with a potential leading \
  'v' or 'V' dropped"
 ; var "VCS_COMMIT_ID" "commit hash from the vcs"
 ; opam "maintainer"
@@ -953,7 +953,7 @@ let all =
 let default =
   let doc = "composable build system for OCaml" in
   ( Term.(ret (const (fun _ -> `Help (`Pager, None)) $ common))
-  , Term.info "jbuilder" ~doc ~version:"1.0+beta12"
+  , Term.info "jbuilder" ~doc ~version:"1.0+beta13"
   ~man:
 [ `S "DESCRIPTION"
 ; `P {|Jbuilder is a build system designed for OCaml projects only. It
diff --git a/install_ocaml.cmd b/install_ocaml.cmd
new file mode 100644
index 000..372ec8e
--- /dev/null
+++ b/install_ocaml.cmd
@@ -0,0 +1,36 @@
+REM Download and install OCaml and flexlink (unless it was already done).
+REM Prepare the environment variables,... to use it.  OCaml is installed
+REM at %OCAMLROOT%
+REM
+REM If you are using Cygwin, install it in C:\cygwin first and then
+REM execute this script.  Execute bash with the option "-l".
+
+REM set OCAMLROOT=%PROGRAMFILES%/OCaml
+set OCAMLROOT=C:/PROGRA~1/OCaml
+
+set 
OCAMLURL=https://github.com/Chris00/ocaml-appveyor/releases/download/0.1/ocaml-4.03.zip
+
+REM Cygwin is always installed on AppVeyor.  Its path must come
+REM before the one of Git but after those of MSCV and OCaml.
+set Path=C:\cygwin\bin;%Path%
+
+call "C:\Program Files\Microsoft SDKs\Windows\v7.1\Bin\SetEnv.cmd" /x64
+
+set Path=%OCAMLROOT%\bin;%OCAMLROOT%\bin\flexdll;%Path%
+set CAML_LD_LIBRARY_PATH=%OCAMLROOT%/lib/stublibs
+
+set CYGWINBASH=C:\cygwin\bin\bash.exe
+
+if not exist "%OCAMLROOT%/bin/ocaml.exe" (
+  echo Downloading OCaml...
+  appveyor DownloadFile "%OCAMLURL%" -FileName "C:\PROGRA~1\ocaml.zip"
+  %CYGWINBASH% -lc "cd /cygdrive/c/Program\ Files && unzip -q ocaml.zip"
+  del C:\PROGRA~1\ocaml.zip
+)
+
+if exist %CYGWINBASH% (
+  REM Make sure that "link" is the MSVC one and not the Cynwin one.
+  %CYGWINBASH% -lc "eval $(/cygdrive/c/Program\ 
Files/OCaml/tools/msvs-promote-path)"> ~/.bash_profile"
+)
+
+set "]
diff --git a/src/gen_rules.ml b/src/gen_rules.ml
index 699013c..022a63e 100644
--- a/src/gen_rules.ml
+++ b/src/gen_rules.ml
@@ -86,6 +86

[Pkg-ocaml-maint-commits] [jbuilder] branch master updated (e5ba6d8 -> 0115bba)

2017-10-12 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 jbuilder.

  from  e5ba6d8   Prepare upload to unstable
   new  1e516b3   New upstream version 1.0~beta12
   new  9b85974   New upstream version 1.0~beta13
   new  cad24b1   New upstream version 1.0~beta14
   new  64236f4   Updated version 1.0~beta14 from 'upstream/1.0_beta14'
   new  d5b0301   New upstream release
   new  90cd899   Update packaging
   new  0115bba   Prepare upload to unstable

The 7 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.md |  81 +++
 README.md  |  11 +-
 appveyor.yml   |   4 +-
 bin/main.ml| 154 +
 bootstrap.ml   | 179 +++
 debian/changelog   |   6 +
 debian/jbuilder.manpages   |   1 +
 debian/jbuilder.opam-install   |   1 +
 doc/jbuild |   9 +
 doc/jbuild.rst | 127 +--
 doc/quick-start.rst|   8 +-
 doc/usage.rst  |  71 --
 example/jbuild |  32 +--
 example/sample-projects/hello_world/run.t  |  13 ++
 example/sample-projects/hello_world/test/jbuild|   2 +-
 example/sample-projects/with-configure-step/jbuild |   3 +-
 example/sample-projects/with-configure-step/run.t  |   8 +
 install_ocaml.cmd  |  36 +++
 jbuilder.opam  |   2 +-
 src/action.ml  |  83 ---
 src/action_intf.ml |   4 +-
 src/alias.ml   |   6 +-
 src/arg_spec.ml|  14 --
 src/arg_spec.mli   |   2 -
 src/build.ml   |  20 +-
 src/build.mli  |   9 +-
 src/build_interpret.ml |  17 +-
 src/build_interpret.mli|  20 +-
 src/build_system.ml| 251 +
 src/build_system.mli   |   2 +
 src/context.ml |  28 ++-
 src/context.mli|   1 +
 src/findlib.ml |  12 +-
 src/findlib.mli|   4 +-
 src/future.ml  |  52 +
 src/future.mli |   7 +
 src/gen_meta.ml|  57 +++--
 src/gen_rules.ml   | 224 +-
 src/glob_lexer.boot.ml |   4 +
 src/import.ml  |   6 +
 src/jbuild.ml  | 157 -
 src/jbuild.mli |  53 -
 src/jbuild_load.ml |   4 +-
 src/js_of_ocaml_rules.ml   |  49 ++--
 src/js_of_ocaml_rules.mli  |   5 +-
 src/lib.ml |   6 +-
 src/loc.ml |   5 +
 src/loc.mli|   1 +
 src/main.ml|   7 +
 src/main.mli   |   2 +
 src/merlin.ml  |  47 ++--
 src/merlin.mli |   7 +-
 src/module_compilation.ml  |  15 +-
 src/module_compilation.mli |   2 +
 src/ocaml_flags.ml |  34 ++-
 src/ocaml_flags.mli|  15 +-
 src/odoc.ml|  45 +++-
 src/odoc.mli   |   2 +
 src/ordered_set_lang.ml| 141 
 src/ordered_set_lang.mli   |   6 +-
 src/path.ml|  53 +++--
 src/path.mli   |  14 +-
 src/sexp.ml|   6 +
 src/sexp.mli   |   1 +
 src/string_with_vars.ml|   2 +-
 src/super_context.ml   |  22 +-
 src/super_context.mli  |  27 ++-

[Pkg-ocaml-maint-commits] [lwt] branch master updated (d54f866 -> 8938d00)

2017-10-12 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 lwt.

  from  d54f866   Update changelog and prepare upload to unstable
   new  433e58c   Fix installation on bytecode architectures (Closes: 
#878236)
   new  8938d00   Update changelog and prepare upload to unstable

The 2 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   |  6 ++
 ...ix-installation-on-bytecode-architectures.patch | 22 ++
 debian/patches/series  |  1 +
 3 files changed, 29 insertions(+)
 create mode 100644 
debian/patches/0001-Fix-installation-on-bytecode-architectures.patch
 create mode 100644 debian/patches/series

-- 
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] annotated tag debian/2.7.1-2 created (now a788e4f)

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

glondu pushed a change to annotated tag debian/2.7.1-2
in repository lwt.

at  a788e4f   (tag)
   tagging  8938d00455230b7ebe6f4adfccb11882ad97b0b0 (commit)
  replaces  debian/2.7.1-1
 tagged by  Stephane Glondu
on  Thu Oct 12 09:45:21 2017 +0200

- Log -
lwt Debian release 2.7.1-2
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnfHZEACgkQeFPaTUmI
GtP8CRAAsamHjwHRxsw6XufE9PrtFAtFUCXo2ppOdJkfyICsyHPmw6Jr0M26ZKcX
8RuPP6rmcbpUf2d92frnDgJgItwX30aLV5jiIvyoGof+kNdBQZot7rzWzl5Vq7FK
Bo9awY1YwH8ai7enK1rQgOpXID+U+mFIA56j26PJ3g6y8YJ6Kmj3e0COPvlmD1i4
sBTOvzQ+8eMZzFS1ev7zIB6tFzM51L5WrJlvCBMrQVcd6mkFRbTbsDvkgaVRzHv8
OCa1qOcusjfhDLqZSWyto6u0bA5pvfE3++e5WowhLWq3k5DYBrFe9PBbLFsOiVh/
MDVZlNQ+ZlqSIODy6G4kQoj009xobVXWwKcXqgVRg9K/JZqfONeruUl/FCeF69GI
WnUDTeQrAeAJ9fqVkl8py7CK+gcZAGLtqVWEBlxt3BaROp90D/26PxgHbdaI2JBB
8JT2DIWEWYoZpe2CZUOtgLp722Xv8bVX3OnXBcnGjYcRXx0DwXjljTDQ3SQH+qVp
DQ7i/40NBkHkp/xYQSdM/M44/KzDeuK+ZJOliUskF9p2ozV/du6iBjqAMelcRq5R
iXiulpyRmPSRta6ZBbGeGaZek3KGQpUNaYKR7Vs6E1OHQecMEmRAG7MjpAIAZ6qm
1W3RJz3wmIgl6pB3sTeYCtdy7chM4nss5tDXhAQNWZytuXx43Ac=
=j/oj
-END PGP SIGNATURE-

Stephane Glondu (2):
  Fix installation on bytecode architectures (Closes: #878236)
  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/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] 02/02: Update changelog and prepare upload to unstable

2017-10-12 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 lwt.

commit 8938d00455230b7ebe6f4adfccb11882ad97b0b0
Author: Stephane Glondu 
Date:   Thu Oct 12 09:31:24 2017 +0200

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

diff --git a/debian/changelog b/debian/changelog
index 1f5d2c7..a2679f0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+lwt (2.7.1-2) unstable; urgency=medium
+
+  * Fix installation on bytecode architectures (Closes: #878236)
+
+ -- Stéphane Glondu   Thu, 12 Oct 2017 09:31:18 +0200
+
 lwt (2.7.1-1) unstable; urgency=medium
 
   [ Stéphane Glondu ]

-- 
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] 01/02: Fix installation on bytecode architectures (Closes: #878236)

2017-10-12 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 lwt.

commit 433e58c1826254f6b5a451181fa2462cee6b2729
Author: Stephane Glondu 
Date:   Thu Oct 12 09:31:10 2017 +0200

Fix installation on bytecode architectures (Closes: #878236)
---
 ...ix-installation-on-bytecode-architectures.patch | 22 ++
 debian/patches/series  |  1 +
 2 files changed, 23 insertions(+)

diff --git 
a/debian/patches/0001-Fix-installation-on-bytecode-architectures.patch 
b/debian/patches/0001-Fix-installation-on-bytecode-architectures.patch
new file mode 100644
index 000..cab0463
--- /dev/null
+++ b/debian/patches/0001-Fix-installation-on-bytecode-architectures.patch
@@ -0,0 +1,22 @@
+From: Stephane Glondu 
+Date: Thu, 12 Oct 2017 09:24:11 +0200
+Subject: Fix installation on bytecode architectures
+
+Bug-Debian: https://bugs.debian.org/878236
+---
+ myocamlbuild.ml | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/myocamlbuild.ml b/myocamlbuild.ml
+index 0b8b171..0a540dc 100644
+--- a/myocamlbuild.ml
 b/myocamlbuild.ml
+@@ -851,7 +851,7 @@ module MyOCamlbuildBase = struct
+flag ["link"; "library"; "ocaml"; "native"; tag_libstubs 
lib]
+  (S[A"-cclib"; A("-l"^(nm_libstubs lib))]);
+ 
+-   if bool_of_string (BaseEnvLight.var_get "native_dynlink" 
env) then
++   if true || bool_of_string (BaseEnvLight.var_get 
"native_dynlink" env) then
+  flag ["link"; "program"; "ocaml"; "byte"; tag_libstubs 
lib]
+  (S[A"-dllib"; A("dll"^(nm_libstubs lib))]);
+ 
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 000..5b5e1e4
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+0001-Fix-installation-on-bytecode-architectures.patch

-- 
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 (ed40c9a -> d54f866)

2017-10-10 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 lwt.

  from  ed40c9a   d/control: remove myself from Uploaders
   new  d54f866   Update changelog and prepare upload to unstable

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 | 8 ++--
 1 file changed, 6 insertions(+), 2 deletions(-)

-- 
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] 01/01: Update changelog and prepare upload to unstable

2017-10-10 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 lwt.

commit d54f8669a4d4a6deebcb824ba4118027e5dcbc7c
Author: Stephane Glondu 
Date:   Mon Oct 9 14:23:57 2017 +0200

Update changelog and prepare upload to unstable
---
 debian/changelog | 8 ++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index bda4d05..1f5d2c7 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,5 +1,6 @@
-lwt (2.7.1-1) UNRELEASED; urgency=medium
+lwt (2.7.1-1) unstable; urgency=medium
 
+  [ Stéphane Glondu ]
   * New upstream release
 - remove patch: there is no more manual to not build
 - build-depend on libresult-ocaml-dev and cppo
@@ -8,7 +9,10 @@ lwt (2.7.1-1) UNRELEASED; urgency=medium
   * Update debian/watch
   * Bump Standards-Version to 4.0.0
 
- -- Stéphane Glondu   Wed, 26 Jul 2017 07:15:37 +0200
+  [ Nicolas Dandrimont ]
+  * d/control: remove myself from Uploaders
+
+ -- Stéphane Glondu   Mon, 09 Oct 2017 14:23:46 +0200
 
 lwt (2.5.2-2) unstable; urgency=medium
 

-- 
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] annotated tag debian/2.7.1-1 created (now 302cfb1)

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

glondu pushed a change to annotated tag debian/2.7.1-1
in repository lwt.

at  302cfb1   (tag)
   tagging  d54f8669a4d4a6deebcb824ba4118027e5dcbc7c (commit)
  replaces  debian/2.5.2-2
 tagged by  Stephane Glondu
on  Tue Oct 10 09:40:50 2017 +0200

- Log -
lwt Debian release 2.7.1-1
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnceYIACgkQeFPaTUmI
GtPrwg//Z148eI4wNNoikPNV04E+OqYRC2gF6g0lQACCbsWp5lHhwDyaeQwEBbas
pGklGzHFA/15qO3sgWofV41QQpyhUNP0lGyzFma6lQmDkmT4C9SuBytmvgNDvwdX
qZCZlLYZk9UOe2qxObHfIN4ijvT/jEaCGGgA+90XKJ8G0Qhnne2jW9BNz2HCAWSs
EQ0IAOv+j5/jJExQeVtpRig5s1pTGKuCoG2ehtZMMtW59K1GsnMuxbUWF9bCKpFp
a+GMEJMhXZYJ2fmE1XVyhU0ZshyCtKre3Eq36wHIEHK6NYcqAyQa/GFGiyTOOD+R
fN++E7db2qQbAUBmMgD8f5Lr4GX/WeFVlDsrrpR3EFoVLvD/hEs0DLou2xkcd7Ij
esI9FI7GY+WG9cBY6nG6pacLiq1CWq1SRa225LOG1Pl0P9yKTN6RgpHgOqGfWzAh
4zDjewPu0W1Kez+izYAsJ9tWnVhrcEPHHXHg0nivhG2X4HKlv7vAHOXNeIkkxdAI
lGNJtw4/e9F3I7vVViWm/KMGeO7S42DxQ/To3V1PC5XEWKJfBL0ClkufIJh39K/T
zu9Fk/2BasZ+cRjuQ0KOmMwkyRP/4bX4M1Md7eutvjM72UFoKI33hewAcDAU3k9d
3Jri+OpjrV2oJ7KAn2zbXr4wtu6y816MdqiFSdcWhr7oOQVR+hg=
=kloI
-END PGP SIGNATURE-

Nicolas Dandrimont (1):
  d/control: remove myself from Uploaders

Stephane Glondu (12):
  Update debian/watch
  New upstream version 2.6.0
  New upstream version 2.7.0
  New upstream version 2.7.1
  Updated version 2.7.1 from 'upstream/2.7.1'
  New upstream release
  Remove patch: there is no more manual to not build
  Update packaging
  Bump Standards-Version to 4.0.0
  Add lwt_{react,ssl,glib} findlib packages, as intended by upstream
  Update changelog
  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/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] [ssreflect] annotated tag debian/1.6.1-3 created (now 3be76c5)

2017-10-09 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.6.1-3
in repository ssreflect.

at  3be76c5   (tag)
   tagging  5fe44ca756b1602acf2025b956067c64101fdc14 (commit)
  replaces  debian/1.6.1-2
 tagged by  Stephane Glondu
on  Mon Oct 9 11:27:00 2017 +0200

- Log -
ssreflect Debian release 1.6.1-3
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnbQOQACgkQeFPaTUmI
GtPgkRAAouq8LEiznsbzViQv7dpgBU7Tj57UAxPaGcSyF5TQlO6Nq6QcpZe7M6L/
mUklHmlzCg3cMolg663+N1tYwQfeuBs25Ss84RPGYER+C4vgaz1qQIOT15dsBni4
98igS5hj+RCgkVWooVa0kVRdSEFOOca4LIJB8uCf33ldTkq1h8RdDGgZ8rvMVHHv
WIRyFq4nXqU8ANajA8STVTLyx5eQ2Zna41e3rApMPwLcJaEROksVQhwXeDUqH/za
yKe4jmyN6EhKRYetUqtcA2h9iYIUSSW+dMnMF9KG2ztgV//ZnGQJ+rjw+O59S7d8
W/dvjcQVSEI+7QUsuFHPUh+KIalGX7/fhqCz1O+aLcYWmwGGWAJA0UyS4TCtnsnk
jRGnV4ayeJ9wYts/q8TB/V/i/rsg6ETBsDp5HtWAHjlNPzUzD++gF1El1WR4SUOC
ylrK9ow2nhH7YWOwaeN23YmvpgPWa2i1F6lj9ThwCvQTle5WYT+WeoDVaxZZVLfM
O4FkbrZt20sWNGlqQiGK+cJpGFBQkZ2C54WROlRl4nFizOnUSJigErydZ5q1km9Q
Rw74xFYXPKKxEuWnsbDHD2PZ+YimGXXtpYYye+GRqE8M1Jndx1535xB4jaJUaa1x
kV5QGhQENKp7GeuToIQMgS03VVlu8tIolpzfw+zsAFJxsBNlb3w=
=HAcy
-END PGP SIGNATURE-

Stephane Glondu (1):
  Recompile with OCaml 4.05.0

---

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/ssreflect.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] [ssreflect] branch master updated (430b3d8 -> 5fe44ca)

2017-10-09 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 ssreflect.

  from  430b3d8   fix build-arch target
   new  5fe44ca   Recompile with OCaml 4.05.0

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 | 6 ++
 1 file changed, 6 insertions(+)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.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] [ssreflect] 01/01: Recompile with OCaml 4.05.0

2017-10-09 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 ssreflect.

commit 5fe44ca756b1602acf2025b956067c64101fdc14
Author: Stephane Glondu 
Date:   Mon Oct 9 10:42:39 2017 +0200

Recompile with OCaml 4.05.0
---
 debian/changelog | 6 ++
 1 file changed, 6 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 09ef917..df62cb8 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+ssreflect (1.6.1-3) unstable; urgency=medium
+
+  * Recompile with OCaml 4.05.0
+
+ -- Stéphane Glondu   Mon, 09 Oct 2017 10:43:03 +0200
+
 ssreflect (1.6.1-2) unstable; urgency=medium
 
   * Fix build-arch target 

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.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] [aac-tactics] 01/01: Recompile with OCaml 4.05.0

2017-10-09 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 aac-tactics.

commit 4f8ae900f852981023515f9bc6bf7d14580f57ea
Author: Stephane Glondu 
Date:   Mon Oct 9 10:33:49 2017 +0200

Recompile with OCaml 4.05.0
---
 debian/changelog | 6 ++
 1 file changed, 6 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 8d01160..b3f58e8 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+aac-tactics (8.6.1-2) unstable; urgency=medium
+
+  * Recompile with OCaml 4.05.0
+
+ -- Stéphane Glondu   Mon, 09 Oct 2017 10:33:39 +0200
+
 aac-tactics (8.6.1-1) unstable; urgency=medium
 
   * Team upload

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.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] [aac-tactics] annotated tag debian/8.6.1-2 created (now 7373b26)

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

glondu pushed a change to annotated tag debian/8.6.1-2
in repository aac-tactics.

at  7373b26   (tag)
   tagging  4f8ae900f852981023515f9bc6bf7d14580f57ea (commit)
  replaces  debian/8.5.1-1
 tagged by  Stephane Glondu
on  Mon Oct 9 10:39:07 2017 +0200

- Log -
aac-tactics Debian release 8.6.1-2
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnbNasACgkQeFPaTUmI
GtPBexAAlfZEkw0OuDSkUho2CrOJxmqdPSlKUjJBlc3J8pncpPJmZwOWXE2kMaho
9/DxgfpHDHoc9uznl5SqU34YFzGVXgTn90R+xpawJq7sFSdjN8xOhVWla4mebwRM
Vvtf8RcwxeNGHCBZvMgeZtm7aGTlYeIT/QeM1nCFFvEIufBZpWAJj2eSkaHrQnkc
PDS+W4iwP52mBNBUO3CNeSevI7l8VJDp5nPhDFzCID7fhLCUGy9uWFbP+SBWLERW
m7TwBDEab4klLvpb45+m864JVeL2gHYp3fe/0+66u6olmOe6FDay4SgJgza+xOXi
RTYBgCDQQwIjFf1tbmm6E4Lxa97XyE+sce9kUuNWy23AigkPlh+9MNjsevkeZC1V
DsmqI6hXgtKpaM6YsfbqgDxecT2fd7wej10HDBN/j/KBGLpNUNxQ+V9oRWi0D98/
DswamHH4giq6SR3EDLRAgyfcFQASohcfoQoYzz+WPSDyYlI06C6doi6qtUgpMTcb
RgxmvnCBbjLXR1lYRA/3zvcYnFUSPNXRsLQkxmNm1AnKup9bHz2SOJMjxvxuulZM
Fq4B+tDfGS4Tp/N/52P65IsCOOKBKF4CxQZQxaS1TgPMl68BWksGYcxnUu1E79iG
mSN1QqZBSLpy3MqkkATD+JXO73qd7GjlkusTDVixadL7U2qCNUU=
=lpDQ
-END PGP SIGNATURE-

Enrico Tassi (6):
  Merge tag 'upstream/8.6'
  New upstream version 8.6
  aac for Coq 8.6
  New upstream version 8.6.1
  Merge tag 'upstream/8.6.1'
  8.6.1

Stephane Glondu (1):
  Recompile with OCaml 4.05.0

---

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/aac-tactics.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] [aac-tactics] branch master updated (15d7275 -> 4f8ae90)

2017-10-09 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 aac-tactics.

  from  15d7275   8.6.1
   new  4f8ae90   Recompile with OCaml 4.05.0

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 | 6 ++
 1 file changed, 6 insertions(+)

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

2017-10-09 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 xstrp4.

  from  aa17591   Release to unstable
   new  c35bec3   Recompile with OCaml 4.05.0

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 +++
 1 file changed, 7 insertions(+)

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

2017-10-09 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.8.1-4
in repository xstrp4.

at  dbd73b4   (tag)
   tagging  c35bec3414dd93c85cd7d10708f311330f9d921e (commit)
  replaces  debian/1.8.1-3
 tagged by  Stephane Glondu
on  Mon Oct 9 10:23:53 2017 +0200

- Log -
xstrp4 Debian release 1.8.1-4
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnbMhkACgkQeFPaTUmI
GtPfMA//QYez8Evu3tPD69M4CRfbnnctBuizGhY/j0e0E3cYQXCMTSt3HiC45Prr
uoQfUYJ2HZkZwcUOUNv0/EcC9ERuJA/kAXA0aL99sTCDJyHXCmalVABcU77C+fQj
NvbV0U0FLpekc38upK48rBdbduyK4Rpypx6W4AuTLJL74TeLYISInrD7lITxF+aS
LdXbSo02Dl4euc1bYzdXPaOnyNjhzQuAdIHHpL/l0mg+/FiV7t2AU/o4DpNMCrDE
4hW6ecOajcbuP59w1ZrR6YVpBXJrmxH0Z0SRCKHwaXGuldzdmCNcEgkcpxTUc7d2
nya3rmwk2SW5x3K1/4rYatftFLcmV86vd9lRUYMuhcoMIEGPJKBcWH8Bp+gf6wnK
vJsmXflXiI09RfQ4SpuDwWwpZ+rfkWWpOtZugEQpDjvpH6StHXOwVkBtPIA2+//l
C4FXgaxQJ2noL/kq05xdbCFYMd7DIdC0Z93HYdxoPAcg6zyxUgnwd9+fl+87GEFy
6Bo9QGfwPafE3VVkOsPX/0BmticWd6QD0p3oLkejVCHuTemNurWYzDnuYJJDViKD
VJPfoy1ojaiSqyy3sllOBstbx90on0g9A3n/wxvOTaFBi+k8jjlb4y1RFsYq7a0r
QmApORrrfxB3eCPD1LfGslrS0fHzXhGCA8vLS0KggGgpApLiOtE=
=sWa1
-END PGP SIGNATURE-

Stephane Glondu (1):
  Recompile with OCaml 4.05.0

---

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/xstrp4.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] [xstrp4] 01/01: Recompile with OCaml 4.05.0

2017-10-09 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 xstrp4.

commit c35bec3414dd93c85cd7d10708f311330f9d921e
Author: Stephane Glondu 
Date:   Mon Oct 9 09:44:20 2017 +0200

Recompile with OCaml 4.05.0
---
 debian/changelog | 7 +++
 1 file changed, 7 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index e6d799e..1f0f322 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+xstrp4 (1.8.1-4) unstable; urgency=medium
+
+  * Team upload
+  * Recompile with OCaml 4.05.0
+
+ -- Stéphane Glondu   Mon, 09 Oct 2017 09:44:09 +0200
+
 xstrp4 (1.8.1-3) unstable; urgency=medium
 
   * Team upload.

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/xstrp4.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] [coq] 02/04: Remove menu files

2017-09-26 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 coq.

commit 47a06f5660633f7cce3b8dedbd658e0d398b0fca
Author: Stephane Glondu 
Date:   Tue Sep 26 11:07:44 2017 +0200

Remove menu files
---
 debian/coq.menu| 4 
 debian/coqide.menu | 4 
 2 files changed, 8 deletions(-)

diff --git a/debian/coq.menu b/debian/coq.menu
deleted file mode 100644
index 0552ecb..000
--- a/debian/coq.menu
+++ /dev/null
@@ -1,4 +0,0 @@
-?package(coq):command="/usr/bin/coqtop" \
-  icon="/usr/share/pixmaps/coq.xpm" \
-  needs="text" \
-  section="Applications/Science/Mathematics" title="Coq"
diff --git a/debian/coqide.menu b/debian/coqide.menu
deleted file mode 100644
index 93feca9..000
--- a/debian/coqide.menu
+++ /dev/null
@@ -1,4 +0,0 @@
-?package(coqide):command="/usr/bin/coqide" \
-  icon="/usr/share/pixmaps/coqide.xpm" \
-  needs="X11" \
-  section="Applications/Science/Mathematics" title="CoqIDE"

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

2017-09-26 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 coq.

commit e9b64f65bc46bcf8afdceb88cc2db81f8faa84ba
Author: Stephane Glondu 
Date:   Tue Sep 26 11:07:55 2017 +0200

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

diff --git a/debian/control b/debian/control
index 79c8561..3c9f1cc 100644
--- a/debian/control
+++ b/debian/control
@@ -20,8 +20,8 @@ Build-Depends:
  texlive-latex-extra,
  hevea (>= 1.10-7)
 Homepage: http://coq.inria.fr/
-Vcs-Browser: 
http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/coq.git
-Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/coq.git
+Vcs-Browser: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/coq.git
+Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/coq.git
 
 Package: coq
 Architecture: any

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.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] [coq] annotated tag debian/8.6-5 created (now 0c27d3c)

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

glondu pushed a change to annotated tag debian/8.6-5
in repository coq.

at  0c27d3c   (tag)
   tagging  45d7383f95ce0528d756f712635df90456ab97dc (commit)
  replaces  debian/8.6-4
 tagged by  Stephane Glondu
on  Tue Sep 26 11:52:17 2017 +0200

- Log -
coq Debian release 8.6-5
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnKI1EACgkQeFPaTUmI
GtOVGw//YEl8idiF8LxsJ0qJsUhbUNedWkBhCk2o4W+WCENe2MImIzgI0UUH5L5c
xODUHCiKEXcL9sE/oi+kDhAkS0FGmfpYrNUzhfGFLBk3D8YU/uiHTnwy+4lTDPJX
uFRBjjDuckSy26Zyz7H2dM5AxkGpXCJ5ZZcI0Rgfvjfc3kYZgF5eNUlEWR2QFktz
thgcTL8dWHkPw10hC9GXjhKf09mQyBlqdChNRYKFZrhh16MEwr5gq8cUA2lTvtWI
/kYz4+weAJtXnwI/8UlTVViy50LyaSFLeNxfqa6EsWeVeg0u5gHiawIx2AHHzVYq
wpYKCwREShS4VVzvifuJUQ5VPAlWdipU4dHtuKyQVvu9+6Qrf66hgueZknqsgzLt
VlN9tmFZMdzZxl7gWMh5qtBXrcM1a9mGVWaYjSqVJtvvCh3nifWdAKPDGzHuCyqQ
O2P2wYMnbUnHt+1ZPUJniataQ4p2QmMdfXwrv+Za3W4SS6/29NNZW24uD3sLkO+9
xqFQLFA5gtBdoRqbUE2qitU7JM5dbGtXgPRttqhTBvGlA4j1oeWNn6xcxrSfzEzD
QohMUgd9elwtbjna9yy9eLi4Zg9etfFqJpvJogeWX0i3k0muAOywJQIP7UwxjU+o
FiXn1XTz9O1QbE0TjrkqPB1EXw4vEfOdpV3R3W0TU8IhAOylmEc=
=dpws
-END PGP SIGNATURE-

Stéphane Glondu (4):
  Remove unused Lintian overrides
  Remove menu files
  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/coq.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] [coq] branch master updated (c2f1eda -> 45d7383)

2017-09-26 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 coq.

  from  c2f1eda   fix ocamlfind package name
   new  0905922   Remove unused Lintian overrides
   new  47a06f5   Remove menu files
   new  e9b64f6   Update Vcs-*
   new  45d7383   Update changelog and prepare upload to unstable

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:
 debian/changelog  | 31 ---
 debian/control|  4 ++--
 debian/coq-theories.lintian-overrides |  1 -
 debian/coq.menu   |  4 
 debian/coqide.menu|  4 
 debian/libcoq-ocaml.lintian-overrides |  1 -
 6 files changed, 22 insertions(+), 23 deletions(-)
 delete mode 100644 debian/coq-theories.lintian-overrides
 delete mode 100644 debian/coq.menu
 delete mode 100644 debian/coqide.menu
 delete mode 100644 debian/libcoq-ocaml.lintian-overrides

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

2017-09-26 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 coq.

commit 45d7383f95ce0528d756f712635df90456ab97dc
Author: Stephane Glondu 
Date:   Tue Sep 26 10:20:31 2017 +0200

Update changelog and prepare upload to unstable
---
 debian/changelog | 31 ---
 1 file changed, 20 insertions(+), 11 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 3a0757e..a0b424e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,12 +1,21 @@
+coq (8.6-5) unstable; urgency=medium
+
+  * Recompile with OCaml 4.05.0
+  * Remove unused Lintian overrides
+  * Remove menu files
+  * Update Vcs-*
+
+ -- Stéphane Glondu   Tue, 26 Sep 2017 11:08:52 +0200
+
 coq (8.6-4) unstable; urgency=medium
 
-  * coq_makefile needs ocamlfind in order to work 
+  * coq_makefile needs ocamlfind in order to work
 
  -- Enrico Tassi   Thu, 29 Dec 2016 23:45:47 +0100
 
 coq (8.6-3) unstable; urgency=medium
 
-  * 5127.v fails on mips, disabling 
+  * 5127.v fails on mips, disabling
 
  -- Enrico Tassi   Thu, 29 Dec 2016 08:58:35 +0100
 
@@ -19,26 +28,26 @@ coq (8.6-2) unstable; urgency=medium
 
 coq (8.6-1) unstable; urgency=medium
 
-  * New upstream release 
+  * New upstream release
 
  -- Enrico Tassi   Tue, 27 Dec 2016 16:53:39 +0100
 
 coq (8.5-2) unstable; urgency=medium
 
-  * patch: disable test 4429 (timeout too strict for slow architectures) 
+  * patch: disable test 4429 (timeout too strict for slow architectures)
 
  -- Enrico Tassi   Thu, 28 Jan 2016 11:47:07 +0100
 
 coq (8.5-1) unstable; urgency=medium
 
-  * New upstream release 
+  * New upstream release
   * patch: disable test 4366 (timeout too strict for slow architectures)
 
  -- Enrico Tassi   Tue, 26 Jan 2016 16:59:05 +0100
 
 coq (8.5~beta3+dfsg-2) experimental; urgency=medium
 
-  * Option -no-native-compiler now called -native-compiler no 
+  * Option -no-native-compiler now called -native-compiler no
 
  -- Enrico Tassi   Sat, 14 Nov 2015 14:59:04 +0100
 
@@ -65,7 +74,7 @@ coq (8.5~beta2+dfsg-1) experimental; urgency=medium
   * coq depends on coq-theories binary:Version
   * lintian-overrides for coq-native/*cmx* and plugins/*cmxs files
 (hardening-no-relro)
-  * Build depend on liblablgtksourceview2-ocaml-dev 
+  * Build depend on liblablgtksourceview2-ocaml-dev
 
  -- Enrico Tassi   Wed, 15 Jul 2015 11:36:30 +0200
 
@@ -539,7 +548,7 @@ coq (8.0pl3+8.1beta.2-1) experimental; urgency=low
 coq (8.0pl3+8.1beta-1) experimental; urgency=low
 
   * New upstream release.
-  * Added --fsets all option to configure to build the theory of finite sets. 
+  * Added --fsets all option to configure to build the theory of finite sets.
   * Updated coqdoc_stdlib.dpatch, partly integrated upstream.
   * Removed failing_tests.dpath, all the tests should succeed now.
   * We don't need to remove rpaths anymore.
@@ -708,7 +717,7 @@ coq (7.3.1-1) unstable; urgency=low
 coq (7.3-1) unstable; urgency=low
 
   * New upstream version.
- 
+
  -- Judicael Courant   Wed, 22 May 2002 14:48:21 +0200
 
 coq (7.2-9) unstable; urgency=low
@@ -758,7 +767,7 @@ coq (7.2-4) unstable; urgency=low
 coq (7.2-3) unstable; urgency=low
   * Workaround for problems with buildd/apt trying to install camlp4
 (closes: Bug#130046).
-  
+
  -- Judicaël Courant   Mon, 21 Jan 2002 09:46:16 +0100
 
 coq (7.2-2) unstable; urgency=low
@@ -796,7 +805,7 @@ coq (7.0-1) unstable; urgency=low
   * Emacs mode installation now follows Emacs policy.
   * Made compilation non-interactive (closes: Bug#92461).
   * Added Suggests cle.
-  
+
 
  -- Judicaël Courant   Tue,  17 Apr 2001 19:24:34 
+0200
 

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.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] [coq] 01/04: Remove unused Lintian overrides

2017-09-26 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 coq.

commit 090592236763255a379552fca40bb865b68c73e6
Author: Stephane Glondu 
Date:   Tue Sep 26 11:07:18 2017 +0200

Remove unused Lintian overrides
---
 debian/coq-theories.lintian-overrides | 1 -
 debian/libcoq-ocaml.lintian-overrides | 1 -
 2 files changed, 2 deletions(-)

diff --git a/debian/coq-theories.lintian-overrides 
b/debian/coq-theories.lintian-overrides
deleted file mode 100644
index 6ae619a..000
--- a/debian/coq-theories.lintian-overrides
+++ /dev/null
@@ -1 +0,0 @@
-hardening-no-relro *coq-native*
diff --git a/debian/libcoq-ocaml.lintian-overrides 
b/debian/libcoq-ocaml.lintian-overrides
deleted file mode 100644
index 33365c0..000
--- a/debian/libcoq-ocaml.lintian-overrides
+++ /dev/null
@@ -1 +0,0 @@
-hardening-no-relro *plugins*cmxs

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.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-gen] annotated tag debian/0.4.0.1-2 created (now a66440e)

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

glondu pushed a change to annotated tag debian/0.4.0.1-2
in repository ocaml-gen.

at  a66440e   (tag)
   tagging  56dedb5ab263d594578c540882e87f82129ab3aa (commit)
  replaces  debian/0.4.0.1-1
 tagged by  Stephane Glondu
on  Mon Sep 25 09:56:31 2017 +0200

- Log -
ocaml-gen Debian release 0.4.0.1-2
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnItq8ACgkQeFPaTUmI
GtOM2A/+P0V9703wuyPB/33LXDysD4Kcd+vcgOXQyi6RTbuIYcUFJ0mjOqQ1I44v
cZJDi7AKBhqNoJQWISDwEcHgqroBpE//+vsRMxUWjh1BaQUeJgEhJmOSM1rZYjn/
R4Ak1Sjr6BdH7YnhTSpCjhoch3EhotyWKIm0KN0KXamjPywPp+FoQKU/n9vDmsjg
AvYDzVxryGrTNWiY7ed/WzdoZvCWQBGv0LaQVzgJXlRqkGNAv6ibu/Sd9cYkQ0Ni
uJwIHCmXRMZmOHzx74ZEj2QQKiBVR60Dl97T03wq7WS+Jr5IX1JyaTFdGrzknn6Z
utltiPMzBIzij+7mo9brwfglT3c7wi/gyhpECHZ4Ii2DMGgtiovpBp/ZClLiT0Uu
66AZXgMnYVdSdnEx0WRZmGKleIjIWUNyDCB+1+WdNPvK1Ai7wbkZUyUGdM7SSl/e
LEDtH0eGdoN56aerQHiKKWOiPDMg4mhGUOdhBq75Dw2Kea9sUU/U+mNp0vnEIfM9
mPvUXNXitPOA5fDwIWAwEdtqZaqLDRrlbdI1Cp5NhTQArGn480ojgxioQkpAKVc3
gTBLS4h7qNU8S5JuhROY3K+/+VZAQCZWWAjB0WA/iLkdQWcp852+4yDuc9S5lfl3
W5zdTURRwaIqqFynEgQxa1aTFV4fWTm4wI0/1frVvvmgZKAPoP8=
=QVDg
-END PGP SIGNATURE-

Andy Li (5):
  Mark *.a files as optional install items to support architectures lacking 
ocamlopt.
  add bug reference to changlog
  correct format...
  Depends on ocamlbuild, which is split out of ocaml since ocaml 4.05.
  Bump Standards-Version to 4.1.0 (no changes).

---

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-gen.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] [ledit] annotated tag debian/2.03-6 created (now 8ed26ff)

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

glondu pushed a change to annotated tag debian/2.03-6
in repository ledit.

at  8ed26ff   (tag)
   tagging  1fe6664bd149ae7b93bca83041d5569301c61073 (commit)
  replaces  debian/2.03-5
 tagged by  Stephane Glondu
on  Fri Sep 22 15:32:53 2017 +0200

- Log -
ledit Debian release 2.03-6
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnFEQUACgkQeFPaTUmI
GtOnqw/7BfNyFG1q5UnUwUw3YkWrdUGnQEEjCQ9GNW2Bn4DUKoemSeIcpOCFxihM
MqDNh1ywBkD3/KzWGhfac43RG2dilLuI52cB3uVl7wSp4FTu/gQLaT9YvZYeBJxz
HN5nqJtjLGAe0CF6R/p5DztC1lQgsS93tAq5qe6fnmxy0RIksdsW3/Wo9H13g2Bh
OiQSUyZgI3j1B6+cz8l4yAHq7rCRsu8R3VaTj6CcBKALpgYWP+o7LonK1MWZpvY2
oaARj4CNLNDVjFiPPXqzNgRnsJ2H0K/M1TArCsmqErRTnfFJS/rwgGKrKoHy7YAd
MhGjuPSoPnNCegoauBHak/xlcnxZuc9IC/qMNGFkDkkwCgQGpurejzXll6U62Nya
wSgBnj+ii2MKGx5+Ey03w/Zog0g2C/bxVRUx+pt+hxvW31l0EJWCMbc8KdUoStaZ
G0UClrAZr/kFzYheg5aUIgPe+dyeusMKnzi9gCDjf8uD8f1Ap4f/wqpn7eJZGBiy
RqwFdIvGOlF1GU4T26EbCUDpz+L0L5CgAX1VTPfBy+21u5qdJvxpG/2SI1trE/Od
fzwizhePy5Ppgpo6O3yUY/olUVPhtRY+lhFvhMi6wlZPjA4jvsf+cuiSBDSFYUKt
2IHxuFc4cRcPUy9BHXj+CCXS2ANUt55DXMHBPF+JvOvUfWU/L84=
=nHgl
-END PGP SIGNATURE-

Stephane Glondu (1):
  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/ledit.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] [ledit] branch master updated (67f54c6 -> 1fe6664)

2017-09-22 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 ledit.

  from  67f54c6   replace deprecated option '-s' of debhelper by '-a'
   new  1fe6664   Update changelog and prepare upload to unstable

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 | 6 ++
 1 file changed, 6 insertions(+)

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

2017-09-22 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 ledit.

commit 1fe6664bd149ae7b93bca83041d5569301c61073
Author: Stephane Glondu 
Date:   Fri Sep 22 15:30:48 2017 +0200

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

diff --git a/debian/changelog b/debian/changelog
index 3d54d7b..abcaa7f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+ledit (2.03-6) unstable; urgency=medium
+
+  * Recompile with OCaml 4.05.0
+
+ -- Stéphane Glondu   Fri, 22 Sep 2017 15:30:38 +0200
+
 ledit (2.03-5) unstable; urgency=medium
 
   * Standards-Version 3.9.8 (no change)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ledit.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-zarith] 02/07: New upstream version 1.5

2017-09-22 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-zarith.

commit f0827a1c06b2667dbdd8efd207be9e8261b0f13f
Author: Stephane Glondu 
Date:   Fri Sep 22 15:08:34 2017 +0200

New upstream version 1.5
---
 .gitignore   |  10 +
 Changes  |  13 +-
 META |   2 +-
 Makefile |  25 ---
 README   | 130 ---
 README.md| 126 +
 caml_z.c |   6 +--
 project.mak  |   7 +--
 q.ml |  36 ++-
 q.mli|   5 +++
 tests/bi.ml  |  14 +++---
 tests/tofloat.ml |  80 ++
 z.mlip   |  52 +-
 z.mlp|  30 ++---
 z_pp.pl  |   8 
 15 files changed, 320 insertions(+), 224 deletions(-)

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 000..afef917
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,10 @@
+*.a
+*.cm?
+*.cmxa
+*.cmxs
+*.exe
+*.o
+Makefile
+z.ml
+z.mli
+z_features.h
diff --git a/Changes b/Changes
index 7f16b4d..2ddfaa2 100644
--- a/Changes
+++ b/Changes
@@ -1,3 +1,14 @@
+Release 1.5 (2017-05-26):
+- Install all .cmx files, improving performance of clients and
+  avoiding a warning from OCaml 4.03 and up.
+- Z.of_float: fix a bug in the fast path [Richard Jones]
+  (See https://bugzilla.redhat.com/show_bug.cgi?id=1392247)
+- Improve compatibility with OCaml 4.03 and up
+  [Bernhard Schommer]
+- Overflow issue in Z.pow and Z.root with very large exponents (GPR#5)
+  [Andre Maroneze]
+- Added function Q.to_float.
+
 Release 1.4.1 (2015-11-09):
 - Fixed ml_z_of_substring_base and Z.of_substring [Thomas Braibant]
 - Integrated Opam fix for Perl scripts [Thomas Braibant]
@@ -12,7 +23,7 @@ Release 1.4 (2015-11-02):
 - Added Z.trailing_zeros.
 - Added Z.testbit, Z.is_even, Z.is_odd.
 - Added Z.numbits, Z.log2 and Z.log2up.
-- PR$1467: Z.hash is declared as "noalloc" [François Bobot]
+- PR#1467: Z.hash is declared as "noalloc" [François Bobot]
 - PR#1451: configure fix [Spiros Eliopoulos]
 - PR#1436: disable "(void)" trick for unused variables on Windows [Bernhard 
Schommer]
 - PR#1434: removed dependencies on printf & co when Z_PERFORM_CHECK is 0 
[Hannes Mehnert]
diff --git a/META b/META
index 854de4b..d2aeb02 100644
--- a/META
+++ b/META
@@ -1,5 +1,5 @@
 description = "Arbitrary precision integers"
 requires = ""
-version = "1.4.1"
+version = "1.5"
 archive(byte) = "zarith.cma"
 archive(native) = "zarith.cmxa"
diff --git a/Makefile b/Makefile
deleted file mode 100644
index 7c4c31f..000
--- a/Makefile
+++ /dev/null
@@ -1,25 +0,0 @@
-# generated by ./configure
-
-CC=gcc
-OCAMLC=ocamlc
-OCAMLOPT=ocamlopt
-OCAMLDEP=ocamldep
-OCAMLMKLIB=ocamlmklib
-OCAMLDOC=ocamldoc
-OCAMLFLAGS=
-OCAMLOPTFLAGS=
-OCAMLINC=
-CFLAGS=-I/home/mine/.opam/4.02.1/lib/ocaml  -DZ_OCAML_HASH 
-DZ_OCAML_COMPARE_EXT -DHAS_GMP -DZ_ELF -DZ_DOT_LABEL_PREFIX  -O3 -Wall -Wextra 
-I/home/mine/include -I/usr/local/include
-ASFLAGS=-DZ_OCAML_HASH -DZ_OCAML_COMPARE_EXT -DHAS_GMP -DZ_ELF 
-DZ_DOT_LABEL_PREFIX  
-LIBS=-L/home/mine/lib -L/usr/local/lib -lgmp
-ARCH=x86_64
-INSTALLDIR=/home/mine/.opam/4.02.1/lib
-AR=ar
-INSTALL=install
-OCAMLFIND=ocamlfind
-INSTMETH=findlib
-OBJSUFFIX=o
-HASOCAMLOPT=yes
-HASDYNLINK=yes
-
-include project.mak
diff --git a/README b/README
deleted file mode 100644
index 6f934b8..000
--- a/README
+++ /dev/null
@@ -1,130 +0,0 @@
->OVERVIEW:
-
-This library implements arithmetic and logical operations over
-arbitrary-precision integers.  
-
-The module is simply named "Z".  Its interface is similar to that of
-the Int32, Int64 and Nativeint modules from the OCaml standard
-library, with some additional functions.  See the file z.mlip for
-documentation.
-
-The implementation uses GMP (the GNU Multiple Precision arithmetic
-library) to compute over big integers. 
-However, small integers are represented as unboxed Caml integers, to save 
-space and improve performance. Big integers are allocated in the Caml heap, 
-bypassing GMP's memory management and achieving better GC behavior than e.g. 
-the MLGMP library.
-Computations on small integers use a special, faster path (coded in assembly
-for some platforms and functions) eschewing calls to GMP, while computations
-on large intergers use the low-level MPN functions from GMP.
-
-Arbitrary-precision integers can be compared correctly using OCaml's 
-polymorphic comparison operators (=, <, >, etc.). 
-This requires OCaml version 3.12.1 or later, though.
-
-Additional features include:
-- a module Q for rationals, built on top of Z (see q.mli)
-- a compatibility layer Big_int_Z that implements the same API as Big_int,
-but uses Z internally
-
-
-
-REQUIREMENTS:
-
-- OCaml, preferably version 3.12.1 or later.  
-(Earlier versions are usable but generic comparisons will misbehave.)
-- Either the GMP library or 

[Pkg-ocaml-maint-commits] [ocaml-zarith] 03/07: Updated version 1.5 from 'upstream/1.5'

2017-09-22 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-zarith.

commit e4e68e56c2a75b6a2aab58b40a6b9f50fc555a65
Merge: 407722a f0827a1
Author: Stephane Glondu 
Date:   Fri Sep 22 15:08:35 2017 +0200

Updated version 1.5 from 'upstream/1.5'

with Debian dir 69b9cd17851067480f19e1e500f7ae9f065b56fd

 .gitignore   |  10 +
 Changes  |  13 +-
 META |   2 +-
 Makefile |  25 ---
 README   | 130 ---
 README.md| 126 +
 caml_z.c |   6 +--
 project.mak  |   7 +--
 q.ml |  36 ++-
 q.mli|   5 +++
 tests/bi.ml  |  14 +++---
 tests/tofloat.ml |  80 ++
 z.mlip   |  52 +-
 z.mlp|  30 ++---
 z_pp.pl  |   8 
 15 files changed, 320 insertions(+), 224 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-zarith.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-zarith] 05/07: Remove patch (merged upstream)

2017-09-22 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-zarith.

commit 14d140fbc35c98e2f76c001823ff5e49de2103e6
Author: Stephane Glondu 
Date:   Fri Sep 22 15:12:07 2017 +0200

Remove patch (merged upstream)
---
 .../patches/0001-Build-plugin-with-linkall.patch   | 22 --
 debian/patches/series  |  1 -
 2 files changed, 23 deletions(-)

diff --git a/debian/patches/0001-Build-plugin-with-linkall.patch 
b/debian/patches/0001-Build-plugin-with-linkall.patch
deleted file mode 100644
index f51fd53..000
--- a/debian/patches/0001-Build-plugin-with-linkall.patch
+++ /dev/null
@@ -1,22 +0,0 @@
-From: Stephane Glondu 
-Date: Wed, 22 Feb 2017 11:15:48 +0100
-Subject: Build plugin with -linkall
-
-Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=854787

- project.mak | 2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
-
-diff --git a/project.mak b/project.mak
-index 79d5750..3bee2b0 100644
 a/project.mak
-+++ b/project.mak
-@@ -65,7 +65,7 @@ zarith.cmxa zarith.$(LIBSUFFIX): $(MLSRC:%.ml=%.cmx)
-   $(OCAMLMKLIB) -failsafe -o zarith $+ $(LIBS)
- 
- zarith.cmxs: zarith.cmxa libzarith.$(LIBSUFFIX)
--  $(OCAMLOPT) -shared -o $@ -I . zarith.cmxa
-+  $(OCAMLOPT) -linkall -shared -o $@ -I . zarith.cmxa
- 
- libzarith.$(LIBSUFFIX) dllzarith.$(DLLSUFFIX): $(SSRC:%.S=%.$(OBJSUFFIX)) 
$(CSRC:%.c=%.$(OBJSUFFIX)) 
-   $(OCAMLMKLIB) -failsafe -o zarith $+ $(LIBS)
diff --git a/debian/patches/series b/debian/patches/series
deleted file mode 100644
index ae2698f..000
--- a/debian/patches/series
+++ /dev/null
@@ -1 +0,0 @@
-0001-Build-plugin-with-linkall.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-zarith.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-zarith] annotated tag upstream/1.5 created (now 2da8470)

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

glondu pushed a change to annotated tag upstream/1.5
in repository ocaml-zarith.

at  2da8470   (tag)
   tagging  f0827a1c06b2667dbdd8efd207be9e8261b0f13f (commit)
  replaces  upstream/1.4.1
 tagged by  Stephane Glondu
on  Fri Sep 22 15:08:35 2017 +0200

- Log -
Upstream version 1.5

Stephane Glondu (1):
  New upstream version 1.5

---

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-zarith.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-zarith] branch master updated (bfd5cb0 -> 06dddfa)

2017-09-22 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-zarith.

  from  bfd5cb0   Add pristine-tar to debian/gbp.conf
   new  407722a   Switch upstream location to github
   new  f0827a1   New upstream version 1.5
   new  e4e68e5   Updated version 1.5 from 'upstream/1.5'
   new  c1845d1   New upstream release
   new  14d140f   Remove patch (merged upstream)
   new  5a21528   Update Vcs-*
   new  06dddfa   Update changelog and prepare upload to unstable

The 7 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:
 .gitignore |  10 ++
 Changes|  13 ++-
 META   |   2 +-
 Makefile   |  25 
 README | 130 -
 README.md  | 126 
 caml_z.c   |   6 +-
 debian/changelog   |   9 ++
 debian/control |   6 +-
 .../patches/0001-Build-plugin-with-linkall.patch   |  22 
 debian/patches/series  |   1 -
 debian/watch   |   3 +-
 project.mak|   7 +-
 q.ml   |  36 +-
 q.mli  |   5 +
 tests/bi.ml|  14 ++-
 tests/tofloat.ml   |  80 ++---
 z.mlip |  52 +
 z.mlp  |  30 ++---
 z_pp.pl|   8 ++
 20 files changed, 333 insertions(+), 252 deletions(-)
 create mode 100644 .gitignore
 delete mode 100644 Makefile
 delete mode 100644 README
 create mode 100644 README.md
 delete mode 100644 debian/patches/0001-Build-plugin-with-linkall.patch
 delete mode 100644 debian/patches/series

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-zarith.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-zarith] 01/01: pristine-tar data for ocaml-zarith_1.5.orig.tar.gz

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

glondu pushed a commit to branch pristine-tar
in repository ocaml-zarith.

commit c32e11997036358895b6e404c91f8be1d7cbc4b3
Author: Stephane Glondu 
Date:   Fri Sep 22 15:08:35 2017 +0200

pristine-tar data for ocaml-zarith_1.5.orig.tar.gz
---
 ocaml-zarith_1.5.orig.tar.gz.delta | Bin 0 -> 1919 bytes
 ocaml-zarith_1.5.orig.tar.gz.id|   1 +
 2 files changed, 1 insertion(+)

diff --git a/ocaml-zarith_1.5.orig.tar.gz.delta 
b/ocaml-zarith_1.5.orig.tar.gz.delta
new file mode 100644
index 000..c204f32
Binary files /dev/null and b/ocaml-zarith_1.5.orig.tar.gz.delta differ
diff --git a/ocaml-zarith_1.5.orig.tar.gz.id b/ocaml-zarith_1.5.orig.tar.gz.id
new file mode 100644
index 000..58e992d
--- /dev/null
+++ b/ocaml-zarith_1.5.orig.tar.gz.id
@@ -0,0 +1 @@
+506e14dc48404ea5f25470c1dd903e5c1f2bb14f

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-zarith.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-zarith] branch pristine-tar updated (e2c82be -> c32e119)

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

glondu pushed a change to branch pristine-tar
in repository ocaml-zarith.

  from  e2c82be   pristine-tar data for ocaml-zarith_1.4.1.orig.tar.gz
   new  c32e119   pristine-tar data for ocaml-zarith_1.5.orig.tar.gz

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:
 ocaml-zarith_1.5.orig.tar.gz.delta | Bin 0 -> 1919 bytes
 ocaml-zarith_1.5.orig.tar.gz.id|   1 +
 2 files changed, 1 insertion(+)
 create mode 100644 ocaml-zarith_1.5.orig.tar.gz.delta
 create mode 100644 ocaml-zarith_1.5.orig.tar.gz.id

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-zarith.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-zarith] branch upstream updated (e6156f4 -> f0827a1)

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

glondu pushed a change to branch upstream
in repository ocaml-zarith.

  from  e6156f4   Imported Upstream version 1.4.1
   new  f0827a1   New upstream version 1.5

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:
 .gitignore   |  10 +
 Changes  |  13 +-
 META |   2 +-
 Makefile |  25 ---
 README   | 130 ---
 README.md| 126 +
 caml_z.c |   6 +--
 project.mak  |   7 +--
 q.ml |  36 ++-
 q.mli|   5 +++
 tests/bi.ml  |  14 +++---
 tests/tofloat.ml |  80 ++
 z.mlip   |  52 +-
 z.mlp|  30 ++---
 z_pp.pl  |   8 
 15 files changed, 320 insertions(+), 224 deletions(-)
 create mode 100644 .gitignore
 delete mode 100644 Makefile
 delete mode 100644 README
 create mode 100644 README.md

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-zarith.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-zarith] annotated tag debian/1.5-1 created (now d34e772)

2017-09-22 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.5-1
in repository ocaml-zarith.

at  d34e772   (tag)
   tagging  06dddfa46590eefd226900e7c6194cd6e2e6bd61 (commit)
  replaces  debian/1.4.1-2
 tagged by  Stephane Glondu
on  Fri Sep 22 15:25:42 2017 +0200

- Log -
ocaml-zarith Debian release 1.5-1
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnFD1YACgkQeFPaTUmI
GtP7LQ//TUwKOz49QYhnrZmtO63N5/ogzwAadQHump/W/tSRk5VIC3NpztwLewWX
E7Ac7ZEY/z9Bd7NBNHEuT5jpaKWZ1APXM5a23ce2D27cD7qoIyHPmLRdUzd9pZLz
c3MvRPFbnz1fYxLuwYkysbd/HEf58NUjKBKLOeWiuYnASMeinl0NJ8MmhKFb16IF
rzXtpF9COKDXl7EEWC8/A9i/2pX3Nv8ggKad+W6Bkfw+RXM4Eb0A0eVQvWpEtQrI
PEXnnCRCmk/A44hGHngjv7QlAHGGS8KLvQg3TH0E91oj8+44SSmPeMUk5yCF3fFE
UolE6MeibdaiZW6n2J5EV9Wrh5KG7GRYgmWSdvz5N0rdmLUJQxxSZNEv48AOOrAj
YW2PPvyroVXuD0ol5f0wM/9JMdJmNacacOD781nASGPj6vYlAjv0UXMIm+TzND8S
ePABtXbD1MpofuokVlWPjgpXtoWEYkJJhBVn9JLYCbR6dM+ETbGfEtdxlgV2hj3q
fn6J4vr8FzFos7UjZAJlOIf4iPFT2QlZP2YxTkQLg012BdI11EdEXsZ5XXBCJQ0G
gcBEZhizdjSxe87mkIWMiZoBxG+uPiImYxCbcv75Fgz8FhTwGcRbiVSJXr/xeXcA
k6zDZpnQWzVus6mnquwrDOQptPBSzbkDleDjeKgejw+LzOyN8Yc=
=Sz3h
-END PGP SIGNATURE-

Stephane Glondu (8):
  Add pristine-tar to debian/gbp.conf
  Switch upstream location to github
  New upstream version 1.5
  Updated version 1.5 from 'upstream/1.5'
  New upstream release
  Remove patch (merged upstream)
  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-zarith.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-zarith] 04/07: New upstream release

2017-09-22 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-zarith.

commit c1845d1d167c0ba943e36c68e1654a1d4bc7c12a
Author: Stephane Glondu 
Date:   Fri Sep 22 15:08:50 2017 +0200

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

diff --git a/debian/changelog b/debian/changelog
index 2267f70..8042e53 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+ocaml-zarith (1.5-1) UNRELEASED; urgency=medium
+
+  * New upstream release
+
+ -- Stéphane Glondu   Fri, 22 Sep 2017 15:08:38 +0200
+
 ocaml-zarith (1.4.1-2) unstable; urgency=medium
 
   * Team upload

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-zarith.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-zarith] 01/07: Switch upstream location to github

2017-09-22 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-zarith.

commit 407722ae146c9670a750a6326998dad0144e764a
Author: Stephane Glondu 
Date:   Fri Sep 22 15:07:22 2017 +0200

Switch upstream location to github
---
 debian/control | 2 +-
 debian/watch   | 3 +--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/debian/control b/debian/control
index cf37f9e..c4dd206 100644
--- a/debian/control
+++ b/debian/control
@@ -13,7 +13,7 @@ Build-Depends:
 Standards-Version: 3.9.6
 Vcs-Browser: 
https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/ocaml-zarith.git
 Vcs-Git: 
https://anonscm.debian.org/git/git/pkg-ocaml-maint/packages/ocaml-zarith.git
-Homepage: https://forge.ocamlcore.org/projects/zarith/
+Homepage: https://github.com/ocaml/Zarith
 
 Package: libzarith-ocaml-dev
 Architecture: any
diff --git a/debian/watch b/debian/watch
index f5df355..ead4af2 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,3 +1,2 @@
 version=3
-http://forge.ocamlcore.org/frs/?group_id=243 \
-   /frs/download.php/.*/zarith-(.*).tgz
+https://github.com/ocaml/Zarith/releases .*/release-(.*)\.tar\.gz

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

2017-09-22 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-zarith.

commit 5a21528ca786c93f07f5bb0b9052a27b394c0772
Author: Stephane Glondu 
Date:   Fri Sep 22 15:16:33 2017 +0200

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

diff --git a/debian/control b/debian/control
index c4dd206..54de6c8 100644
--- a/debian/control
+++ b/debian/control
@@ -11,8 +11,8 @@ Build-Depends:
   autotools-dev,
   ocaml-findlib
 Standards-Version: 3.9.6
-Vcs-Browser: 
https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/ocaml-zarith.git
-Vcs-Git: 
https://anonscm.debian.org/git/git/pkg-ocaml-maint/packages/ocaml-zarith.git
+Vcs-Browser: 
https://anonscm.debian.org/git/pkg-ocaml-maint/packages/ocaml-zarith.git
+Vcs-Git: 
https://anonscm.debian.org/git/pkg-ocaml-maint/packages/ocaml-zarith.git
 Homepage: https://github.com/ocaml/Zarith
 
 Package: libzarith-ocaml-dev

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

2017-09-22 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-zarith.

commit 06dddfa46590eefd226900e7c6194cd6e2e6bd61
Author: Stephane Glondu 
Date:   Fri Sep 22 15:13:03 2017 +0200

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

diff --git a/debian/changelog b/debian/changelog
index 8042e53..2d966be 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,11 @@
-ocaml-zarith (1.5-1) UNRELEASED; urgency=medium
+ocaml-zarith (1.5-1) unstable; urgency=medium
 
+  * Team upload
   * New upstream release
+  * Switch upstream location to github
+  * Update Vcs-*
 
- -- Stéphane Glondu   Fri, 22 Sep 2017 15:08:38 +0200
+ -- Stéphane Glondu   Fri, 22 Sep 2017 15:16:52 +0200
 
 ocaml-zarith (1.4.1-2) unstable; urgency=medium
 

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-zarith.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] [ppx-tools] annotated tag debian/5.0+4.05.0-1 created (now 04df55e)

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

glondu pushed a change to annotated tag debian/5.0+4.05.0-1
in repository ppx-tools.

at  04df55e   (tag)
   tagging  7a2a826bd644db0b96eea88be1b90fa5bf0461ef (commit)
  replaces  debian/5.0+4.02.0-1
 tagged by  Stephane Glondu
on  Fri Sep 22 15:03:04 2017 +0200

- Log -
ppx-tools Debian release 5.0+4.05.0-1
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnFCggACgkQeFPaTUmI
GtM1Ug/8DdZ39xpQjl7e7Z57FHK+BlzOlMPwFIe60XfnAZDEdkJbOzcHYgb10x0X
irIoBEpgEw9PY5fM/pIPbtoX+KkCO4VCgsNcWcf+BNo3t3bmMRFVXwO2jH/09luk
YRHt+O3Fd6gJ1Gz6RpHTk4TBqqxj82Jh8StT/C9EEBEYX28dD5HzQha201YD9OQm
f+BqNFuXCoG2YIiNLy8Cu/0r2fQcJeM9kMK55R/GlwT/p+cXUIIT2VbPr+9rd/DY
YGyfCB/cPaN6kSwdFwtHIUdcIXrg4G3BR5wBVx+Oon7tRCiwKPtGIXaZgGqxWscO
Cog69ZplMWcWPdJqZWKYGRCfv7mqlDqdw3xtxUHMBvqZn6a3hK9NNVbT54Mq0VGi
GkMvsj3Y+JCreagxDq/93206hattzSQ54+W8bH7Lfy5X2X4RQVGCia0GOj7RRw1F
+euVJVKmv07hXv14pQqNnW4cFxvCytqluTlaFGdRjXV6uKk/QCM1bulirInBu2wY
GNXZqsNhqSjG/d8lPt2bMs0li1ORMjgTvS/q+fY8HAZpHJfNUtWTYH+i9mdACXo2
Q0GzQMrKsmhSYoK3DONdB0CSNiYjPsriKCx5X7sDOp8UvUFdSHRQX5u4faut7eOX
0Capylk5axs9LTb9sGjpq7zMM8snf4hhSTRn4qAfEuyuEmTHChw=
=9wUz
-END PGP SIGNATURE-

Stephane Glondu (6):
  New upstream version 5.0+4.03.0
  New upstream version 5.0+4.05.0
  Updated version 5.0+4.05.0 from 'upstream/5.0+4.05.0'
  New upstream release
  This package requires ocaml >= 4.05
  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/ppx-tools.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] [ppx-tools] 01/01: Prepare upload to unstable

2017-09-22 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 ppx-tools.

commit 7a2a826bd644db0b96eea88be1b90fa5bf0461ef
Author: Stephane Glondu 
Date:   Fri Sep 22 14:59:31 2017 +0200

Prepare upload to unstable
---
 debian/changelog | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 70e30fb..602703b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,8 @@
-ppx-tools (5.0+4.05.0-1) UNRELEASED; urgency=medium
+ppx-tools (5.0+4.05.0-1) unstable; urgency=medium
 
   * New upstream release
 
- -- Stéphane Glondu   Wed, 19 Jul 2017 19:00:00 +0200
+ -- Stéphane Glondu   Fri, 22 Sep 2017 14:59:21 +0200
 
 ppx-tools (5.0+4.02.0-1) unstable; urgency=medium
 

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

2017-09-22 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 ppx-tools.

  from  3672039   This package requires ocaml >= 4.05
   new  7a2a826   Prepare upload to unstable

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 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ppx-tools.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] [tophide] annotated tag debian/1.0.4-1 created (now 1f34092)

2017-09-20 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.0.4-1
in repository tophide.

at  1f34092   (tag)
   tagging  61593bf1523d7d12f53314b35ba6468b606fb20b (commit)
  replaces  debian/1.0.3-1
 tagged by  Stephane Glondu
on  Thu Sep 21 08:25:59 2017 +0200

- Log -
tophide Debian release 1.0.4-1
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnDW3cACgkQeFPaTUmI
GtOykg//bFMUXerAC83jwyejeQKhOp5JCe7uX3kRjfed7wiRZwWG3Ds4PucuBBBZ
SRv/q3qLBhCdiu4PmjWGNhTYxAvCApvgjJlU2RzQHeigMHraKIYMp9Gys88QPklL
/bsi1mGNcY/mYYrzZ+fH99Q+hjWcF1gk3J6Dz/qHDOLFlqAq5bCNhTjUG8ADmwvR
UnPV225CLhm9OXDNgkwukt9/aMB/FJXPduuVwpP5gYPJep3A+TLPg9vVlIw10VpF
vfEF7nwwIgg6P7sqnRxc1l8ZmXlKs+bHqy7c+IcwyiwGcdfDYft6gy0efO1V5R1K
J+/fT8dbIRdKw1Aa8kS4hq8YpbvO409UaTgm0ugZP/AWKaTzYXTS2vnpyX6IJWeO
kc1nLzXmbNJobSZho7wiZFmAX30yOGUF+jr7QZDv9Qr2zkUvjb2dqhw3p/3Pvuru
DXyxF0GMDVhR5XRsaju6AA2h+bwAGR2dxjCsU0+wxctc6k87moR7EwpN6K8B/wqo
G7eT99t82HZs1xaAiRhXHOe6sHFKmkUQt0cP/xGr9c0NIaEFLlEaLO+Fg6fN4KDs
fIjsKM2wpVYcELLxBYg0BlmLWENZucuz1u2ZmbNxThr5i5REwQ+8/oe78onjByOP
+zHzAWBi8HaDXlva5FOpXBI/4Cs9rIBlo47NOLoO++Z78sdFynk=
=kiP+
-END PGP SIGNATURE-

Stephane Glondu (8):
  New upstream version 1.0.4
  Updated version 1.0.4 from 'upstream/1.0.4'
  New upstream release
  Refresh patches
  Update Vcs-*
  This version needs ocaml >= 4.04
  Update changelog
  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/tophide.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] [tophide] branch master updated (e14805c -> 61593bf)

2017-09-20 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 tophide.

  from  e14805c   Update changelog
   new  61593bf   Prepare upload to unstable

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 | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/tophide.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] [tophide] 01/01: Prepare upload to unstable

2017-09-20 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 tophide.

commit 61593bf1523d7d12f53314b35ba6468b606fb20b
Author: Stephane Glondu 
Date:   Thu Sep 21 08:21:32 2017 +0200

Prepare upload to unstable
---
 debian/changelog | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index da69851..671ccd6 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,10 +1,11 @@
-tophide (1.0.4-1) UNRELEASED; urgency=medium
+tophide (1.0.4-1) unstable; urgency=medium
 
+  * Team upload
   * New upstream release
 - needs ocaml >= 4.04
   * Update Vcs-*
 
- -- Stéphane Glondu   Tue, 18 Jul 2017 22:22:04 +0200
+ -- Stéphane Glondu   Thu, 21 Sep 2017 08:21:27 +0200
 
 tophide (1.0.3-1) unstable; urgency=medium
 

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

2017-09-20 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 labltk.

  from  eae5ae3   This version needs ocaml >= 4.05
   new  e10a711   Update Vcs-*
   new  f51ebc6   Update changelog and prepare upload to unstable

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

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

2017-09-20 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 labltk.

commit e10a711502ff43954f0488bd7097b99464db0a71
Author: Stephane Glondu 
Date:   Wed Sep 20 14:32:21 2017 +0200

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

diff --git a/debian/control b/debian/control
index ee42b43..7769a3c 100644
--- a/debian/control
+++ b/debian/control
@@ -12,8 +12,8 @@ Build-Depends:
  dh-ocaml
 Standards-Version: 3.9.6
 Homepage: https://forge.ocamlcore.org/projects/labltk/
-Vcs-Browser: 
http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/labltk.git
-Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/labltk.git
+Vcs-Browser: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/labltk.git
+Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/labltk.git
 
 Package: labltk
 Architecture: any

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

2017-09-20 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 labltk.

commit f51ebc62b6ff6a2f2794ca167ff6466dfbf0b7fc
Author: Stephane Glondu 
Date:   Wed Sep 20 14:33:57 2017 +0200

Update changelog and prepare upload to unstable
---
 debian/changelog | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 1e7b42c..aa6fd35 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,9 @@
-labltk (8.06.2+dfsg-1) UNRELEASED; urgency=medium
+labltk (8.06.2+dfsg-1) unstable; urgency=medium
 
   * New upstream release
+  * Update Vcs-*
 
- -- Stéphane Glondu   Sat, 15 Jul 2017 16:32:30 +0200
+ -- Stéphane Glondu   Wed, 20 Sep 2017 14:33:53 +0200
 
 labltk (8.06.0+dfsg-3) unstable; urgency=medium
 

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/labltk.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] [labltk] annotated tag debian/8.06.2+dfsg-1 created (now d5abb4c)

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

glondu pushed a change to annotated tag debian/8.06.2+dfsg-1
in repository labltk.

at  d5abb4c   (tag)
   tagging  f51ebc62b6ff6a2f2794ca167ff6466dfbf0b7fc (commit)
  replaces  debian/8.06.0+dfsg-3
 tagged by  Stephane Glondu
on  Wed Sep 20 14:37:19 2017 +0200

- Log -
labltk Debian release 8.06.2+dfsg-1
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnCYP8ACgkQeFPaTUmI
GtNqzw/+I64erpX+PkDPXnZCWlndqWj/pTaGI19aJ3UAelRzUY8MVF0ZH60UPQ3O
0Wz4VqylqkXkTPd310rzQP8p4jGV64T0WyogHaAfKzFcxvE1hUNbstUO52zxKdjD
ymxTOWbZWKoAi68RqTPxl/Mw0nPAUgfWMF79ugrzenKyAcV33JhM/Y74/Zyg2qDF
B1OF++l23HWV8pMnbl+FRg+O8ZXYpiKObD3jJR7guptqJci2rLMbfhw5gctk17+y
C6nPBywitE5yXmIfMfbPuC3y8xxU84lVPGcl3YFydTxM5M5raUlmCQHvZJJP1cPg
kEN3scEzt7lI6jXLEckNnlhDvd3LGMjwmSYA3/r92klfLeeJVnCHhw9GynAFWOVx
9NS8BQywah3vq9tiKnlMOJkWksd0vryhLyYQ7HON7OyGGk3SgO5L0VcZwIn97IS5
qpZ1E3qiX5UisJ4hpWPiLZ1mPaa7eMNidBUm53vDrcZDzEREIZWCyx2OTfSO4bCW
au/w4TirMZ2P7kacu4oOxIbhG6FqcjuSjYV5KB2M/mt8vtdcoCVQSjjTZ+Uxr3g5
gunonxAZjv4n+wbHunQT5fyEivtaBDgo9Rek7a2o84kGqrAi11NN4zGnZ9jBNCol
xtj54whuDWoPAptfZs/9hXs6yUs9z1WGYe7FBC/WfkQAGymbHuc=
=wM/l
-END PGP SIGNATURE-

Stephane Glondu (12):
  Add filter-pristine-tar directive to d/gbp.conf
  Imported Upstream version 8.06.1+dfsg
  Merge tag 'upstream/8.06.1+dfsg'
  New upstream release
  This version depends on ocaml >= 4.03
  New upstream version 8.06.2+dfsg
  Updated version 8.06.2+dfsg from 'upstream/8.06.2+dfsg'
  New upstream release
  Fix for OCaml 4.05.0
  This version needs ocaml >= 4.05
  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/labltk.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] [xml-light] annotated tag debian/2.4-1 created (now 5482a66)

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

glondu pushed a change to annotated tag debian/2.4-1
in repository xml-light.

at  5482a66   (tag)
   tagging  9685a45f45b8fb4f29419ee93959ce501ceeb9a2 (commit)
  replaces  debian/2.2-17
 tagged by  Stephane Glondu
on  Wed Aug 9 07:34:23 2017 +0200

- Log -
xml-light Debian release 2.4-1
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlmKnt8ACgkQeFPaTUmI
GtOHQA//Qv0kAfTjTFkOLYPwS6DPjKlHrGvNQLBL/tf8W57qHJlYv4r3gFWWYbt6
+RjQXMIxkl2p72h/LPjIyPJh92QSEo1zOMHgzW9QZNMfIliYISa9eFe49A9D3CTl
2R88VLO77hhWR+7fHbvPqWdvmDkWHqu9iBnsD746J2hKDyO7JU93zw9GRHc0K+4N
W/wOaaVuGNj8b0wzqf3MaoBNraNFpproYlwwtcJviL246FYtnfmphycotqVG1jfp
QgXHYIw4293lCrWz1HiVKMEq4y1Bi4zsqdU+GEoVlJUaUP6u1GCaXi35+9VAOrS4
e4Djnf4eO1+wHFR1n15pb4rlGk00GHYT/dwTB9JM0J1Ysz8j2imUtwS83/Emh07Q
1Ujj+rHQgn6lkqB5ZpQDbAaHS1jTrRAJIvk08IDsQy/MIRCqUKHGXZP6aYwmc1E9
xZUimV1CcLfxtLUIdrxqekHeMOt6b5T9uNWdi1qu06TIbGS5ltrj0mHa8ZGnfeUj
jzXAbackZyGWq4M03EUnrvNqhrQ53nqQUcSg4rqDbEYJo6VKnXxmXLkopbDVfmUt
Scyo09jdv52DaY8G5HHO/5O/CsyFs1jyNo52gxVF9WSan+j+t3/tT8eTSrRuoRkK
G3GxGZliar/eLzANeAwlIWvYDPDj/DD0JIHrBA4eti2FBfHiFPQ=
=HIll
-END PGP SIGNATURE-

Andy Li (4):
  update d/watch to new upstream repo
  Imported Upstream version 2.4
  Merge tag 'upstream/2.4'
  * New upstream version.

---

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/xml-light.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] [xstr] 03/08: Update Vcs-*

2017-08-08 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 xstr.

commit e54e24d8e5369c1e791c261bb7a8bf4e48ca4aba
Author: Stephane Glondu 
Date:   Tue Aug 8 17:39:13 2017 +0200

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

diff --git a/debian/control b/debian/control
index 10de678..58d3b99 100644
--- a/debian/control
+++ b/debian/control
@@ -10,8 +10,8 @@ Build-Depends:
  dh-ocaml (>= 0.9.1),
  dpatch
 Standards-Version: 3.8.3
-Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/xstr.git
-Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/xstr.git
+Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/xstr.git
+Vcs-Browser: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/xstr.git
 Homepage: http://projects.camlcity.org/projects/xstr.html
 
 Package: libxstr-ocaml-dev

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

2017-08-08 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 xstr.

commit 4bea5ecf5128a8cfedc3d945bac7854a805214b9
Author: Stephane Glondu 
Date:   Tue Aug 8 17:55:06 2017 +0200

Update changelog and prepare upload to unstable
---
 debian/changelog | 13 +++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index c67716c..736b209 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,13 @@
-xstr (0.2.1-22) UNRELEASED; urgency=low
+xstr (0.2.1-22) unstable; urgency=medium
+
+  [ Stéphane Glondu ]
+  * Team upload
+  * Switch debian/copyright to format 1.0
+  * Update Vcs-*
+  * Switch source package format to 3.0 (quilt)
+  * Bump debhelper compat to 10
+  * Bump Standards-Version to 4.0.1
+  * Switch debian/rules to dh
 
   [ Stefano Zacchiroli ]
   * Remove myself from Uploaders
@@ -6,7 +15,7 @@ xstr (0.2.1-22) UNRELEASED; urgency=low
   [ Sylvain Le Gall ]
   * Remove Sylvain Le Gall from uploaders (Closes: #869320)
 
- -- Stefano Zacchiroli   Sat, 08 Oct 2011 19:34:18 +0200
+ -- Stéphane Glondu   Tue, 08 Aug 2017 17:54:59 +0200
 
 xstr (0.2.1-21) unstable; urgency=low
 

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/xstr.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] [xstr] annotated tag debian/0.2.1-22 created (now d226a9e)

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

glondu pushed a change to annotated tag debian/0.2.1-22
in repository xstr.

at  d226a9e   (tag)
   tagging  4bea5ecf5128a8cfedc3d945bac7854a805214b9 (commit)
  replaces  debian/0.2.1-21
 tagged by  Stephane Glondu
on  Tue Aug 8 17:59:17 2017 +0200

- Log -
xstr Debian release 0.2.1-22
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlmJ39UACgkQeFPaTUmI
GtPR1BAAiVHus68/bMdsUQ+ovy5Tjpue9q8B+nUT6DWBDVcZ7f0StlgoHODPbiyz
WYXaGiqVeIT9dqsyjdwujrWETP63d1UDvTiFT6gs4fRCOJriEnWQQzGyNg5+Up/Z
3jRLZxzIqxLO6Ba2nZi8r6WKfHaUsNlYXqFat7kDVjfPi4e/txDBF59r1RrDWhN1
49ADYSBpHUuJUL9cy/t4hHE6zjNVhWnNvSNJjxo2cz2CTVoTy/2dthWvbnBkT/wZ
qRYeVOhX9wcrudbmmRXxXQK9kD/awj+uuwT9ivhaD53PkaLcX5LD0FVnjuIPjH4q
ybJWP8CF687QAjW1IYSbfdoRd0mZiFchKlqBUJJBAXaHHKjKaC3UOykfl5Z2Ob4D
1Jrr3n0LnMYuOj4jpy8Wq8YDurwHeg1+Q0HDKdU1RE05NGTMp4qcaBs+0YUiY5xF
zBK3xL4lLV7aTePG1xwh2y6Q8iJ6yXlQUJjKBovPqeYU/uveWi0i2jf9xE0XMufA
IWdNVMyubL/nsu6jCjZUVvDmxkPT8rU37geZra/uYtPPjFZpOttW9Mgpin5Iqzn+
UJInSFkmO+h10gjByiQbiPBW/TZW8hCtrcfC4OWIE1ZjWa3rwc1gJMXjPgOeeLMx
08raT4XqDS+cu1GrAQ2nizlxjbrdV6JvpyqHvk5uZKhKtY8jTn4=
=Wkjd
-END PGP SIGNATURE-

Stefano Zacchiroli (1):
  Remove myself from Uploaders

Stephane Glondu (8):
  (Closes: #869320)
  Switch debian/copyright to format 1.0
  Update Vcs-*
  Switch source package format to 3.0 (quilt)
  Bump debhelper compat to 10
  Bump Standards-Version to 4.0.1
  Switch debian/rules to dh
  Update changelog and prepare upload to unstable

Sylvain Le Gall (1):
  Remove Sylvain Le Gall from uploaders

---

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/xstr.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] [xstr] 06/08: Bump Standards-Version to 4.0.1

2017-08-08 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 xstr.

commit 563d0f4ee22deb2630fe3fe9f3c6545c1f9ca598
Author: Stephane Glondu 
Date:   Tue Aug 8 17:47:38 2017 +0200

Bump Standards-Version to 4.0.1
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 0591340..28dcc7b 100644
--- a/debian/control
+++ b/debian/control
@@ -8,7 +8,7 @@ Build-Depends:
  ocaml-findlib (>= 1.2.4),
  cdbs,
  dh-ocaml (>= 0.9.1)
-Standards-Version: 3.8.3
+Standards-Version: 4.0.1
 Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/xstr.git
 Vcs-Browser: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/xstr.git
 Homepage: http://projects.camlcity.org/projects/xstr.html

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/xstr.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] [xstr] 02/08: Switch debian/copyright to format 1.0

2017-08-08 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 xstr.

commit 4d307b68e99c797764475c6d8943ec5c62507d61
Author: Stephane Glondu 
Date:   Tue Aug 8 17:38:34 2017 +0200

Switch debian/copyright to format 1.0
---
 debian/copyright | 23 +--
 1 file changed, 9 insertions(+), 14 deletions(-)

diff --git a/debian/copyright b/debian/copyright
index fbc63f2..4b4cd7f 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,26 +1,21 @@
-This package was debianized by Stefano Zacchiroli  on
-Sat,  7 Apr 2001 01:01:51 +0200.
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Packaged-By: Stefano Zacchiroli 
+Packaged-Date: Sat,  7 Apr 2001 01:01:51 +0200.
+Upstream-Author: Gerd Stolpmann 
 
-It was downloaded from http://www.ocaml-programming.de
-
-Upstream Author: Gerd Stolpmann 
-
-Copyright:
-
- Copyright 1999 by Gerd Stolpmann
- 
- The package "xstr" is copyright by Gerd Stolpmann. 
- 
+Files: *
+Copyright: 1999 Gerd Stolpmann
+License: MIT
  Permission is hereby granted, free of charge, to any person obtaining
  a copy of the "xstr" software (the "Software"), to deal in the
  Software without restriction, including without limitation the rights
  to use, copy, modify, merge, publish, distribute, sublicense, and/or
  sell copies of the Software, and to permit persons to whom the
  Software is furnished to do so, subject to the following conditions:
- 
+ .
  The above copyright notice and this permission notice shall be included
  in all copies or substantial portions of the Software.
- 
+ .
  The Software is provided ``as is'', without warranty of any kind, express
  or implied, including but not limited to the warranties of
  merchantability, fitness for a particular purpose and noninfringement.

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/xstr.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] [xstr] 04/08: Switch source package format to 3.0 (quilt)

2017-08-08 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 xstr.

commit 22250490bde5fbd29de8dfeed4aa3304ebcf74b2
Author: Stephane Glondu 
Date:   Tue Aug 8 17:42:34 2017 +0200

Switch source package format to 3.0 (quilt)
---
 debian/control |  3 +--
 ...lling-to-a-target-directory-passed-from-.patch} | 24 --
 debian/patches/00dpatch.conf   |  2 --
 debian/patches/00list  |  1 -
 debian/patches/series  |  1 +
 debian/rules   |  1 -
 debian/source/format   |  1 +
 7 files changed, 16 insertions(+), 17 deletions(-)

diff --git a/debian/control b/debian/control
index 58d3b99..b866c3e 100644
--- a/debian/control
+++ b/debian/control
@@ -7,8 +7,7 @@ Build-Depends:
  ocaml-nox (>= 3.11),
  ocaml-findlib (>= 1.2.4),
  cdbs,
- dh-ocaml (>= 0.9.1),
- dpatch
+ dh-ocaml (>= 0.9.1)
 Standards-Version: 3.8.3
 Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/xstr.git
 Vcs-Browser: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/xstr.git
diff --git a/debian/patches/build.dpatch 
b/debian/patches/0001-Enable-installing-to-a-target-directory-passed-from-.patch
old mode 100755
new mode 100644
similarity index 50%
rename from debian/patches/build.dpatch
rename to 
debian/patches/0001-Enable-installing-to-a-target-directory-passed-from-.patch
index a59246b..5e3d9c3
--- a/debian/patches/build.dpatch
+++ 
b/debian/patches/0001-Enable-installing-to-a-target-directory-passed-from-.patch
@@ -1,14 +1,16 @@
-#! /bin/sh /usr/share/dpatch/dpatch-run
-## 01_build.dpatch by Stefano Zacchiroli 
-##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: enable installing to a target directory passed from debian/rules
+From: Stefano Zacchiroli 
+Date: Tue, 8 Aug 2017 17:40:35 +0200
+Subject: Enable installing to a target directory passed from debian/rules
 
-@DPATCH@
-diff -urNad xstr~/Makefile xstr/Makefile
 xstr~/Makefile 2009-02-26 23:07:16.0 +0100
-+++ xstr/Makefile  2009-02-26 23:08:40.321976359 +0100
-@@ -17,6 +17,7 @@
+---
+ Makefile | 4 +++-
+ 1 file changed, 3 insertions(+), 1 deletion(-)
+
+diff --git a/Makefile b/Makefile
+index c32be1b..cea4e61 100644
+--- a/Makefile
 b/Makefile
+@@ -17,6 +17,7 @@ XARCHIVE = xstr.cmxa
  NAME = xstr
  #REQUIRES =
  UNSAFE   =
@@ -16,7 +18,7 @@ diff -urNad xstr~/Makefile xstr/Makefile
  
  # you may try this: (0% to 10% faster)
  #UNSAFE   = -unsafe
-@@ -48,8 +49,9 @@
+@@ -48,8 +49,9 @@ depend: *.ml *.mli
  
  .PHONY: install
  install: all
diff --git a/debian/patches/00dpatch.conf b/debian/patches/00dpatch.conf
deleted file mode 100644
index c2409be..000
--- a/debian/patches/00dpatch.conf
+++ /dev/null
@@ -1,2 +0,0 @@
-conf_debianonly=1
-conf_origtargzpath=../upstream
diff --git a/debian/patches/00list b/debian/patches/00list
deleted file mode 100644
index 9f6dd28..000
--- a/debian/patches/00list
+++ /dev/null
@@ -1 +0,0 @@
-build.dpatch
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 000..32678e8
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+0001-Enable-installing-to-a-target-directory-passed-from-.patch
diff --git a/debian/rules b/debian/rules
index 5592a8b..39c275e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -2,7 +2,6 @@
 include /usr/share/cdbs/1/rules/ocaml.mk
 include /usr/share/cdbs/1/class/makefile.mk
 include /usr/share/cdbs/1/rules/debhelper.mk
-include /usr/share/cdbs/1/rules/dpatch.mk
 
 PKGNAME = libxstr-ocaml-dev
 DEB_MAKE_INSTALL_TARGET := install 
DESTDIR=$(CURDIR)/debian/$(PKGNAME)/$(OCAML_STDLIB_DIR)
diff --git a/debian/source/format b/debian/source/format
new file mode 100644
index 000..163aaf8
--- /dev/null
+++ b/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/xstr.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] [xstr] 05/08: Bump debhelper compat to 10

2017-08-08 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 xstr.

commit e25cb4b3de4759af9e630619185b7b93af9ef683
Author: Stephane Glondu 
Date:   Tue Aug 8 17:43:27 2017 +0200

Bump debhelper compat to 10
---
 debian/compat  | 2 +-
 debian/control | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/compat b/debian/compat
index 7f8f011..f599e28 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-7
+10
diff --git a/debian/control b/debian/control
index b866c3e..0591340 100644
--- a/debian/control
+++ b/debian/control
@@ -3,7 +3,7 @@ Section: ocaml
 Priority: optional
 Maintainer: Debian OCaml Maintainers 
 Build-Depends:
- debhelper (>= 7),
+ debhelper (>= 10),
  ocaml-nox (>= 3.11),
  ocaml-findlib (>= 1.2.4),
  cdbs,

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/xstr.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] [xstr] 01/08: (Closes: #869320)

2017-08-08 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 xstr.

commit eb0aaa4fb91d5a6f1c2e6be913f46eccee4d6f5c
Author: Stephane Glondu 
Date:   Tue Aug 8 17:36:03 2017 +0200

(Closes: #869320)
---
 debian/changelog | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 93fbfbf..c67716c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,7 +4,7 @@ xstr (0.2.1-22) UNRELEASED; urgency=low
   * Remove myself from Uploaders
 
   [ Sylvain Le Gall ]
-  * Remove Sylvain Le Gall from uploaders
+  * Remove Sylvain Le Gall from uploaders (Closes: #869320)
 
  -- Stefano Zacchiroli   Sat, 08 Oct 2011 19:34:18 +0200
 

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

2017-08-08 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 xstr.

  from  7ebc778   Remove Sylvain Le Gall from uploaders
   new  eb0aaa4   (Closes: #869320)
   new  4d307b6   Switch debian/copyright to format 1.0
   new  e54e24d   Update Vcs-*
   new  2225049   Switch source package format to 3.0 (quilt)
   new  e25cb4b   Bump debhelper compat to 10
   new  563d0f4   Bump Standards-Version to 4.0.1
   new  7c6526d   Switch debian/rules to dh
   new  4bea5ec   Update changelog and prepare upload to unstable

The 8 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   | 15 +++---
 debian/compat  |  2 +-
 debian/control | 12 +--
 debian/copyright   | 23 -
 ...lling-to-a-target-directory-passed-from-.patch} | 24 --
 debian/patches/00dpatch.conf   |  2 --
 debian/patches/00list  |  1 -
 debian/patches/series  |  1 +
 debian/rules   | 18 
 debian/source/format   |  1 +
 10 files changed, 52 insertions(+), 47 deletions(-)
 rename debian/patches/{build.dpatch => 
0001-Enable-installing-to-a-target-directory-passed-from-.patch} (50%)
 mode change 100755 => 100644
 delete mode 100644 debian/patches/00dpatch.conf
 delete mode 100644 debian/patches/00list
 create mode 100644 debian/patches/series
 create mode 100644 debian/source/format

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/xstr.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] [xstr] 07/08: Switch debian/rules to dh

2017-08-08 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 xstr.

commit 7c6526dbe2b5e2705c21ed686e45676845cfc45f
Author: Stephane Glondu 
Date:   Tue Aug 8 17:51:59 2017 +0200

Switch debian/rules to dh
---
 debian/control |  1 -
 debian/rules   | 17 ++---
 2 files changed, 10 insertions(+), 8 deletions(-)

diff --git a/debian/control b/debian/control
index 28dcc7b..7fba7d8 100644
--- a/debian/control
+++ b/debian/control
@@ -6,7 +6,6 @@ Build-Depends:
  debhelper (>= 10),
  ocaml-nox (>= 3.11),
  ocaml-findlib (>= 1.2.4),
- cdbs,
  dh-ocaml (>= 0.9.1)
 Standards-Version: 4.0.1
 Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/xstr.git
diff --git a/debian/rules b/debian/rules
index 39c275e..9349285 100755
--- a/debian/rules
+++ b/debian/rules
@@ -1,14 +1,17 @@
 #!/usr/bin/make -f
-include /usr/share/cdbs/1/rules/ocaml.mk
-include /usr/share/cdbs/1/class/makefile.mk
-include /usr/share/cdbs/1/rules/debhelper.mk
+
+include /usr/share/ocaml/ocamlvars.mk
 
 PKGNAME = libxstr-ocaml-dev
-DEB_MAKE_INSTALL_TARGET := install 
DESTDIR=$(CURDIR)/debian/$(PKGNAME)/$(OCAML_STDLIB_DIR)
 
+%:
+   dh $@ --with ocaml
+
+override_dh_auto_build:
+   dh_auto_build
 ifeq ($(OCAML_HAVE_OCAMLOPT),yes)
-build/$(PKGNAME)::
$(MAKE) opt
 endif
-build/$(PKGNAME)::
-   chmod +x $(CURDIR)/debian/expand_stars.sh
+
+override_dh_auto_install:
+   $(MAKE) install DESTDIR=$(CURDIR)/debian/$(PKGNAME)/$(OCAML_STDLIB_DIR)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/xstr.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] [mlpcap] 06/07: Bump debhelper compat to 10

2017-08-08 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 mlpcap.

commit bdd1fc19398df4e16a823bbe07f4af6e68e39e92
Author: Stephane Glondu 
Date:   Tue Aug 8 15:49:21 2017 +0200

Bump debhelper compat to 10
---
 debian/compat  |  2 +-
 debian/control | 12 ++--
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/debian/compat b/debian/compat
index 7f8f011..f599e28 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-7
+10
diff --git a/debian/control b/debian/control
index dadfad3..7d18802 100644
--- a/debian/control
+++ b/debian/control
@@ -4,12 +4,12 @@ Priority: optional
 Maintainer: Debian OCaml Maintainers 
 Uploaders:
  Mehdi Dogguy 
-Build-Depends: cdbs (>= 0.4.23-1.1), 
- debhelper (>= 7), 
- ocaml-nox (>= 3.10.0-9), 
- camlidl (>= 1.05-10), 
- libffcall1-dev, 
- ocaml-findlib (>= 1.1.2pl1-4), 
+Build-Depends: cdbs (>= 0.4.23-1.1),
+ debhelper (>= 10),
+ ocaml-nox (>= 3.10.0-9),
+ camlidl (>= 1.05-10),
+ libffcall1-dev,
+ ocaml-findlib (>= 1.1.2pl1-4),
  libpcap0.8-dev,
  dh-ocaml (>= 0.9.1)
 Standards-Version: 4.0.1

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

2017-08-08 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 mlpcap.

commit 5c5560c62288c67b641b5d175a4fe7178818433d
Author: Stephane Glondu 
Date:   Tue Aug 8 15:47:07 2017 +0200

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

diff --git a/debian/control b/debian/control
index a851b52..2233973 100644
--- a/debian/control
+++ b/debian/control
@@ -13,8 +13,8 @@ Build-Depends: cdbs (>= 0.4.23-1.1),
  libpcap0.8-dev,
  dh-ocaml (>= 0.9.1)
 Standards-Version: 3.9.2
-Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/mlpcap.git
-Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/mlpcap.git
+Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/mlpcap.git
+Vcs-Browser: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/mlpcap.git
 
 Package: libmlpcap-ocaml
 Architecture: any

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

2017-08-08 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 mlpcap.

commit b688a2198780d888deea6088fa87641a394d140e
Author: Stephane Glondu 
Date:   Tue Aug 8 15:50:34 2017 +0200

Update changelog and prepare upload to unstable
---
 debian/changelog | 12 ++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 8838ad0..5aeda66 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,16 @@
-mlpcap (0.9-17) UNRELEASED; urgency=low
+mlpcap (0.9-17) unstable; urgency=medium
 
+  [ Stéphane Glondu ]
+  * Team upload
+  * Remove Homepage and debian/watch (broken URLs)
+  * Update Vcs-*
+  * Switch debian/copyright to format 1.0
+  * Bump Standards-Version to 4.0.1
+
+  [ Sylvain Le Gall ]
   * Remove Sylvain Le Gall from uploaders (Closes: #869323)
 
- -- Sylvain Le Gall   Fri, 21 Sep 2012 01:16:43 +
+ -- Stéphane Glondu   Tue, 08 Aug 2017 15:50:26 +0200
 
 mlpcap (0.9-16) unstable; urgency=low
 

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/mlpcap.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] [mlpcap] 02/07: Remove Homepage and debian/watch (broken URLs)

2017-08-08 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 mlpcap.

commit f751bd9bca5aed636f1d3a337a38b3d4dbd8337c
Author: Stephane Glondu 
Date:   Tue Aug 8 15:45:51 2017 +0200

Remove Homepage and debian/watch (broken URLs)
---
 debian/control | 1 -
 debian/watch   | 2 --
 2 files changed, 3 deletions(-)

diff --git a/debian/control b/debian/control
index 2c0f5e0..a851b52 100644
--- a/debian/control
+++ b/debian/control
@@ -15,7 +15,6 @@ Build-Depends: cdbs (>= 0.4.23-1.1),
 Standards-Version: 3.9.2
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/mlpcap.git
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/mlpcap.git
-Homepage: http://www.drugphish.ch/~jonny/mlpcap.html
 
 Package: libmlpcap-ocaml
 Architecture: any
diff --git a/debian/watch b/debian/watch
deleted file mode 100644
index 2f524b5..000
--- a/debian/watch
+++ /dev/null
@@ -1,2 +0,0 @@
-version=3
-http://www.drugphish.ch/~jonny/mlpcap.html 
http://www.drugphish.ch/~jonny/code/mlpcap/MLpcap-(.*)\.tgz

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/mlpcap.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] [mlpcap] 05/07: Bump Standards-Version to 4.0.1

2017-08-08 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 mlpcap.

commit d3502cf1e13f1efdf182c6cf8a1482525036c23f
Author: Stephane Glondu 
Date:   Tue Aug 8 15:48:41 2017 +0200

Bump Standards-Version to 4.0.1
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 2233973..dadfad3 100644
--- a/debian/control
+++ b/debian/control
@@ -12,7 +12,7 @@ Build-Depends: cdbs (>= 0.4.23-1.1),
  ocaml-findlib (>= 1.1.2pl1-4), 
  libpcap0.8-dev,
  dh-ocaml (>= 0.9.1)
-Standards-Version: 3.9.2
+Standards-Version: 4.0.1
 Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/mlpcap.git
 Vcs-Browser: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/mlpcap.git
 

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

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

glondu pushed a change to annotated tag debian/0.9-17
in repository mlpcap.

at  4b10362   (tag)
   tagging  b688a2198780d888deea6088fa87641a394d140e (commit)
  replaces  debian/0.9-16
 tagged by  Stephane Glondu
on  Tue Aug 8 15:55:20 2017 +0200

- Log -
mlpcap Debian release 0.9-17
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlmJwsgACgkQeFPaTUmI
GtO0lg//asTgLOIUqd25su8I0sQX+1jkKR89lfIXM5tw3JAkBd+5qWmoleEplaQG
tqae9lkmWDOCG2bj8UFwxumTOsPQ0h1gf2yCwOpsQucCLoLJp0v+5zktdnr0xEwo
tzK8qw/5RGorvdLLLg+mmaalFHTZftyl+SuhgeOQykP1t69Q8TUilzRs+YcOxlmW
itebQDYle51fO6T7hl165ZYN4qFEgRqcOH+R4O1In3RzfOHx/aM7DsmnqodrGnIZ
X8w9ntgPCy65QijoIypASWOYzd/QVo4uQOWmKUKFFj549qa9fRjTFm3tP9bqe0mO
G2ZZAbabvRTQubQ3cPfoM9Rfv0ZseDmDuehop4ETMQSnJAtM6a64WjsooZcJLGXE
6YRX+T0uhmdQKMYsttuaf4P8AOx9HH+4jQqtkXVXwEugdRH3O22+dGo0aQydKOWF
AKhWGsl7YL7yfKAH3v/LazSf2jx8NyloyfxPTvV8OfxWefQM3XZyXY3ObZnjhPhz
AnP/5IxADqWjMVWG/FmVqSXQTa3mL4OB4+/eZUbhzUIeV7t8spKL5S875Z4CiD+A
yhqhmh/RO2xYNhIAYkInjsGHNJc9UjNIvmLr1pYSOJowufukz5XuqD7ZAZSsNSmy
hnnDQjD62kSGn42sVJ3GTmMNxEoqdobt85Y77NplGgcgN1sMmxg=
=YdWL
-END PGP SIGNATURE-

Stephane Glondu (7):
  (Closes: #869323)
  Remove Homepage and debian/watch (broken URLs)
  Update Vcs-*
  Switch debian/copyright to format 1.0
  Bump Standards-Version to 4.0.1
  Bump debhelper compat to 10
  Update changelog and prepare upload to unstable

Sylvain Le Gall (1):
  Remove Sylvain Le Gall from uploaders

---

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/mlpcap.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] [mlpcap] branch master updated (62b1c92 -> b688a21)

2017-08-08 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 mlpcap.

  from  62b1c92   Remove Sylvain Le Gall from uploaders
   new  c0dd909   (Closes: #869323)
   new  f751bd9   Remove Homepage and debian/watch (broken URLs)
   new  5c5560c   Update Vcs-*
   new  c58075c   Switch debian/copyright to format 1.0
   new  d3502cf   Bump Standards-Version to 4.0.1
   new  bdd1fc1   Bump debhelper compat to 10
   new  b688a21   Update changelog and prepare upload to unstable

The 7 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 | 14 +++---
 debian/compat|  2 +-
 debian/control   | 19 +--
 debian/copyright | 12 ++--
 debian/watch |  2 --
 5 files changed, 27 insertions(+), 22 deletions(-)
 delete mode 100644 debian/watch

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/mlpcap.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] [mlpcap] 04/07: Switch debian/copyright to format 1.0

2017-08-08 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 mlpcap.

commit c58075c35a1d4514ce8f7f72a15cb9186ba5b2e1
Author: Stephane Glondu 
Date:   Tue Aug 8 15:48:24 2017 +0200

Switch debian/copyright to format 1.0
---
 debian/copyright | 12 ++--
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/debian/copyright b/debian/copyright
index 329c41c..1df9a6d 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,16 +1,16 @@
-Format-Specification: http://wiki.debian.org/Proposals/CopyrightFormat
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
 Upstream-Author: Jonathan Heusser 
 Packaged-By: Sylvain Le Gall 
 Packaged-Date: Sat, 21 Feb 2004 20:45:00 +0200
-Original-Source-Location: http://www.drugphish.ch/~jonny/mlpcap.html
 
 Files: *
-Copyright: (C) 2003-2004 Jonathan Heusser 
+Copyright: (C) 2003-2004 Jonathan Heusser
 License: LGPL-2.1+
-
-On Debian GNU/Linux systems, the complete text of the GNU Lesser General
-Public License can be found in `/usr/share/common-licenses/LGPL-2.1'.
+ On Debian GNU/Linux systems, the complete text of the GNU Lesser General
+ Public License can be found in `/usr/share/common-licenses/LGPL-2.1'.
 
 Files: debian/*
 Copyright: Copyright (C) 2006-2009 Sylvain Le Gall
 License: GPL-2+
+ On Debian GNU/Linux systems, the complete text of the GNU General
+ Public License can be found in `/usr/share/common-licenses/GPL-2'.

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/mlpcap.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] [mlpcap] 01/07: (Closes: #869323)

2017-08-08 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 mlpcap.

commit c0dd909ad4b16bad5ad12a3c100037d2aac86fc3
Author: Stephane Glondu 
Date:   Tue Aug 8 15:41:46 2017 +0200

(Closes: #869323)
---
 debian/changelog | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 7ba0307..8838ad0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,6 @@
 mlpcap (0.9-17) UNRELEASED; urgency=low
 
-  * Remove Sylvain Le Gall from uploaders
+  * Remove Sylvain Le Gall from uploaders (Closes: #869323)
 
  -- Sylvain Le Gall   Fri, 21 Sep 2012 01:16:43 +
 

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/mlpcap.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] [camltemplate] annotated tag debian/1.0.2-2 created (now a8c6578)

2017-08-08 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.0.2-2
in repository camltemplate.

at  a8c6578   (tag)
   tagging  dfd7f0bb57978d8b02398e8d16f6e929b07e323b (commit)
  replaces  debian/1.0.2-1
 tagged by  Stephane Glondu
on  Tue Aug 8 15:31:24 2017 +0200

- Log -
camltemplate Debian release 1.0.2-2
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlmJvSwACgkQeFPaTUmI
GtMzhA/9EppXVeT+IoHOhsIcBe8Nt6ep42RjfPbH0Fpc1E0ELsecHEqfDA/f0tvu
Bvp4olyh8+YnCtSWehezmAzcS7ToCg02tEst3wjQ5s1gU/4G0P4nxgq2D4aBECTp
1kmlDqw9RBcSVLNVI0wqgd6aZ96Va2Ma2G+PV15kP3XyDWjw+KubDprD6lhRihp9
qDv3hM+m0spmS1F1MhQmALXfYxDrX2R/lvz2hs54JLrlJDDHg9PEG+9+jAwvwAo1
mRmIz2AnNARcLZnJhCoH4dy302zC5mOkTPl6DMpePXfbPF/Y8AslRvif/k7ST1dx
6QFQe8FWpX75jxIHct0Blg0bh8yR2HvGsfQGysx9lybxOoacwsjwfYObZW4E3cma
oXY+WERFDL0VItZjx+nmgc6m14rykLYLvDzJFZqw3/tiIIIO3cC5nx47HXDzhl4d
XDNsmfJx4E2dXr9Lg3kbKUWr8B3e99omxb7PBUu+/hlDwtDLG61zGFzdOMKuykea
uzPgfOTbu3EtFmG2T382aN4MeUJiqOzhQuBr3eyNsFFKuTBHObbu7gFk3+CxHuPC
flAzkkaBh9Ju2qvIrov4ADE/NxIAk+k5JgAhZ478ara0pT39yiZbBmSW3/L5H68q
30sbeMNF9P+VGArRnjKWuXBRg1teLIsVE47E2+gGuoizJqgmyKo=
=l23Q
-END PGP SIGNATURE-

Stephane Glondu (6):
  (Closes: #869321)
  Switch debian/copyright to format 1.0
  Update Vcs-*
  Bump debhelper compat to 10
  Bump Standards-Version to 4.0.1
  Update changelog and prepare upload to unstable

Sylvain Le Gall (1):
  Remove Sylvain Le Gall from uploaders

---

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/camltemplate.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] [camltemplate] 06/06: Update changelog and prepare upload to unstable

2017-08-08 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 camltemplate.

commit dfd7f0bb57978d8b02398e8d16f6e929b07e323b
Author: Stephane Glondu 
Date:   Tue Aug 8 15:25:26 2017 +0200

Update changelog and prepare upload to unstable
---
 debian/changelog | 12 ++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index c7606d7..1e57855 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,16 @@
-camltemplate (1.0.2-2) UNRELEASED; urgency=low
+camltemplate (1.0.2-2) unstable; urgency=low
 
+  [ Stéphane Glondu ]
+  * Team upload
+  * Switch debian/copyright to format 1.0
+  * Update Vcs-*
+  * Bump debhelper compat to 10
+  * Bump Standards-Version to 4.0.1
+
+  [ Sylvain Le Gall ]
   * Remove Sylvain Le Gall from uploaders (Closes: #869321)
 
- -- Sylvain Le Gall   Fri, 21 Sep 2012 01:12:04 +
+ -- Stéphane Glondu   Tue, 08 Aug 2017 15:25:20 +0200
 
 camltemplate (1.0.2-1) unstable; urgency=low
 

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/camltemplate.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

  1   2   3   4   5   6   7   8   9   10   >