[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, master, updated. debian/3.11.0-3-4-g4e97cbb

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 4e97cbbd5b4039a42c4c3d0b0e1f3ac9e0fe703b Author: Stephane Glondu Date: Fri Feb 20 00:13:30 2009 +0100 Update changelog with Closes: #516211 diff --git a/debian/changelog b/debian/changelog index 84ef1ee..db9533f 100644 --- a

[Pkg-ocaml-maint-commits] [SCM] menhir packaging branch, master, updated. debian/20090204.dfsg-1-2-g2e19118

2009-02-19 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 2e191189d0821eee676b0956ad1e7ef539984910 Author: Mehdi Dogguy Date: Fri Feb 20 00:09:15 2009 +0100 Use dh-ocaml predefined variables. diff --git a/debian/changelog b/debian/changelog index 5146599..773a61c 100644 --- a/debia

[Pkg-ocaml-maint-commits] [SCM] menhir packaging branch, master, updated. debian/20090204.dfsg-1-2-g2e19118

2009-02-19 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit d8dd664bbf5d4f652607a723b9d834caaae812c4 Author: Mehdi Dogguy Date: Thu Feb 19 23:43:56 2009 +0100 Depend on ocaml-nox, Closes: #516134. diff --git a/debian/changelog b/debian/changelog index ffd86af..5146599 100644 --- a/de

[Pkg-ocaml-maint-commits] r6214 - in /trunk/packages/lablgtk2-doc: trunk/README trunk/debian/ upstream/

2009-02-19 Thread smimram
Author: smimram Date: Thu Feb 19 18:37:00 2009 New Revision: 6214 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6214 Log: Switch lablgtk2-doc packaging to Git Added: trunk/packages/lablgtk2-doc/trunk/README Removed: trunk/packages/lablgtk2-doc/trunk/debian/ trunk/packages/

[Pkg-ocaml-maint-commits] r6213 - /trunk/tools/svn2git/glondu_svn2git.py

2009-02-19 Thread smimram
Author: smimram Date: Thu Feb 19 18:19:06 2009 New Revision: 6213 URL: http://svn.debian.org/wsvn/?sc=1&rev=6213 Log: More names. Modified: trunk/tools/svn2git/glondu_svn2git.py Modified: trunk/tools/svn2git/glondu_svn2git.py URL: http://svn.debian.org/wsvn/trunk/tools/svn2git/glondu_svn2gi

[Pkg-ocaml-maint-commits] [SCM] ocamlsdl packaging annotated tag, debian/0.7.2-9, created. debian/0.7.2-9

2009-02-19 Thread Samuel Mimram
The annotated tag, debian/0.7.2-9 has been created at 4ef62fe08fffca4371e23f7d8d1e95ead2ad2967 (tag) tagging b0bc6946d152b491b964b8a23dea16729b9b5654 (commit) replaces debian/0.7.2-8 tagged by Samuel Mimram on Thu Feb 19 19:02:50 2009 +0100 - Shortlog ---

[Pkg-ocaml-maint-commits] [SCM] ocamlsdl packaging branch, master, updated. debian/0.7.2-8-5-gb0bc694

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit b0bc6946d152b491b964b8a23dea16729b9b5654 Author: Samuel Mimram Date: Thu Feb 19 19:01:38 2009 +0100 More cleaning. diff --git a/debian/rules b/debian/rules index 43442e0..a3a4c1d 100755 --- a/debian/rules +++ b/debian/rules

[Pkg-ocaml-maint-commits] [SCM] ocamlsdl packaging branch, master, updated. debian/0.7.2-8-5-gb0bc694

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit bc57d71afaf0670b252a6e0af127504467f402ef Author: Samuel Mimram Date: Thu Feb 19 18:58:22 2009 +0100 Uploading to exp. diff --git a/debian/changelog b/debian/changelog index db3c28a..8054a0f 100644 --- a/debian/changelog +++

[Pkg-ocaml-maint-commits] [SCM] ocamlsdl packaging branch, master, updated. debian/0.7.2-8-5-gb0bc694

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit 6f7766d120be6d45c8b4c6d33a94ca863e124c46 Author: Samuel Mimram Date: Thu Feb 19 18:56:30 2009 +0100 Use predefined dh-ocaml variables + updates. diff --git a/debian/changelog b/debian/changelog index d67eeea..db3c28a 100644

[Pkg-ocaml-maint-commits] [SCM] ocamlsdl packaging branch, master, updated. debian/0.7.2-8-5-gb0bc694

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit 6a3975738934af019cfcc0a72c2c5bc95155b6c9 Author: Samuel Mimram Date: Thu Feb 19 18:57:07 2009 +0100 Better mode for patch. diff --git a/debian/patches/sdltimer-delay-fix.dpatch b/debian/patches/sdltimer-delay-fix.dpatch old

[Pkg-ocaml-maint-commits] r6212 - in /trunk/packages/ocamlsdl: trunk/README trunk/debian/ upstream/

2009-02-19 Thread smimram
Author: smimram Date: Thu Feb 19 17:50:26 2009 New Revision: 6212 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6212 Log: Switch ocamlsdl packaging to Git Added: trunk/packages/ocamlsdl/trunk/README Removed: trunk/packages/ocamlsdl/trunk/debian/ trunk/packages/ocamlsdl/ups

[Pkg-ocaml-maint-commits] [SCM] mysql-ocaml packaging branch, master, updated. debian/1.0.4-5

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit d2e28e409e560d5f3ddb29c6413398b180c7c56d Author: Samuel Mimram Date: Thu Feb 19 18:42:05 2009 +0100 Enforce dependency on OCaml 3.11. diff --git a/debian/control b/debian/control index 9afb319..9a42427 100644 --- a/debian/co

[Pkg-ocaml-maint-commits] [SCM] mysql-ocaml packaging branch, master, updated. debian/1.0.4-5

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit 6fd0b7809bb404af9461df555386a8d8c3582a88 Author: Samuel Mimram Date: Thu Feb 19 18:40:20 2009 +0100 More cleaning. diff --git a/debian/rules b/debian/rules index 172c101..6e30f18 100755 --- a/debian/rules +++ b/debian/rules

[Pkg-ocaml-maint-commits] [SCM] mysql-ocaml packaging branch, master, updated. debian/1.0.4-5

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit eb53fe78ad6d400e6663e3ad9fab4aa747ebfec2 Author: Samuel Mimram Date: Thu Feb 19 18:35:46 2009 +0100 Use dh-ocaml predefined variables. diff --git a/debian/changelog b/debian/changelog index 2abf63a..34f83f9 100644 --- a/debi

[Pkg-ocaml-maint-commits] [SCM] mysql-ocaml packaging branch, master, updated. debian/1.0.4-5

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit 9284f40c47e0b3338e6f114fb630b6ba745a6272 Author: Samuel Mimram Date: Thu Feb 19 18:39:34 2009 +0100 Uploading to exp. diff --git a/debian/changelog b/debian/changelog index 34f83f9..a6caec1 100644 --- a/debian/changelog +++

[Pkg-ocaml-maint-commits] [SCM] mysql-ocaml packaging branch, master, updated. debian/1.0.4-5

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit 67ce945d97ae4d3dcb0fa2743d6b17af61fdd0b6 Author: Samuel Mimram Date: Thu Feb 19 18:31:38 2009 +0100 Update standards version to 3.8.0. diff --git a/debian/changelog b/debian/changelog index a9172b8..2abf63a 100644 --- a/debi

[Pkg-ocaml-maint-commits] [SCM] mysql-ocaml packaging branch, master, updated. debian/1.0.4-5

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit 57bb8a22c9dd4e930db2394e5a5679da13cd1515 Author: Samuel Mimram Date: Thu Feb 19 18:31:05 2009 +0100 Update compat to 7. diff --git a/debian/changelog b/debian/changelog index b89c067..a9172b8 100644 --- a/debian/changelog ++

[Pkg-ocaml-maint-commits] [SCM] mysql-ocaml packaging annotated tag, debian/1.0.4-5, created. debian/1.0.4-5

2009-02-19 Thread Samuel Mimram
The annotated tag, debian/1.0.4-5 has been created at ae37ef584c97f099d7a4c30dddc1c88823ad835c (tag) tagging d2e28e409e560d5f3ddb29c6413398b180c7c56d (commit) replaces debian/1.0.4-4 tagged by Samuel Mimram on Thu Feb 19 18:43:54 2009 +0100 - Shortlog ---

[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.13-1-55-g02e1486

2009-02-19 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 02e14860a6586a8c50a81ae77e8f47bdb473d0d7 Author: Mehdi Dogguy Date: Wed Feb 18 18:09:44 2009 +0100 Changelog update diff --git a/debian/changelog b/debian/changelog index 34614af..8798cb5 100644 --- a/debian/changelog +++ b/

[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.13-1-55-g02e1486

2009-02-19 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 0c3f87d5d5a53898e8500eef3bc6164b7016da94 Author: Mehdi Dogguy Date: Wed Feb 18 18:09:31 2009 +0100 Add DMUA flag with Sam's blessing diff --git a/debian/control b/debian/control index 5baaeee..2d1ccc2 100644 --- a/debian/con

[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.13-1-55-g02e1486

2009-02-19 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 06b70e9313d3c1c599946e3fccfc7fbc9d424ae7 Author: Mehdi Dogguy Date: Wed Feb 18 18:08:50 2009 +0100 Add misc:Depends diff --git a/debian/control b/debian/control index 7648347..5baaeee 100644 --- a/debian/control +++ b/debian

[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.13-1-55-g02e1486

2009-02-19 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 886b8f6be1f0f1760bef956ee26e15ab782dd005 Author: Mehdi Dogguy Date: Thu Feb 19 18:38:06 2009 +0100 Bump libfloat-coq version to 1:8.1-1.0-5 (next one compiled with Coq 8.2) diff --git a/debian/control b/debian/control index

[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.13-1-55-g02e1486

2009-02-19 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 6a10154d9bd2a722ddb775b0c0b3a70baeafce90 Author: Mehdi Dogguy Date: Thu Feb 19 18:34:22 2009 +0100 Depend on coq-${F:CoqABI} instead of Coq diff --git a/debian/changelog b/debian/changelog index d677578..34614af 100644 --- a

[Pkg-ocaml-maint-commits] r6211 - /trunk/packages/mysql-ocaml/trunk/README

2009-02-19 Thread smimram
Author: smimram Date: Thu Feb 19 17:28:20 2009 New Revision: 6211 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6211 Log: Switch mysql-ocaml packaging to Git Modified: trunk/packages/mysql-ocaml/trunk/README Modified: trunk/packages/mysql-ocaml/trunk/README URL: http://svn.debia

[Pkg-ocaml-maint-commits] r6210 - in /trunk/packages/mysql-ocaml: trunk/README trunk/debian/ upstream/

2009-02-19 Thread smimram
Author: smimram Date: Thu Feb 19 17:15:49 2009 New Revision: 6210 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6210 Log: Switch packaging to Git Added: trunk/packages/mysql-ocaml/trunk/README Removed: trunk/packages/mysql-ocaml/trunk/debian/ trunk/packages/mysql-ocaml/up

[Pkg-ocaml-maint-commits] r6209 - /trunk/tools/svn2git/functions.sh

2009-02-19 Thread smimram
Author: smimram Date: Thu Feb 19 17:12:23 2009 New Revision: 6209 URL: http://svn.debian.org/wsvn/?sc=1&rev=6209 Log: Don't kill the shell on error... Modified: trunk/tools/svn2git/functions.sh Modified: trunk/tools/svn2git/functions.sh URL: http://svn.debian.org/wsvn/trunk/tools/svn2git/fu

[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.13-1-50-g4b8d1c5

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit 4b8d1c5b2fbac87e1023019129606a7dae6f3438 Author: Samuel Mimram Date: Thu Feb 19 18:01:49 2009 +0100 Use predefined variables from ocamlvars.mk and coqvars.mk. diff --git a/debian/changelog b/debian/changelog index f979967..d

[Pkg-ocaml-maint-commits] [SCM] dh-ocaml packaging branch, master, updated. debian/0.2-3-g9177001

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit 9177001b4f4006d29ca0641a143e129d4f730faa Author: Samuel Mimram Date: Thu Feb 19 17:56:35 2009 +0100 Substitute everywhere in ocamlinit. diff --git a/debian/changelog b/debian/changelog index 38852c9..f356bfc 100644 --- a/deb

[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/8.1-1.0-4-3-g671f482

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit 671f482e3f49c2cc5c6592b6e56a0cb7600d951c Author: Samuel Mimram Date: Thu Feb 19 14:45:19 2009 +0100 Update compat to 7. diff --git a/debian/changelog b/debian/changelog index 10c3c73..fed36bd 100644 --- a/debian/changelog ++

[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/8.1-1.0-4-3-g671f482

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit 5420bde92152b54568481e4721b68451eb9517a5 Author: Samuel Mimram Date: Thu Feb 19 14:29:39 2009 +0100 Enforce strict dependency on coq ABI. diff --git a/debian/changelog b/debian/changelog index e8ac852..10c3c73 100644 --- a/d

[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, master, updated. debian/3.11.0-3-3-g16c60e1

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 16c60e19440c4fbd27c6f9dbbf86cf9092cc6846 Author: Stephane Glondu Date: Thu Feb 19 16:00:08 2009 +0100 Add a script to deal with native modules to install diff --git a/debian/README.source b/debian/README.source new file mode

[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, master, updated. debian/3.11.0-3-3-g16c60e1

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit aab99ea044c92b3391237aa3e9fda6c4580d2dc3 Author: Stephane Glondu Date: Thu Feb 19 16:52:11 2009 +0100 On failure of dh_install, dump the contents of debian/tmp diff --git a/debian/rules b/debian/rules index f4d4038..d715f98

[Pkg-ocaml-maint-commits] [SCM] ocaml-res packaging branch, master, updated. debian/2.2.5-2-1-g4c1ae65

2009-02-19 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 4c1ae65321208a00509e1b192e86968a9eb19b3c Author: Mehdi Dogguy Date: Thu Feb 19 15:47:50 2009 +0100 Housekeeping: update some watch files diff --git a/debian/changelog b/debian/changelog index 4fe6bce..6744da4 100644 --- a/de

[Pkg-ocaml-maint-commits] [SCM] janest-core packaging branch, master, updated. debian/0.5.0-5-1-ge0e24ca

2009-02-19 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit e0e24cad277e094132926a6aeedf0876e39e621c Author: Mehdi Dogguy Date: Thu Feb 19 15:47:46 2009 +0100 Housekeeping: update some watch files diff --git a/debian/changelog b/debian/changelog index 04255e3..3749917 100644 --- a/de

[Pkg-ocaml-maint-commits] [SCM] cryptgps packaging branch, master, updated. debian/0.2.1-5-1-g31f3ca0

2009-02-19 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 31f3ca07c18885e924516b5e722e8d8cbe5712f2 Author: Mehdi Dogguy Date: Thu Feb 19 15:47:43 2009 +0100 Housekeeping: update some watch files diff --git a/debian/changelog b/debian/changelog index 7642ca2..6dc5543 100644 --- a/de

[Pkg-ocaml-maint-commits] r6208 - in /trunk/packages/confluence/trunk/debian: changelog watch

2009-02-19 Thread dogguy-guest
Author: dogguy-guest Date: Thu Feb 19 14:47:42 2009 New Revision: 6208 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6208 Log: Housekeeping: update some watch files Modified: trunk/packages/confluence/trunk/debian/changelog trunk/packages/confluence/trunk/debian/watch Modifie

[Pkg-ocaml-maint-commits] [SCM] bin-prot packaging branch, master, updated. debian/1.0.5-4-1-g6823705

2009-02-19 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 6823705c343dafbc184e9b50257cd891bc38a3ec Author: Mehdi Dogguy Date: Thu Feb 19 15:47:38 2009 +0100 Housekeeping: update some watch files diff --git a/debian/changelog b/debian/changelog index c29f3dc..8f34a4b 100644 --- a/de

[Pkg-ocaml-maint-commits] r6207 - /trunk/projects/git-guide/d-o-m-mrconfig.sh

2009-02-19 Thread dogguy-guest
Author: dogguy-guest Date: Thu Feb 19 14:12:29 2009 New Revision: 6207 URL: http://svn.debian.org/wsvn/?sc=1&rev=6207 Log: Uniform handling for projects and tools Modified: trunk/projects/git-guide/d-o-m-mrconfig.sh Modified: trunk/projects/git-guide/d-o-m-mrconfig.sh URL: http://svn.debian

[Pkg-ocaml-maint-commits] r6206 - /trunk/projects/git-guide/d-o-m-mrconfig.sh

2009-02-19 Thread dogguy-guest
Author: dogguy-guest Date: Thu Feb 19 14:10:53 2009 New Revision: 6206 URL: http://svn.debian.org/wsvn/?sc=1&rev=6206 Log: Better handling for Git migrations Modified: trunk/projects/git-guide/d-o-m-mrconfig.sh Modified: trunk/projects/git-guide/d-o-m-mrconfig.sh URL: http://svn.debian.org/

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-10-ga426602

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit e7cb97400fc75827976a48da0138a551496fe14a Author: Samuel Mimram Date: Thu Feb 19 13:55:21 2009 +0100 Added coqvars.mk helper for coq-related packages. diff --git a/debian/changelog b/debian/changelog index d2fd875..9bf2652 10

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-10-ga426602

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit a426602c408cdf2ec2cc636cc79b9cc68ea238d1 Merge: e7cb97400fc75827976a48da0138a551496fe14a 1613f8f33adcf8c5e61d3632d6ae62f56b26f1d8 Author: Samuel Mimram Date: Thu Feb 19 14:49:35 2009 +0100 Merge. -- coq packaging ___

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-10-ga426602

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit 822ee2f2f71d84af35d3adede92a857ce6159b89 Author: Samuel Mimram Date: Thu Feb 19 13:28:17 2009 +0100 Use variables from dh-ocaml in rules. diff --git a/debian/changelog b/debian/changelog index 3820432..d2fd875 100644 --- a/d

[Pkg-ocaml-maint-commits] r6205 - in /trunk/packages/camlpdf/trunk/debian: changelog control

2009-02-19 Thread dogguy-guest
Author: dogguy-guest Date: Thu Feb 19 13:29:55 2009 New Revision: 6205 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6205 Log: Update webpage link Modified: trunk/packages/camlpdf/trunk/debian/changelog trunk/packages/camlpdf/trunk/debian/control Modified: trunk/packages/caml

[Pkg-ocaml-maint-commits] [SCM] dh-ocaml packaging branch, master, updated. debian/0.2-2-g6779f9f

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit 6779f9fde11e4b4376b29aab6dd6b94c1b6e30e8 Author: Samuel Mimram Date: Thu Feb 19 14:25:21 2009 +0100 Move some variables to ocaml.mk since we don't want to use them in makefiles. diff --git a/cdbs/1/class/ocaml.mk b/cdbs/1/c

[Pkg-ocaml-maint-commits] r6204 - in /trunk/packages/coq-float: trunk/README trunk/debian/ upstream/

2009-02-19 Thread smimram
Author: smimram Date: Thu Feb 19 13:15:32 2009 New Revision: 6204 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6204 Log: Switch coq-float packaging to Git Added: trunk/packages/coq-float/trunk/README Removed: trunk/packages/coq-float/trunk/debian/ trunk/packages/coq-float

[Pkg-ocaml-maint-commits] r6203 - /trunk/packages/camlpdf/trunk/debian/watch

2009-02-19 Thread dogguy-guest
Author: dogguy-guest Date: Thu Feb 19 13:12:44 2009 New Revision: 6203 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6203 Log: Update watch according to the new url Modified: trunk/packages/camlpdf/trunk/debian/watch Modified: trunk/packages/camlpdf/trunk/debian/watch URL: http:

[Pkg-ocaml-maint-commits] [SCM] dh-ocaml packaging branch, master, updated. debian/0.2-1-gb9285e0

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit b9285e0d0d03c8da8d8374f0d7570ae736b2fad4 Author: Stephane Glondu Date: Thu Feb 19 13:47:41 2009 +0100 Use ocamlinit.mk in ocaml.mk diff --git a/cdbs/1/class/ocaml.mk b/cdbs/1/class/ocaml.mk index 9bd0ea2..6230225 100644 ---

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-7-g1613f8f

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit 1613f8f33adcf8c5e61d3632d6ae62f56b26f1d8 Author: Samuel Mimram Date: Thu Feb 19 13:55:21 2009 +0100 Added coqvars.mk helper for coq-related packages. diff --git a/debian/changelog b/debian/changelog index d2fd875..9bf2652 10

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-7-g1613f8f

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit f7023be031c602762b765bb8a7cec32d9bafcb6c Author: Samuel Mimram Date: Thu Feb 19 13:28:17 2009 +0100 Use variables from dh-ocaml in rules. diff --git a/debian/changelog b/debian/changelog index 3820432..d2fd875 100644 --- a/d

[Pkg-ocaml-maint-commits] [SCM] menhir packaging annotated tag, debian/20090204.dfsg-1, created. debian/20090204.dfsg-1

2009-02-19 Thread Mehdi Dogguy
The annotated tag, debian/20090204.dfsg-1 has been created at 5b2b73136b8fb9b3344732acaa96aa27cb0b08ba (tag) tagging c696e330ad42ab35d51c915c357ac8fb9722d76a (commit) replaces debian/20080912.dfsg-2 tagged by Stefano Zacchiroli on Thu Feb 19 13:32:40 2009 +0100 - Shortlo

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

2009-02-19 Thread Stephane Glondu
The annotated tag, upstream/8.2-1+dfsg has been created at 311845d7203840bfd4ef2fdb86c2984855138ad4 (tag) tagging a0a94c1340a63cdb824507b973393882666ba52a (commit) replaces upstream/8.2.rc2+dfsg tagged by Stephane Glondu on Thu Feb 19 13:13:19 2009 +0100 - Shortlog -

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

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the pristine-tar branch: commit ed4760bfb290cec289606301388fac043c3b0172 Author: Stephane Glondu Date: Thu Feb 19 13:13:19 2009 +0100 pristine-tar data for coq_8.2-1+dfsg.orig.tar.gz diff --git a/coq_8.2-1+dfsg.orig.tar.gz.delta b/coq_8.2-1+dfsg.orig

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-5-g217a759

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 217a759bdf92847445bddfdf4aa2135930bf5462 Author: Stephane Glondu Date: Thu Feb 19 13:18:48 2009 +0100 Remove experimental dependencies and restore ocaml-best-compiler diff --git a/debian/control b/debian/control index 58e3de

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-5-g217a759

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 24f81160e31255172d70badb1a8530385782ca48 Author: Stephane Glondu Date: Thu Feb 19 13:15:58 2009 +0100 New Upstream Version diff --git a/debian/changelog b/debian/changelog index 9e23e0b..3820432 100644 --- a/debian/changelog

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-5-g217a759

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 2155252cd74c3a2d0dc0bde716ef70b1f86b8085 Merge: 06746919eadeeb430bfb464d83847f982ea78540 a0a94c1340a63cdb824507b973393882666ba52a Author: Stephane Glondu Date: Thu Feb 19 13:13:20 2009 +0100 Merge commit 'upstream/8.2-1+dfsg

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-5-g217a759

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 06746919eadeeb430bfb464d83847f982ea78540 Author: Stephane Glondu Date: Thu Feb 19 13:12:29 2009 +0100 Upstream version can contain dashes diff --git a/debian/purify_tarball b/debian/purify_tarball index 52d54ac..a453db0 1007

[Pkg-ocaml-maint-commits] [SCM] menhir packaging branch, master, updated. debian/20080912.dfsg-2-9-gc696e33

2009-02-19 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit c696e330ad42ab35d51c915c357ac8fb9722d76a Author: Mehdi Dogguy Date: Thu Feb 19 13:18:50 2009 +0100 Prepare to upload in experimental diff --git a/debian/changelog b/debian/changelog index 0659d71..ffd86af 100644 --- a/debian

[Pkg-ocaml-maint-commits] [SCM] ocaml-sqlite3 packaging branch, master, updated. debian/1.3.0-1-1-gda95f92

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit da95f92114dd2d9d03cb726a293a16c66a823284 Author: Samuel Mimram Date: Thu Feb 19 13:15:44 2009 +0100 Better cleaning of ocamlinit files. diff --git a/debian/rules b/debian/rules index ec79b39..f78202a 100755 --- a/debian/rule

[Pkg-ocaml-maint-commits] [SCM] menhir packaging branch, master, updated. debian/20080912.dfsg-2-8-gf31c0ca

2009-02-19 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit f31c0ca180cd44572073070817a566dc163c8879 Author: Mehdi Dogguy Date: Thu Feb 19 13:14:29 2009 +0100 cahngelog update diff --git a/debian/changelog b/debian/changelog index 9f4704a..0659d71 100644 --- a/debian/changelog +++ b/

[Pkg-ocaml-maint-commits] [SCM] menhir packaging branch, master, updated. debian/20080912.dfsg-2-8-gf31c0ca

2009-02-19 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 902b600b202905679b383ae1106bf9eeba992947 Author: Mehdi Dogguy Date: Thu Feb 19 13:13:49 2009 +0100 PREFIX is set bask to /usr diff --git a/debian/rules b/debian/rules index b5368e9..360c9a7 100755 --- a/debian/rules +++ b/de

[Pkg-ocaml-maint-commits] r6202 - /trunk/tools/svn2git/functions.sh

2009-02-19 Thread smimram
Author: smimram Date: Thu Feb 19 12:12:30 2009 New Revision: 6202 URL: http://svn.debian.org/wsvn/?sc=1&rev=6202 Log: Specify functions which should not be called directly. Modified: trunk/tools/svn2git/functions.sh Modified: trunk/tools/svn2git/functions.sh URL: http://svn.debian.org/wsvn/

[Pkg-ocaml-maint-commits] [SCM] camlp5 packaging branch, master, updated. debian/5.10-1-1-g4d00a03

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 4d00a03d40a499674ade8e6b0cba20b280ad4796 Author: Stephane Glondu Date: Thu Feb 19 11:23:20 2009 +0100 Merge the 3.11 branch diff --git a/debian/gbp.conf b/debian/gbp.conf index 7383807..cec628c 100644 --- a/debian/gbp.conf +

[Pkg-ocaml-maint-commits] [SCM] camlp5 packaging branch, 3.11/master, deleted. debian/5.10-1

2009-02-19 Thread Stephane Glondu
The branch, 3.11/master has been deleted was 68aef225e6b2a6f808d39776f6102eb633d58156 --- 68aef225e6b2a6f808d39776f6102eb633d58156 Prepare upload to experimental

[Pkg-ocaml-maint-commits] [SCM] camlp5 packaging branch, 3.11/upstream, deleted. upstream/5.10

2009-02-19 Thread Stephane Glondu
The branch, 3.11/upstream has been deleted was 9bfb7381b2965f5105e12a99bf452c0f40a0c04a --- 9bfb7381b2965f5105e12a99bf452c0f40a0c04a Imported Upstream version 5.10 --

[Pkg-ocaml-maint-commits] [SCM] camlp5 packaging branch, master, updated. debian/5.10-1

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 0c823b8ffac81b087c4da9e73d89cabf41e3eed8 Author: Stephane Glondu Date: Tue Oct 21 18:14:10 2008 +0200 Add myself to uploaders diff --git a/debian/control b/debian/control index c6b089f..6f7f37f 100644 --- a/debian/control ++

[Pkg-ocaml-maint-commits] [SCM] camlp5 packaging branch, master, updated. debian/5.10-1

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 68aef225e6b2a6f808d39776f6102eb633d58156 Author: Stephane Glondu Date: Fri Dec 5 20:04:21 2008 +0100 Prepare upload to experimental diff --git a/debian/changelog b/debian/changelog index f1ef672..267c226 100644 --- a/debian/

[Pkg-ocaml-maint-commits] [SCM] camlp5 packaging branch, master, updated. debian/5.10-1

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 04a1675ec52f1ca1da3534cfdc4c6c1d55073a6e Author: Stephane Glondu Date: Fri Dec 5 19:52:19 2008 +0100 Clean more thoroughly diff --git a/debian/rules b/debian/rules index e6ec972..cab4f23 100755 --- a/debian/rules +++ b/debia

[Pkg-ocaml-maint-commits] [SCM] camlp5 packaging branch, master, updated. debian/5.10-1

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 62fc91d4c3b8cf034f835704dc303d250b35b5f6 Author: Stephane Glondu Date: Fri Dec 5 19:42:09 2008 +0100 Update changelog diff --git a/debian/changelog b/debian/changelog index 0612c49..f1ef672 100644 --- a/debian/changelog +++

[Pkg-ocaml-maint-commits] [SCM] camlp5 packaging branch, master, updated. debian/5.10-1

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 25f437a0464aa70e1965295daf68537493872724 Author: Stephane Glondu Date: Fri Dec 5 19:39:45 2008 +0100 Remove unused dpatch stuff diff --git a/debian/camlp5r_w_macro.sh b/debian/camlp5r_w_macro.sh old mode 100644 new mode 1007

[Pkg-ocaml-maint-commits] [SCM] camlp5 packaging branch, master, updated. debian/5.10-1

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit c23e9b00cf7e50457f084cf80a7df7f8d7298692 Author: Stephane Glondu Date: Fri Dec 5 19:40:20 2008 +0100 Update Standards-Version to 3.8.0 diff --git a/debian/control b/debian/control index 4d3636b..e1216f0 100644 --- a/debian/c

[Pkg-ocaml-maint-commits] [SCM] camlp5 packaging branch, master, updated. debian/5.10-1

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit b5e3ad3caea9e58ce11b509a5293b87d94856039 Author: Stephane Glondu Date: Fri Dec 5 19:36:51 2008 +0100 Add gbp.conf diff --git a/debian/gbp.conf b/debian/gbp.conf new file mode 100644 index 000..7383807 --- /dev/null +++ b

[Pkg-ocaml-maint-commits] [SCM] camlp5 packaging branch, master, updated. debian/5.10-1

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit aae219c2f428c8b1e3ed7ff520ab1bf3398b0aed Author: Stephane Glondu Date: Tue Oct 21 18:39:49 2008 +0200 Update changelog diff --git a/debian/changelog b/debian/changelog index e02e2b3..0612c49 100644 --- a/debian/changelog +++

[Pkg-ocaml-maint-commits] [SCM] camlp5 packaging branch, master, updated. debian/5.10-1

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit c1b0b252be6de80aea89116e3e1e8304183e78d5 Author: Stephane Glondu Date: Tue Oct 21 18:14:57 2008 +0200 Add build-dependency to dh-ocaml diff --git a/debian/control b/debian/control index 6f7f37f..7b30142 100644 --- a/debian/c

[Pkg-ocaml-maint-commits] [SCM] camlp5 packaging branch, master, updated. debian/5.10-1

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit ea4d4e75d9c8f08b69ed949b3c403f712d8d41b4 Author: Stephane Glondu Date: Tue Oct 21 18:08:46 2008 +0200 New Upstream Version (compatible with OCaml 3.11.0) diff --git a/debian/changelog b/debian/changelog index 479fd0b..e02e2b

[Pkg-ocaml-maint-commits] [SCM] camlp5 packaging branch, master, updated. debian/5.10-1

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 677ded360c479d27d2f74e844df110c71200c4fd Merge: 0d8167a1fbdef019d3a952fa636687313c9dca8a 9bfb7381b2965f5105e12a99bf452c0f40a0c04a Author: Stephane Glondu Date: Tue Oct 21 18:06:39 2008 +0200 Merge commit 'upstream/5.10' into

[Pkg-ocaml-maint-commits] [SCM] OCaml packaging annotated tag, debian/3.11.0-3, created. debian/3.11.0-3

2009-02-19 Thread Stephane Glondu
The annotated tag, debian/3.11.0-3 has been created at 82602a989a56687f2f816266d34011ee44f18945 (tag) tagging a99f499625627e476c584707071a183908518451 (commit) replaces debian/3.11.0-2 tagged by Stephane Glondu on Thu Feb 19 09:04:21 2009 +0100 - Shortlog ---

[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, master, updated. debian/3.11.0-2-2-gd2a87e3

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit d2a87e36aff070a7cec1685b928c50358e002c47 Author: Samuel Mimram Date: Thu Feb 19 11:07:53 2009 +0100 Add native versions of ocamldep and ocamldoc in findlib's configuration when ocaml-native-compilers is installed. diff --gi

[Pkg-ocaml-maint-commits] [SCM] ocamlnet packaging branch, master, updated. debian/2.2.9-5-2-g4dd610d

2009-02-19 Thread Stefano Zacchiroli
The following commit has been merged in the master branch: commit 4dd610de0581ecbd0adcae95537150bd211907fb Author: Stefano Zacchiroli Date: Thu Feb 19 11:01:53 2009 +0100 debian/rules: use ocamldoc-apiref-config from /usr/share/ocaml/; accordingly: bump dependency on dh-ocaml to >= 0.2 di

[Pkg-ocaml-maint-commits] [SCM] ocamlnet packaging branch, master, updated. debian/2.2.9-5-2-g4dd610d

2009-02-19 Thread Stefano Zacchiroli
The following commit has been merged in the master branch: commit 535809c8fea56ccf6c8bab8d424e71a2d11c057d Author: Stefano Zacchiroli Date: Thu Feb 19 10:59:34 2009 +0100 debian/*.in: avoid using @OCamlABI@ for dir path and explicit "stublibs/" diff --git a/debian/changelog b/debian/change

[Pkg-ocaml-maint-commits] [SCM] ocsigen packaging branch, master, updated. debian/1.1.0-1-2-g5f4d9a7

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit 5f4d9a7c639f510301baeea85d53fbf480bb4e38 Author: Samuel Mimram Date: Thu Feb 19 10:12:06 2009 +0100 Use dh-ocaml predefined variables in rules. diff --git a/debian/changelog b/debian/changelog index a336f66..ae845e9 100644 -

[Pkg-ocaml-maint-commits] [SCM] lablgtk2 packaging branch, master, updated. debian/2.12.0-1-6-gb094342

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit b09434221444ba9d3c841087dec986b1c97ed1d0 Author: Samuel Mimram Date: Thu Feb 19 09:57:28 2009 +0100 More cleaning. diff --git a/debian/rules b/debian/rules index 880f109..5dd4787 100755 --- a/debian/rules +++ b/debian/rules

[Pkg-ocaml-maint-commits] [SCM] lablgtk2 packaging branch, master, updated. debian/2.12.0-1-6-gb094342

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit bdc326f557fc49e78dab7d5a33d6980a20cfea37 Author: Samuel Mimram Date: Thu Feb 19 09:53:30 2009 +0100 Use native ocamldoc if available. diff --git a/debian/changelog b/debian/changelog index c931bf3..ca243a8 100644 --- a/debia

[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, master, updated. debian/3.11.0-2-1-ga99f499

2009-02-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit a99f499625627e476c584707071a183908518451 Author: Stephane Glondu Date: Thu Feb 19 07:25:10 2009 +0100 Mark libthreadsnat.a as native-only file diff --git a/debian/changelog b/debian/changelog index 6e07ff7..e0308eb 100644 --

[Pkg-ocaml-maint-commits] [SCM] lablgtk2 packaging branch, master, updated. debian/2.12.0-1-4-g9fb7bd5

2009-02-19 Thread Samuel Mimram
The following commit has been merged in the master branch: commit 9fb7bd5767710df97956219d04e7a8aef18deff2 Author: Samuel Mimram Date: Thu Feb 19 09:46:28 2009 +0100 Use dh-ocaml predefined variables in rules. diff --git a/debian/changelog b/debian/changelog index f90e6a3..c931bf3 100644 -

[Pkg-ocaml-maint-commits] r6201 - /trunk/packages/mysql-ocaml/trunk/debian/changelog

2009-02-19 Thread smimram
Author: smimram Date: Thu Feb 19 08:21:19 2009 New Revision: 6201 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6201 Log: After upload. Modified: trunk/packages/mysql-ocaml/trunk/debian/changelog Modified: trunk/packages/mysql-ocaml/trunk/debian/changelog URL: http://svn.debian.

[Pkg-ocaml-maint-commits] r6200 - /tags/packages/mysql-ocaml/1.0.4-5/

2009-02-19 Thread smimram
Author: smimram Date: Thu Feb 19 08:21:07 2009 New Revision: 6200 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6200 Log: [svn-buildpackage] Tagging mysql-ocaml (1.0.4-5) Added: tags/packages/mysql-ocaml/1.0.4-5/ - copied from r6199, trunk/packages/mysql-ocaml/trunk/ _

[Pkg-ocaml-maint-commits] r6199 - in /trunk/packages/mysql-ocaml/trunk/debian: changelog compat control libmysql-ocaml-dev.install.in libmysql-ocaml.install.in rules

2009-02-19 Thread smimram
Author: smimram Date: Thu Feb 19 08:20:32 2009 New Revision: 6199 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6199 Log: Uploading to exp. Modified: trunk/packages/mysql-ocaml/trunk/debian/changelog trunk/packages/mysql-ocaml/trunk/debian/compat trunk/packages/mysql-ocaml