[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20110201+carbon+dfsg-2-7-g76dd722

2011-12-08 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 76dd7227566874787884dcb59fd5863a8ab77e4e Author: Mehdi Dogguy Date: Thu Dec 8 17:14:03 2011 +0100 Release to unstable diff --git a/debian/changelog b/debian/changelog index efee1c5..687493d 100644 --- a/debian/changelog +++

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20110201+carbon+dfsg-2-7-g76dd722

2011-12-08 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit b4a3915a9567d96ccf26a68c1feebe4bb402b9c3 Author: Mehdi Dogguy Date: Thu Dec 8 15:40:44 2011 +0100 Changelog update diff --git a/debian/changelog b/debian/changelog index 0c98155..efee1c5 100644 --- a/debian/changelog +++ b/d

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20110201+carbon+dfsg-2-7-g76dd722

2011-12-08 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 981a30416f6fd3b1d18b0fe00473a51c02edbe65 Author: Mehdi Dogguy Date: Thu Dec 8 15:33:23 2011 +0100 New upstream release. diff --git a/debian/changelog b/debian/changelog index ec8c2d9..0c98155 100644 --- a/debian/changelog ++

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20110201+carbon+dfsg-2-7-g76dd722

2011-12-08 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit bc8f4fcfd91a150440aff72c552e4f47b791ca87 Merge: 67ef5ec22bdcc9d1484123e2e422463a74efb983 cf6091bb32443616c99208e6536dcc842bf0b407 Author: Mehdi Dogguy Date: Thu Dec 8 15:32:36 2011 +0100 Merge commit 'upstream/20111001+nitro