[Pkg-ocaml-maint-commits] r5973 - /tags/packages/edos-debcheck/1.0-8/

2008-09-07 Thread treinen
Author: treinen Date: Sun Sep 7 15:14:11 2008 New Revision: 5973 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1rev=5973 Log: [svn-buildpackage] Tagging edos-debcheck (1.0-8) Added: tags/packages/edos-debcheck/1.0-8/ - copied from r5972, trunk/packages/edos-debcheck/trunk/

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.beta4+dfsg-2-6-ge9ca8bf

2008-09-07 Thread Stephane Glondu
The following commit has been merged in the master branch: commit cdce320e124a3fcba458fad3c638940ce8f993ce Author: Stephane Glondu [EMAIL PROTECTED] Date: Sun Sep 7 18:05:26 2008 +0200 Bump debhelper compatibility level to 7 diff --git a/debian/compat b/debian/compat index b8626c4..7f8f011

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.beta4+dfsg-2-6-ge9ca8bf

2008-09-07 Thread Stephane Glondu
The following commit has been merged in the master branch: commit b6db9f4f71b806d89cd24db386a6bcdd3b469d31 Author: Stephane Glondu [EMAIL PROTECTED] Date: Sun Sep 7 18:58:27 2008 +0200 Remove obsolete patches diff --git a/debian/patches/00list b/debian/patches/00list index fb3801f..e69de29

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.beta4+dfsg-2-6-ge9ca8bf

2008-09-07 Thread Stephane Glondu
The following commit has been merged in the master branch: commit d8e408268a5d4c59770e5ce02d6c814f751caed3 Author: Stephane Glondu [EMAIL PROTECTED] Date: Sun Sep 7 18:58:58 2008 +0200 Use debhelper 7, simplify debian/rules diff --git a/debian/control b/debian/control index

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, pristine-tar, updated. 7a4f7aac5a2b62098a484c3d996bf47db4c11ed0

2008-09-07 Thread Stephane Glondu
The following commit has been merged in the pristine-tar branch: commit 7a4f7aac5a2b62098a484c3d996bf47db4c11ed0 Author: Stephane Glondu [EMAIL PROTECTED] Date: Mon Sep 8 00:21:18 2008 +0200 pristine-tar data for coq_8.2~beta4.svn20080907+dfsg.orig.tar.gz diff --git

[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, upstream/8.2.beta4.svn20080907+dfsg, created. upstream/8.2.beta4.svn20080907+dfsg

2008-09-07 Thread Stephane Glondu
The annotated tag, upstream/8.2.beta4.svn20080907+dfsg has been created at b5e6a28e8b7d1a69e5ee94a3f88878852b74c7ec (tag) tagging 113b703a695acbe31ac6dd6a8c4aa94f6fda7545 (commit) replaces upstream/8.2.beta4+dfsg tagged by Stephane Glondu on Mon Sep 8 00:15:04 2008 +0200