[Pkg-ocaml-maint-commits] [SCM] Cooperative light-weight thread library for OCaml branch, master, updated. debian/2.1.1-1-27-ga0e1e28

2011-04-24 Thread Stephane Glondu
The following commit has been merged in the master branch: commit a0e1e287854d96291e03f7e7bcdc859c9e3285be Merge: b997c79c5d369a6d95a3b3b51041999a0a1c2bd7 ec3820990289f27f22b6be584c422917c50800ec Author: Stephane Glondu st...@glondu.net Date: Sun Apr 24 11:02:29 2011 +0200 Merge commit

[Pkg-ocaml-maint-commits] [SCM] Cooperative light-weight thread library for OCaml annotated tag, upstream/2.3.0, created. upstream/2.3.0

2011-04-24 Thread Stephane Glondu
The annotated tag, upstream/2.3.0 has been created at 21d31108dc610c07ff1710ed0ca117aee9bc852e (tag) tagging ec3820990289f27f22b6be584c422917c50800ec (commit) replaces upstream/2.2.1 tagged by Stephane Glondu on Sun Apr 24 11:01:37 2011 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] Cooperative light-weight thread library for OCaml branch, master, updated. upstream/2.3.0-12-g4cbebcb

2011-04-24 Thread Nicolas Dandrimont
The following commit has been merged in the master branch: commit 5328fcb0c5676cb0f80cb83d1e4c23c381b47435 Author: Nicolas Dandrimont nicolas.dandrim...@crans.org Date: Sun Apr 24 11:29:48 2011 +0200 Bump Breaks/Replaces for lwt packages diff --git a/debian/control b/debian/control index

[Pkg-ocaml-maint-commits] [SCM] Cooperative light-weight thread library for OCaml branch, master, updated. upstream/2.3.0-12-g4cbebcb

2011-04-24 Thread Nicolas Dandrimont
The following commit has been merged in the master branch: commit 4cbebcbfa3e45376ca5de76a4b1df35a4131b7ed Author: Nicolas Dandrimont nicolas.dandrim...@crans.org Date: Sun Apr 24 11:31:06 2011 +0200 Use a dch-generated changelog format diff --git a/debian/changelog b/debian/changelog

