[Pkg-ocaml-maint-commits] [SCM] gmetadom packaging branch, master, updated. debian/0.2.6-4-1-ge8dcba8

2010-02-11 Thread Stefano Zacchiroli
The following commit has been merged in the master branch: commit e8dcba8a2d0a15f15a3d2611bf3304cdb21625ef Author: Stefano Zacchiroli z...@upsilon.cc Date: Thu Feb 11 17:00:40 2010 +0100 debian/rules: fix include order ensure dh-ocaml deps for ocaml-base-nox are actually generated

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20090902+beryllium+dfsg-3-1-g7386e02

2010-02-11 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 7386e02a069a9b29cfaa0f162a3fd0dfc4013f24 Author: Mehdi Dogguy me...@debian.org Date: Thu Feb 11 20:58:07 2010 +0100 Make it compile with OCaml 3.11.2 diff --git a/debian/changelog b/debian/changelog index 4e7e177..9f09dd3

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging annotated tag, debian/20090902+beryllium+dfsg-4, created. debian/20090902+beryllium+dfsg-4

2010-02-11 Thread Mehdi Dogguy
The annotated tag, debian/20090902+beryllium+dfsg-4 has been created at ebd74dae8482cd40b04df6fcaf8193f18e941f7f (tag) tagging 7386e02a069a9b29cfaa0f162a3fd0dfc4013f24 (commit) replaces debian/20090902+beryllium+dfsg-3 tagged by Mehdi Dogguy on Thu Feb 11 23:56:38 2010

[Pkg-ocaml-maint-commits] [SCM] mldonkey packaging branch, master, updated. debian/3.0.0-3-10-gef27628

2010-02-11 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 8b945e34517435b59bf3f336983e9e83b11decd0 Merge: 64462a757ca91c6fd138b4a5600995a629421c71 8b0757c589d62dd012c7ac4685fc36a9f15887f0 Author: Mehdi Dogguy me...@debian.org Date: Thu Feb 11 23:05:03 2010 +0100 Merge commit

[Pkg-ocaml-maint-commits] [SCM] mldonkey packaging branch, master, updated. debian/3.0.0-3-10-gef27628

2010-02-11 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit ef27628422b4244e20c76b6af305294a7c8c81a1 Author: Mehdi Dogguy me...@debian.org Date: Thu Feb 11 23:08:39 2010 +0100 New upstream release diff --git a/debian/changelog b/debian/changelog index d508e30..0db70e8 100644 ---