[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201.dfsg-22-g279dbda

2009-05-20 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 279dbda60e3018d4dd1e4e6dce376180d13ca2ef Author: Mehdi Dogguy Date: Wed May 20 22:38:00 2009 +0200 Update copyright file diff --git a/debian/copyright b/debian/copyright index 96700bf..837f890 100644 --- a/debian/copyright +

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201.dfsg-21-gf97e998

2009-05-20 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit f97e998e84eeb7a8069a450e8c13a02123f96c90 Author: Mehdi Dogguy Date: Wed May 20 19:13:38 2009 +0200 Update deps and build-deps diff --git a/debian/control b/debian/control index e73873a..958a0e1 100644 --- a/debian/control ++

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201.dfsg-20-g393fc87

2009-05-20 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 393fc8716d291101e729567e2f5b3c73deaba9db Author: Mehdi Dogguy Date: Wed May 20 18:02:36 2009 +0200 Oups… the patch is not needed yet. diff --git a/debian/control b/debian/control index 5e88f42..e73873a 100644 --- a/debian/co

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201.dfsg-19-g6218487

2009-05-20 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit f3cc0ac1b2c563849335fc864ea084872ec0b660 Author: Mehdi Dogguy Date: Wed May 20 16:38:56 2009 +0200 Add a TODO file diff --git a/debian/TODO b/debian/TODO new file mode 100644 index 000..5863516 --- /dev/null +++ b/debian

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201.dfsg-19-g6218487

2009-05-20 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit dbdacb9baa63afa48721b1265f040b0ce9c45daa Author: Mehdi Dogguy Date: Wed May 20 16:17:47 2009 +0200 Should call alt-ergo instead of ergo diff --git a/debian/patches/0007-Ergo-is-Alt-ergo.patch b/debian/patches/0007-Ergo-is-A

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201.dfsg-19-g6218487

2009-05-20 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 63bab7d385f15934bab5185e8dbc03c0883325fe Author: Mehdi Dogguy Date: Wed May 20 16:12:11 2009 +0200 Add alt-ergo in Depends diff --git a/debian/control b/debian/control index e73873a..5e88f42 100644 --- a/debian/control +++ b

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201.dfsg-19-g6218487

2009-05-20 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit f7179f3cb2ff9800ecb7a01e64ca2fd67ba30e30 Author: Mehdi Dogguy Date: Wed May 20 16:23:10 2009 +0200 Fix a little bug in generate-man diff --git a/debian/man/frama-c-gui.1 b/debian/man/frama-c-gui.1 index 981feca..4c8ef6e 1006

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging annotated tag, upstream/20081201.dfsg, updated. upstream/20081201.dfsg

2009-05-20 Thread Mehdi Dogguy
The annotated tag, upstream/20081201.dfsg has been updated to 91b8e288e72857a78cbc880281278c4fb0218f0e (tag) from 69e93ca4bc9b2287f8b19c35bce5fdf18828303e (which is now obsolete) tagging 57510f45708c914921c3fef3c112dc78cfb1e1ad (commit) replaces upstream/20081201 tagged by

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

2009-05-20 Thread Mehdi Dogguy
The following commit has been merged in the pristine-tar branch: commit 37dce9f8d825d59dd47f7f053e3851f87e6d1014 Author: Mehdi Dogguy Date: Wed May 20 15:17:02 2009 +0200 pristine-tar data for frama-c_20081201.dfsg.orig.tar.gz diff --git a/frama-c_20081201.dfsg.orig.tar.gz.delta b/frama-c

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201.dfsg-15-gcdf3fd4

2009-05-20 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit cdf3fd412b8668201510e6a2404f1b56bea296d7 Author: Mehdi Dogguy Date: Wed May 20 15:32:25 2009 +0200 Close opened files in debian/man/generate-man diff --git a/debian/man/generate-man b/debian/man/generate-man index 38990c1..a

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201.dfsg-15-gcdf3fd4

2009-05-20 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit c16318acf54281a04a00871a4383da91b15ae75e Author: Mehdi Dogguy Date: Wed May 20 15:23:18 2009 +0200 Update README.Debian diff --git a/debian/README.Debian b/debian/README.Debian index 0a552d3..e2d56bb 100644 --- a/debian/READ

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201.dfsg-15-gcdf3fd4

2009-05-20 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit a5fc748d4c3ddfa1f758dd795d661911a8f7af91 Merge: 1df3534f8b03bfb9dd77aadd9997cd69ca96a951 57510f45708c914921c3fef3c112dc78cfb1e1ad Author: Mehdi Dogguy Date: Wed May 20 15:17:02 2009 +0200 Merge commit 'upstream/20081201.dfsg

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201.dfsg-15-gcdf3fd4

2009-05-20 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 1df3534f8b03bfb9dd77aadd9997cd69ca96a951 Author: Mehdi Dogguy Date: Wed May 20 15:11:00 2009 +0200 Disabling another proprietary plugin. diff --git a/debian/purify_tarball b/debian/purify_tarball index b6f3ba5..b0120a1 10075

[Pkg-ocaml-maint-commits] [SCM] dh-ocaml packaging branch, master, updated. debian/0.4.1-22-gbaced47

2009-05-20 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit baced4756bc64e1714de5f9cfb0e1e6ccdfd2e29 Author: Mehdi Dogguy Date: Wed May 20 14:57:19 2009 +0200 Move ocaml-pkg-update-uploaders to /usr/share/ocaml/pkg-update-uploaders diff --git a/debian/changelog b/debian/changelog ind

[Pkg-ocaml-maint-commits] [SCM] dh-ocaml packaging branch, master, updated. debian/0.4.1-21-g8a886dd

2009-05-20 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 8a886ddc0ea253f2e278a1ca160fc0f7ee6829d0 Author: Mehdi Dogguy Date: Wed May 20 14:01:38 2009 +0200 Changelog update diff --git a/debian/changelog b/debian/changelog index 573ba9f..f1dd0d9 100644 --- a/debian/changelog +++ b/

[Pkg-ocaml-maint-commits] [SCM] dh-ocaml packaging branch, master, updated. debian/0.4.1-21-g8a886dd

2009-05-20 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit a2d31ce0becd52a41f342364e09dff67d3000868 Author: Mehdi Dogguy Date: Wed May 20 14:00:19 2009 +0200 Add git helper scripts diff --git a/tools/dom-git-checkout b/tools/dom-git-checkout new file mode 100755 index 000..d8b22

[Pkg-ocaml-maint-commits] [SCM] dh-ocaml packaging branch, master, updated. debian/0.4.1-21-g8a886dd

2009-05-20 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 794e69c042d6c943830d90dff665046234c4780c Author: Mehdi Dogguy Date: Wed May 20 13:57:09 2009 +0200 Move ocaml-pkg-update-uploaders to /usr/share/ocaml diff --git a/tools/ocaml-pkg-update-uploaders b/share/ocaml-pkg-update-up

[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4-1-13-ge18386a

2009-05-20 Thread Ralf Treinen
The following commit has been merged in the master branch: commit e18386a9f68dca28eb5e4cf7edddbc8201142208 Author: Ralf Treinen Date: Wed May 20 09:54:19 2009 +0200 updated manpages from upstream diff --git a/debian/manpages/edos-debcheck.1 b/debian/manpages/edos-debcheck.1 index 3dc9eff..