[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.3pl1-3-3-g0aa06f9

2011-04-24 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 74825ecc4937768bf1ec8105d2626eaa4fd1b2cb Author: Stephane Glondu st...@glondu.net Date: Sun Apr 24 13:20:51 2011 +0200 Build theories only when explicitly asked Theories (which are arch:all) are very long to compile

[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.3pl1-3-3-g0aa06f9

2011-04-24 Thread Stephane Glondu
The following commit has been merged in the master branch: commit b81ea12a37b3f8e196a53fb531a50693294afc38 Author: Stephane Glondu st...@glondu.net Date: Sun Apr 24 14:29:47 2011 +0200 Notice in README.source about arch:all package diff --git a/debian/README.source b/debian/README.source

[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.3pl1-3-3-g0aa06f9

2011-04-24 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 0aa06f9906f85c4a63dfd79991fc4af082933e19 Author: Stephane Glondu st...@glondu.net Date: Sat Apr 23 22:05:17 2011 +0200 Update changelog and prepare upload to unstable diff --git a/debian/changelog b/debian/changelog index

[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging annotated tag, debian/1.3pl1-4, created. debian/1.3pl1-4

2011-04-24 Thread Stephane Glondu
The annotated tag, debian/1.3pl1-4 has been created at 2137c925b78723b39a2806f9e2343c74b9a0ef3e (tag) tagging 0aa06f9906f85c4a63dfd79991fc4af082933e19 (commit) replaces debian/1.3pl1-3 tagged by Stephane Glondu on Sun Apr 24 15:12:26 2011 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20100401+boron+dfsg-4-10-gf188023

2011-04-24 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 060d85847bc8d3287d88900317214b8538b5e6ca Author: Mehdi Dogguy me...@debian.org Date: Fri Apr 15 21:44:12 2011 +0200 No need to filter out src/{impact,security} from tarball diff --git a/debian/gbp.conf b/debian/gbp.conf

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20100401+boron+dfsg-4-10-gf188023

2011-04-24 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 2415f504b6a315816f5ee6551c23592970dc6d21 Merge: 060d85847bc8d3287d88900317214b8538b5e6ca 6e7820bfdceae2ad99815a88094a9db445fad25a Author: Mehdi Dogguy me...@debian.org Date: Fri Apr 15 21:45:17 2011 +0200 Merge commit

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20100401+boron+dfsg-4-10-gf188023

2011-04-24 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 293a03142ad93954273864d9dc640b25e075d8f9 Author: Mehdi Dogguy me...@debian.org Date: Fri Apr 15 23:08:02 2011 +0200 Fix Categories field in frama-c.desktop (Closes: #610432) (LP: #613853). diff --git a/debian/changelog

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20100401+boron+dfsg-4-10-gf188023

2011-04-24 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 17eab41af7680548f95442a21e42055bd8e8bf90 Author: Mehdi Dogguy me...@debian.org Date: Sat Apr 23 18:40:59 2011 +0200 Add fix for issue 727 diff --git a/debian/changelog b/debian/changelog index 4f75129..3032aff 100644 ---

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20100401+boron+dfsg-4-10-gf188023

2011-04-24 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit f188023dab3b0f4e0c4cb8dfa137c7748186a87b Author: Mehdi Dogguy me...@debian.org Date: Sat Apr 23 18:50:16 2011 +0200 No need to exclude custom bytecode binaries when running dh_strip diff --git a/debian/changelog

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, pristine-tar, updated. cc4f2f39d41e9d13ab52de79a2ecb9944dc520c3

2011-04-24 Thread Mehdi Dogguy
The following commit has been merged in the pristine-tar branch: commit cc4f2f39d41e9d13ab52de79a2ecb9944dc520c3 Author: Mehdi Dogguy me...@debian.org Date: Fri Apr 15 21:45:17 2011 +0200 pristine-tar data for frama-c_20110201+carbon+dfsg.orig.tar.gz diff --git

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging annotated tag, upstream/20110201+carbon+dfsg, created. upstream/20110201+carbon+dfsg

2011-04-24 Thread Mehdi Dogguy
The annotated tag, upstream/20110201+carbon+dfsg has been created at 50f496e229f3073c07b2141063615e30f407a716 (tag) tagging 6e7820bfdceae2ad99815a88094a9db445fad25a (commit) replaces upstream/20100401+boron+dfsg tagged by Mehdi Dogguy on Fri Apr 15 21:45:17 2011 +0200 -

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging annotated tag, debian/20110201+carbon+dfsg-1, created. debian/20110201+carbon+dfsg-1

2011-04-24 Thread Mehdi Dogguy
The annotated tag, debian/20110201+carbon+dfsg-1 has been created at 95c17c870e060b0550da79b6b5daaa159f844f1c (tag) tagging f188023dab3b0f4e0c4cb8dfa137c7748186a87b (commit) replaces debian/20100401+boron+dfsg-4 tagged by Mehdi Dogguy on Sun Apr 24 18:20:35 2011 +0200 -

[Pkg-ocaml-maint-commits] [SCM] obus packaging branch, master, updated. debian/1.0.rc1-2-9-g1910a09

2011-04-24 Thread Nicolas Dandrimont
The following commit has been merged in the master branch: commit 2776a8af76925b62807d6d08998a7b635b1b56c6 Author: Nicolas Dandrimont nicolas.dandrim...@crans.org Date: Tue Apr 19 11:34:47 2011 +0200 Update build-deps for new upstream release diff --git a/debian/changelog

[Pkg-ocaml-maint-commits] [SCM] obus packaging branch, master, updated. debian/1.0.rc1-2-9-g1910a09

2011-04-24 Thread Nicolas Dandrimont
The following commit has been merged in the master branch: commit 6f5823d46cd8579911ed58bcc6645c238caea878 Author: Nicolas Dandrimont nicolas.dandrim...@crans.org Date: Sun Apr 24 19:59:21 2011 +0200 Drop patches (fixed upstream) diff --git a/debian/changelog b/debian/changelog index

[Pkg-ocaml-maint-commits] [SCM] obus packaging branch, master, updated. debian/1.0.rc1-2-9-g1910a09

2011-04-24 Thread Nicolas Dandrimont
The following commit has been merged in the master branch: commit 6b056b4588874bd25b476a945c7d98c13d68e173 Author: Nicolas Dandrimont nicolas.dandrim...@crans.org Date: Tue Apr 19 12:24:31 2011 +0200 Sync debian/rules with new upstream release diff --git a/debian/rules b/debian/rules index

[Pkg-ocaml-maint-commits] [SCM] obus packaging branch, master, updated. debian/1.0.rc1-2-9-g1910a09

2011-04-24 Thread Nicolas Dandrimont
The following commit has been merged in the master branch: commit 067fdb7536ca630ddd2a473ba02df7f25e165de6 Author: Nicolas Dandrimont nicolas.dandrim...@crans.org Date: Tue Apr 19 12:56:09 2011 +0200 Update *.install files for new upstream release diff --git

[Pkg-ocaml-maint-commits] [SCM] obus packaging branch, master, updated. debian/1.0.rc1-2-9-g1910a09

2011-04-24 Thread Nicolas Dandrimont
The following commit has been merged in the master branch: commit b891338d644082be75d8c553e91d0638cf0faafe Author: Nicolas Dandrimont nicolas.dandrim...@crans.org Date: Tue Apr 19 13:24:29 2011 +0200 Use the right path for the documentation files diff --git

[Pkg-ocaml-maint-commits] [SCM] obus packaging branch, master, updated. debian/1.0.rc1-2-9-g1910a09

2011-04-24 Thread Nicolas Dandrimont
The following commit has been merged in the master branch: commit 1910a09ed9dd5001696ad16b894e3101dfab5637 Author: Nicolas Dandrimont nicolas.dandrim...@crans.org Date: Tue Apr 19 11:35:21 2011 +0200 Prepare upload to unstable diff --git a/debian/changelog b/debian/changelog index

[Pkg-ocaml-maint-commits] [SCM] obus packaging branch, pristine-tar, updated. 49a786295489648ae95f33f281e4e509967ce316

2011-04-24 Thread Nicolas Dandrimont
The following commit has been merged in the pristine-tar branch: commit 49a786295489648ae95f33f281e4e509967ce316 Author: Nicolas Dandrimont nicolas.dandrim...@crans.org Date: Sun Apr 24 18:48:20 2011 +0200 pristine-tar data for obus_1.1.2.orig.tar.gz diff --git

[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.26+dfsg-4-8-gf677c3a

2011-04-24 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 3af0b7c26da52744812cd0366931f9a430cbd28a Merge: 4eafbb671676235ba43ed5cb4cb938e1350d7455 56bcf69a01e0aef2d7cef6ff99c8272b9ee141cf Author: Mehdi Dogguy me...@debian.org Date: Sat Apr 23 19:17:45 2011 +0200 Merge commit

[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.26+dfsg-4-8-gf677c3a

2011-04-24 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit e9f442668297320d12516ef7809d25c08fc98082 Author: Mehdi Dogguy me...@debian.org Date: Sat Apr 23 19:18:29 2011 +0200 New upstream release. diff --git a/debian/changelog b/debian/changelog index 3901542..5c48c2c 100644 ---

[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.26+dfsg-4-8-gf677c3a

2011-04-24 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 803f7b7acf5b92ee48c8ced028e6af49118a82b7 Author: Mehdi Dogguy me...@debian.org Date: Sat Apr 23 19:21:35 2011 +0200 Remove some old patches diff --git a/debian/changelog b/debian/changelog index 5c48c2c..3c55bab 100644 ---

[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.26+dfsg-4-8-gf677c3a

2011-04-24 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit a7fb8de4873eeae208c2b0684266473e426c3359 Author: Mehdi Dogguy me...@debian.org Date: Sat Apr 23 20:08:14 2011 +0200 Mark Alt-Ergo 0.93 as compatible diff --git a/debian/changelog b/debian/changelog index 8f36f6a..f540ec8

[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.26+dfsg-4-8-gf677c3a

2011-04-24 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit a4ea4f3e71906dc18f9d47974ad8016a8faced4e Author: Mehdi Dogguy me...@debian.org Date: Sat Apr 23 20:16:36 2011 +0200 Fix FTBFS due to non-exhaustive pattern matching diff --git a/debian/changelog b/debian/changelog index

[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.26+dfsg-4-8-gf677c3a

2011-04-24 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit f677c3aea0c48fce0d264d178863de50daa88a86 Author: Mehdi Dogguy me...@debian.org Date: Sun Apr 24 20:14:06 2011 +0200 Set 20110201+carbon+dfsg-1~ as minimum version number for Frama-C. diff --git a/debian/changelog

[Pkg-ocaml-maint-commits] [SCM] why packaging annotated tag, upstream/2.29+dfsg, created. upstream/2.29+dfsg

2011-04-24 Thread Mehdi Dogguy
The annotated tag, upstream/2.29+dfsg has been created at 735e0aace5df8299eb217004d28947cfdc097726 (tag) tagging 56bcf69a01e0aef2d7cef6ff99c8272b9ee141cf (commit) replaces upstream/2.26+dfsg tagged by Mehdi Dogguy on Sat Apr 23 19:17:45 2011 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.29+dfsg-1-1-g7042c0b

2011-04-24 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 7042c0b0ad4136589e1a46bc91e5536b892b2f81 Author: Mehdi Dogguy me...@debian.org Date: Mon Apr 25 00:30:47 2011 +0200 Fix FTBFS on armel. diff --git a/debian/changelog b/debian/changelog index be77ad9..0c41d07 100644 ---

[Pkg-ocaml-maint-commits] [SCM] why packaging annotated tag, debian/2.29+dfsg-2, created. debian/2.29+dfsg-2

2011-04-24 Thread Mehdi Dogguy
The annotated tag, debian/2.29+dfsg-2 has been created at 1d95cfc482971e9ca70a631d98a1489461a98505 (tag) tagging 7042c0b0ad4136589e1a46bc91e5536b892b2f81 (commit) replaces debian/2.29+dfsg-1 tagged by Mehdi Dogguy on Mon Apr 25 00:37:38 2011 +0200 - Shortlog