[Pkg-ocaml-maint-commits] [SCM] ocamlpam packaging branch, master, created. 7d12286143751b7e6ff947ba8407fb86f43e95a9

2008-05-08 Thread Stephane Glondu
The branch, master has been created at 7d12286143751b7e6ff947ba8407fb86f43e95a9 (commit) - Shortlog commit 7d12286143751b7e6ff947ba8407fb86f43e95a9 Author: Stephane Glondu [EMAIL PROTECTED] Date: Thu May 8 18:52:16 2008 +0200

[Pkg-ocaml-maint-commits] [SCM] ocamlpam packaging branch, pristine-tar, created. 495c0da0229574849d65c884919ebaad4a726894

2008-05-08 Thread Stephane Glondu
The branch, pristine-tar has been created at 495c0da0229574849d65c884919ebaad4a726894 (commit) - Shortlog commit 495c0da0229574849d65c884919ebaad4a726894 Author: Stephane Glondu [EMAIL PROTECTED] Date: Thu May 8 18:52:17 2008

[Pkg-ocaml-maint-commits] [SCM] ocamlpam packaging branch, upstream, created. 7d12286143751b7e6ff947ba8407fb86f43e95a9

2008-05-08 Thread Stephane Glondu
The branch, upstream has been created at 7d12286143751b7e6ff947ba8407fb86f43e95a9 (commit) - Shortlog commit 7d12286143751b7e6ff947ba8407fb86f43e95a9 Author: Stephane Glondu [EMAIL PROTECTED] Date: Thu May 8 18:52:16 2008

[Pkg-ocaml-maint-commits] [SCM] ocamlpam packaging branch, master, updated. b01dbbf626b0f8f589827a38066c3edbeef7c323

2008-06-10 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 4ef4eff5618af006886fee1e6921b268054adfe2 Author: Stephane Glondu [EMAIL PROTECTED] Date: Tue Jun 10 14:55:30 2008 +0200 Set up build system diff --git a/debian/libpam-ocaml-dev.docs b/debian/libpam-ocaml-dev.docs new file

[Pkg-ocaml-maint-commits] [SCM] ocamlpam packaging branch, master, updated. b01dbbf626b0f8f589827a38066c3edbeef7c323

2008-06-10 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 85e8865a036ec90e5c5ca928f6acf73383f48c60 Author: Stephane Glondu [EMAIL PROTECTED] Date: Tue Jun 10 14:32:26 2008 +0200 Improve the Makefile * Provide a META file * Add install target * Use ocamlmklib so

[Pkg-ocaml-maint-commits] [SCM] ocamlpam packaging branch, master, updated. b01dbbf626b0f8f589827a38066c3edbeef7c323

2008-06-10 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 8d7d4b4607309b41ebae6a319f4954d96bfb525c Author: Stephane Glondu [EMAIL PROTECTED] Date: Tue Jun 10 15:05:24 2008 +0200 Install shared stubs diff --git a/debian/libpam-ocaml.install.in b/debian/libpam-ocaml.install.in new

[Pkg-ocaml-maint-commits] [SCM] ocamlpam packaging branch, upstream+patches, created. 1232f7d1f064b374bda7d2347842da3e846dae1a

2008-06-10 Thread Stephane Glondu
The branch, upstream+patches has been created at 1232f7d1f064b374bda7d2347842da3e846dae1a (commit) - Shortlog commit 1232f7d1f064b374bda7d2347842da3e846dae1a Author: Stephane Glondu [EMAIL PROTECTED] Date: Tue Jun 10 14:32:26

[Pkg-ocaml-maint-commits] [SCM] ocamlpam packaging branch, master, updated. b1bbbd8095f4ccdf2bfacf1fe6d58892038eebe9

2008-06-10 Thread Stephane Glondu
The following commit has been merged in the master branch: commit ab724c329a7f966bf0ea4a15bfb3fc5c27853be5 Merge: b01dbbf626b0f8f589827a38066c3edbeef7c323 5dbaf12cacf0508061ca2f1496b354868185f81e Author: Stephane Glondu [EMAIL PROTECTED] Date: Tue Jun 10 21:44:29 2008 +0200 Merge branch

[Pkg-ocaml-maint-commits] [SCM] ocamlpam packaging branch, master, updated. b1bbbd8095f4ccdf2bfacf1fe6d58892038eebe9

2008-06-10 Thread Stephane Glondu
The following commit has been merged in the master branch: commit b1bbbd8095f4ccdf2bfacf1fe6d58892038eebe9 Author: Stephane Glondu [EMAIL PROTECTED] Date: Tue Jun 10 21:49:00 2008 +0200 Document patches in Debian changelog diff --git a/debian/changelog b/debian/changelog index 86e5f6c

[Pkg-ocaml-maint-commits] [SCM] ocamlpam packaging branch, master, updated. a9aa9fc884fa33f365817fa541a7a40f75465694

2008-06-14 Thread Stephane Glondu
The following commit has been merged in the master branch: commit eac5b3c7eabfa5bb83258c4f4dee8e04e4619104 Merge: b1bbbd8095f4ccdf2bfacf1fe6d58892038eebe9 4590ca9ffc11df3b1e5402784b49b78b6ce35591 Author: Stephane Glondu [EMAIL PROTECTED] Date: Sun Jun 15 01:24:52 2008 +0200 Merge branch

[Pkg-ocaml-maint-commits] [SCM] ocamlpam packaging branch, master, updated. a9aa9fc884fa33f365817fa541a7a40f75465694

2008-06-14 Thread Stephane Glondu
The following commit has been merged in the master branch: commit a9aa9fc884fa33f365817fa541a7a40f75465694 Author: Stephane Glondu [EMAIL PROTECTED] Date: Sun Jun 15 01:33:23 2008 +0200 New upstream release The two patches have been included upstream. diff --git a/debian/changelog

[Pkg-ocaml-maint-commits] [SCM] ocamlpam packaging branch, pristine-tar, updated. 6c6c5cfdafc18df1a04514c1d0938abc4c83716d

2008-06-14 Thread Stephane Glondu
The following commit has been merged in the pristine-tar branch: commit 6c6c5cfdafc18df1a04514c1d0938abc4c83716d Author: Stephane Glondu [EMAIL PROTECTED] Date: Sun Jun 15 01:40:32 2008 +0200 pristine-tar data for ocamlpam_1.1.orig.tar.gz diff --git a/ocamlpam_1.1.orig.tar.gz.delta b

[Pkg-ocaml-maint-commits] [SCM] ocamlpam packaging branch, master, updated. 5bf3155c267a69b1bff68d174d462fee0ccd2de4

2008-06-14 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 5bf3155c267a69b1bff68d174d462fee0ccd2de4 Author: Stephane Glondu [EMAIL PROTECTED] Date: Sun Jun 15 01:47:02 2008 +0200 Install CHANGES file diff --git a/debian/libpam-ocaml-dev.docs b/debian/libpam-ocaml-dev.docs index

[Pkg-ocaml-maint-commits] [SCM] ocamlpam packaging branch, master, updated. 0d74c18756df977f0e281938061810fab9e1680a

2008-06-14 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 4daf1ab1572c2df98a63694d5e5a27b35e1a5d88 Author: Stephane Glondu [EMAIL PROTECTED] Date: Sun Jun 15 01:56:10 2008 +0200 Add Vcs-Browser and Vcs-Git headers to debian/control diff --git a/debian/control b/debian/control index

[Pkg-ocaml-maint-commits] [SCM] ocamlpam packaging annotated tag, upstream/1.1, created. upstream/1.1

2008-06-15 Thread Stephane Glondu
The annotated tag, upstream/1.1 has been created at 9d6e084c83c65b7b8e67b30b1e9b7fc04ecd0dc2 (tag) tagging 4590ca9ffc11df3b1e5402784b49b78b6ce35591 (commit) tagged by Stephane Glondu on Sun Jun 15 01:24:52 2008 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] OCaml bindings for the PAM library branch, master, updated. upstream/1.1-17-g6931998

2008-06-16 Thread Stephane Glondu
The following commit has been merged in the master branch: commit adda6081822907803e15ef24236a3f81de0c4c30 Author: Stephane Glondu [EMAIL PROTECTED] Date: Mon Jun 16 17:19:17 2008 +0200 Bump debhelper compatibility level to 7 diff --git a/debian/compat b/debian/compat index 7ed6ff8

[Pkg-ocaml-maint-commits] [SCM] OCaml bindings for the PAM library branch, master, updated. upstream/1.1-17-g6931998

2008-06-16 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 4c6148a41eae76b40a1d496ac737f94b3490f2a6 Author: Stephane Glondu [EMAIL PROTECTED] Date: Mon Jun 16 17:21:17 2008 +0200 Switch to machine-parsable copyright file format See http://wiki.debian.org/Proposals

[Pkg-ocaml-maint-commits] [SCM] OCaml bindings for the PAM library tag, upstream/1.0, created. 7d12286143751b7e6ff947ba8407fb86f43e95a9

2008-06-21 Thread Stephane Glondu
The tag, upstream/1.0 has been created at 7d12286143751b7e6ff947ba8407fb86f43e95a9 (commit) - Shortlog commit 7d12286143751b7e6ff947ba8407fb86f43e95a9 Author: Stephane Glondu [EMAIL PROTECTED] Date: Thu May 8 18:52:16 2008

[Pkg-ocaml-maint-commits] [SCM] lwt packaging branch, master, created. 56da407aafa2254c2b4f47213dc5011960b3ee6f

2008-06-26 Thread Stephane Glondu
The branch, master has been created at 56da407aafa2254c2b4f47213dc5011960b3ee6f (commit) - Shortlog commit 56da407aafa2254c2b4f47213dc5011960b3ee6f Author: Stephane Glondu [EMAIL PROTECTED] Date: Fri Jun 27 00:34:50 2008

[Pkg-ocaml-maint-commits] [SCM] lwt packaging branch, pristine-tar, created. 50e4a4c3e0b7a8dad50c875411ecc52e55eacf63

2008-06-26 Thread Stephane Glondu
The branch, pristine-tar has been created at 50e4a4c3e0b7a8dad50c875411ecc52e55eacf63 (commit) - Shortlog commit 50e4a4c3e0b7a8dad50c875411ecc52e55eacf63 Author: Stephane Glondu [EMAIL PROTECTED] Date: Fri Jun 27 00:34:51

[Pkg-ocaml-maint-commits] [SCM] Cooperative light-weight thread library for OCaml branch, master, updated. upstream/1.1.0-2-g22fc03b

2008-06-29 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 22fc03b3f1f13598d4f9c50cd48fd2f3b29147d6 Author: Stephane Glondu [EMAIL PROTECTED] Date: Sun Jun 29 23:14:36 2008 +0200 Fine tuning diff --git a/debian/control b/debian/control index b25cb6e..df7134e 100644 --- a/debian

[Pkg-ocaml-maint-commits] [SCM] OCaml bindings for the PAM library branch, master, updated. debian/1.1-1-4-gd0f6f55

2008-07-05 Thread Stephane Glondu
The following commit has been merged in the master branch: commit d0f6f5522c948060270a86db30fe3830e45e47ba Author: Stephane Glondu [EMAIL PROTECTED] Date: Sat Jul 5 09:20:08 2008 +0200 Document patch and prepare for new release diff --git a/debian/changelog b/debian/changelog index 869de71

[Pkg-ocaml-maint-commits] [SCM] OCaml bindings for the PAM library branch, upstream+patches, created. upstream/1.1-1-g17d1ace

2008-07-05 Thread Stephane Glondu
The branch, upstream+patches has been created at 17d1acec8a6429e8d5b0573055c6b95702ca0741 (commit) - Shortlog --- -- OCaml bindings for the PAM library

[Pkg-ocaml-maint-commits] [SCM] OCaml bindings for the PAM library annotated tag, debian/1.1-2, created. debian/1.1-2

2008-07-05 Thread Stephane Glondu
The annotated tag, debian/1.1-2 has been created at 9bc7085697713b35998e64ca4aba89f9a983e3b9 (tag) tagging d0f6f5522c948060270a86db30fe3830e45e47ba (commit) replaces debian/1.1-1 tagged by Stephane Glondu on Sat Jul 5 11:21:53 2008 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, master, updated. debian/3.10.2-3-1-g215dc29

2008-07-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 215dc297a719e0a18cc895b5ca94855b00388c2f Author: Stephane Glondu [EMAIL PROTECTED] Date: Tue Jul 8 11:25:51 2008 +0200 First steps to switching packaging to git diff --git a/debian/changelog b/debian/changelog index 27009b2

[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, master, updated. debian/3.10.2-3-7-gfef0417

2008-07-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 64afcb822a39d1eb5675242ee83fff477c3e6338 Author: Stephane Glondu [EMAIL PROTECTED] Date: Tue Jul 8 13:23:53 2008 +0200 Fixup dpatch stuff diff --git a/debian/patches/00dpatch.conf b/debian/patches/00dpatch.conf deleted file

[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, master, updated. debian/3.10.2-3-7-gfef0417

2008-07-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit c8bdd9e0fc12634749a2d0c7c5f678c49f7747dc Author: Stephane Glondu [EMAIL PROTECTED] Date: Tue Jul 8 13:56:53 2008 +0200 Copy config.{sub,guess} in pre-config phase instead of clean diff --git a/debian/rules b/debian/rules

[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, master, updated. debian/3.10.2-3-7-gfef0417

2008-07-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 18ff77549b29e1de14a3bff88ce536ce5b848b5f Author: Stephane Glondu [EMAIL PROTECTED] Date: Tue Jul 8 14:14:56 2008 +0200 Remove stray script remaining from svn2git conversion diff --git a/ocaml-tags-svn2git.sh b/ocaml-tags

[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, master, updated. debian/3.10.2-3-7-gfef0417

2008-07-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 910fc7f880da1d419a3fb6be18998a21199c268f Author: Stephane Glondu [EMAIL PROTECTED] Date: Tue Jul 8 14:33:09 2008 +0200 Bump debhelper compatibility level to 7 * use debian/clean for cleaning upstream files

[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, master, updated. debian/3.10.2-3-7-gfef0417

2008-07-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit fef041704f0ae52f203fe1de6cac9bde891fbb21 Author: Stephane Glondu [EMAIL PROTECTED] Date: Tue Jul 8 14:36:05 2008 +0200 Clean more files diff --git a/debian/clean b/debian/clean index e2d10dd..22a7a76 100644 --- a/debian

[Pkg-ocaml-maint-commits] [SCM] Cooperative light-weight thread library for OCaml branch, master, updated. debian/1.1.0-1-2-gb25a42f

2008-07-11 Thread Stephane Glondu
The following commit has been merged in the master branch: commit b25a42f4d7fde493ac1bd613aa4716858e637176 Author: Stephane Glondu [EMAIL PROTECTED] Date: Fri Jul 11 13:25:16 2008 +0200 Upload after erroneous removal from archive (no changes) Request from Ganneff diff --git

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

2008-07-11 Thread Stephane Glondu
The annotated tag, debian/1.1.0-2 has been created at da85ad4fbedc6e01f04d61c1f7eacab69f6491b8 (tag) tagging b25a42f4d7fde493ac1bd613aa4716858e637176 (commit) replaces debian/1.1.0-1 tagged by Stephane Glondu on Fri Jul 11 13:26:11 2008 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, master, updated. debian/3.10.2-3-8-g4a1bcf4

2008-07-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 4a1bcf4134c9e507170c0cd93342a4dc2852fccc Author: Stephane Glondu [EMAIL PROTECTED] Date: Sun Jul 20 01:01:46 2008 +0200 Restore emacs/ocamltags.in in clean diff --git a/debian/rules b/debian/rules index bb60df8..9417872

[Pkg-ocaml-maint-commits] [SCM] ocsigen packaging branch, master, updated. debian/1.1.0.rc1-1-22-gc1c60c4

2008-07-23 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 9b134429154bcf18439f13d39789e0e60592f915 Author: Stephane Glondu [EMAIL PROTECTED] Date: Wed Jul 23 14:04:37 2008 +0200 Switching packaging to git diff --git a/debian/changelog b/debian/changelog index b54f1da..db7be49

[Pkg-ocaml-maint-commits] [SCM] ocsigen packaging branch, master, updated. debian/1.1.0.rc1-1-22-gc1c60c4

2008-07-23 Thread Stephane Glondu
The following commit has been merged in the master branch: commit c1c60c4b08a911636e15cb1f1ae3a3a9667eafcd Author: Stephane Glondu [EMAIL PROTECTED] Date: Wed Jul 23 14:09:45 2008 +0200 New upstream release diff --git a/debian/changelog b/debian/changelog index db7be49..a336f66 100644

[Pkg-ocaml-maint-commits] [SCM] ocsigen packaging branch, pristine-tar, updated. 3887c099bbb8c5a51a92a5f2c5ac6cb88554b6a5

2008-07-23 Thread Stephane Glondu
The following commit has been merged in the pristine-tar branch: commit 3887c099bbb8c5a51a92a5f2c5ac6cb88554b6a5 Author: Stephane Glondu [EMAIL PROTECTED] Date: Wed Jul 23 14:08:34 2008 +0200 pristine-tar data for ocsigen_1.1.0.orig.tar.gz diff --git a/ocsigen_1.1.0.orig.tar.gz.delta b

[Pkg-ocaml-maint-commits] [SCM] ocsigen packaging annotated tag, debian/1.1.0-1, created. debian/1.1.0-1

2008-07-23 Thread Stephane Glondu
The annotated tag, debian/1.1.0-1 has been created at 82af68c638ebbb073c48164d5dada5d890003e8e (tag) tagging c1c60c4b08a911636e15cb1f1ae3a3a9667eafcd (commit) replaces debian/1.1.0.rc1-1 tagged by Stephane Glondu on Wed Jul 23 15:00:27 2008 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] ocsigen packaging annotated tag, upstream/1.1.0, created. upstream/1.1.0

2008-07-23 Thread Stephane Glondu
The annotated tag, upstream/1.1.0 has been created at f6c7ccaade81ec6702bb39aadbdd36dcc084379c (tag) tagging 0e50ec60508734ad110a9668f5fd35a025c88477 (commit) replaces upstream/1.1.0.rc1 tagged by Stephane Glondu on Wed Jul 23 14:08:34 2008 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-26-gcd46e5d

2008-07-28 Thread Stephane Glondu
The following commit has been merged in the master branch: commit dd1436b569216c851c4b341a127a3a7a3bf3b633 Author: Stephane Glondu [EMAIL PROTECTED] Date: Sun Jul 27 23:19:00 2008 +0200 Switch packaging to git diff --git a/debian/control b/debian/control index 80f80ec..b4a9920 100644

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-26-gcd46e5d

2008-07-28 Thread Stephane Glondu
The following commit has been merged in the master branch: commit dec29bbc89ac8d0152d8464294fe9d9c131016c9 Author: Stephane Glondu [EMAIL PROTECTED] Date: Sun Jul 27 23:20:40 2008 +0200 Add myself to Uploaders, and DM-Upload-Allowed to control diff --git a/debian/control b/debian/control

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-26-gcd46e5d

2008-07-28 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 8dd1802846b1f7a2304c7e63b2cf907d70f14fe1 Author: Stephane Glondu [EMAIL PROTECTED] Date: Mon Jul 28 11:44:01 2008 +0200 Fix typo in README.Debian diff --git a/debian/README.Debian b/debian/README.Debian index 685f604

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-26-gcd46e5d

2008-07-28 Thread Stephane Glondu
The following commit has been merged in the master branch: commit db0c2d0f86e7fb2153be13431641a2fad0babf90 Author: Stephane Glondu [EMAIL PROTECTED] Date: Mon Jul 28 11:48:45 2008 +0200 patch-stamp and configure-stamp are dependencies of build-stamp This is needed for proper

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-26-gcd46e5d

2008-07-28 Thread Stephane Glondu
The following commit has been merged in the master branch: commit be8dd49cdf08dbeae0d6f36b717a54793418086b Author: Stephane Glondu [EMAIL PROTECTED] Date: Mon Jul 28 15:55:17 2008 +0200 Install also *.cm[iox] files diff --git a/debian/coq.install b/debian/coq.install index 59bcb59..c0817f7

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-26-gcd46e5d

2008-07-28 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 3113f65a3dd4bbe1833dcf78fb21abd958dcdb04 Author: Stephane Glondu [EMAIL PROTECTED] Date: Mon Jul 28 16:00:07 2008 +0200 ide/index_urls.txt is not there anymore diff --git a/debian/rules b/debian/rules index 1dc43f9..44dac55

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-26-gcd46e5d

2008-07-28 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 10a7bc14dc87b57b022facbbbf3b31d74a4445e5 Author: Stephane Glondu [EMAIL PROTECTED] Date: Mon Jul 28 16:02:00 2008 +0200 Add install-stamp ...so that install is not invoked twice when binary-indep and binary-arch

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-26-gcd46e5d

2008-07-28 Thread Stephane Glondu
The following commit has been merged in the master branch: commit d6c7661cea5a874663179d806199634b7c4076ed Author: Stephane Glondu [EMAIL PROTECTED] Date: Mon Jul 28 16:02:40 2008 +0200 Fix building of (stdlib) doc diff --git a/debian/rules b/debian/rules index a9bd3b6..5151c91 100755

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-26-gcd46e5d

2008-07-28 Thread Stephane Glondu
The following commit has been merged in the master branch: commit cd46e5dd680be14a5f5401cfc00af3a7d2ad8847 Author: Stephane Glondu [EMAIL PROTECTED] Date: Mon Jul 28 16:15:16 2008 +0200 Update changelog diff --git a/debian/changelog b/debian/changelog index 1ecb0b0..7e71877 100644

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-27-g284e68a

2008-07-28 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 284e68ace18db77fed501d3d64ff3cb54d44c02c Author: Stephane Glondu [EMAIL PROTECTED] Date: Mon Jul 28 17:10:05 2008 +0200 Create bin/ in configure instead of clean ...avoiding problems with clean run as root diff

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-32-gdb4ea6d

2008-07-31 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 2dd9e5d0a163b95453d5dd78e8487bd48f9b220e Author: Stephane Glondu [EMAIL PROTECTED] Date: Tue Jul 29 23:08:08 2008 +0200 Set doc-base section to Science/Mathematics diff --git a/debian/coq-libs.doc-base b/debian/coq-libs.doc

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-32-gdb4ea6d

2008-07-31 Thread Stephane Glondu
The following commit has been merged in the master branch: commit c89cb94d7a781f5e4e8a315fc68dcc22b13021ae Author: Stephane Glondu [EMAIL PROTECTED] Date: Thu Jul 31 16:58:47 2008 +0200 Add Homepage field diff --git a/debian/control b/debian/control index 88f17cf..d2550c6 100644

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-32-gdb4ea6d

2008-07-31 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 1c6c7c8ec1e78348cd8d1dd7b730450ab54d106f Author: Stephane Glondu [EMAIL PROTECTED] Date: Thu Jul 31 17:36:36 2008 +0200 Bump Standards-Version to 3.8.0 diff --git a/debian/control b/debian/control index d2550c6..6df245e

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-32-gdb4ea6d

2008-07-31 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 7dd7c53d365a646aa4e93f944a17fbcb971ff604 Author: Stephane Glondu [EMAIL PROTECTED] Date: Thu Jul 31 17:33:20 2008 +0200 Add debian/README.source diff --git a/debian/README.source b/debian/README.source new file mode 100644

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-32-gdb4ea6d

2008-07-31 Thread Stephane Glondu
The following commit has been merged in the master branch: commit db4ea6ddcbeb0dea41267dc87a30b76a01e402af Author: Stephane Glondu [EMAIL PROTECTED] Date: Thu Jul 31 17:50:55 2008 +0200 Update changelog diff --git a/debian/changelog b/debian/changelog index 7e71877..677e23d 100644

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-44-g331f534

2008-08-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit bd4bb27ee4f66b08434d9a199f00b04ccec34722 Merge: db4ea6ddcbeb0dea41267dc87a30b76a01e402af 870075f34dd9fa5792bfbf413afd3b96f17e76a0 Author: Stephane Glondu [EMAIL PROTECTED] Date: Fri Aug 8 13:18:48 2008 +0200 Merge commit

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-44-g331f534

2008-08-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 38db629f4be6f0a963b95a958a99bbe382b6b5d1 Author: Stephane Glondu [EMAIL PROTECTED] Date: Fri Aug 8 15:41:29 2008 +0200 Remove browser.dpatch and use --browser configure option diff --git a/debian/patches/00list b/debian

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-44-g331f534

2008-08-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit dbb8a5704033fb6990af449e29c6018286d4b044 Author: Stephane Glondu [EMAIL PROTECTED] Date: Fri Aug 8 13:28:00 2008 +0200 Disable compiling/installing doc diff --git a/debian/rules b/debian/rules index cd34b8b..8075e71 100755

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-44-g331f534

2008-08-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 9fd4621dcafc03b56c348a0342b2d172c065121d Author: Stephane Glondu [EMAIL PROTECTED] Date: Fri Aug 8 15:25:39 2008 +0200 Add use-env-in-coq-config.dpatch Use environment variables by default in coq_config.ml

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-44-g331f534

2008-08-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit ad9b0fc2f2c0945eb48ae6d9cd7256b11dfd8792 Author: Stephane Glondu [EMAIL PROTECTED] Date: Fri Aug 8 16:47:33 2008 +0200 Remove Encoding from debian/coqide.desktop ...as complained by Lintian diff --git a/debian

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-44-g331f534

2008-08-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit a88339e768ad1c3c36250dff659120236b900cf0 Author: Stephane Glondu [EMAIL PROTECTED] Date: Fri Aug 8 16:48:51 2008 +0200 glob.dump is not there anymore diff --git a/debian/rules b/debian/rules index e50ad14..50a6e64 100755

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-44-g331f534

2008-08-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit e6b699f7e1a1ba63c1eb7b7e63094cad633791a9 Author: Stephane Glondu [EMAIL PROTECTED] Date: Fri Aug 8 17:57:55 2008 +0200 Install csdpcert diff --git a/debian/coq.install b/debian/coq.install index c0817f7..0648440 100644

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-44-g331f534

2008-08-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit ff20e3e9f517cba61a94103d62e284b214fe4d30 Author: Stephane Glondu [EMAIL PROTECTED] Date: Fri Aug 8 23:14:15 2008 +0200 Tune clean target of debian/rules diff --git a/debian/rules b/debian/rules index 50a6e64..7a986d9 100755

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-44-g331f534

2008-08-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 331f53499e751f658e32e2beb98336f454c5c0c2 Author: Stephane Glondu [EMAIL PROTECTED] Date: Fri Aug 8 23:20:12 2008 +0200 Update debian/changelog diff --git a/debian/changelog b/debian/changelog index 10148c5..48d98bb 100644

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

2008-08-08 Thread Stephane Glondu
The following commit has been merged in the pristine-tar branch: commit a1c63f0e8dc32cda4fbc81392128d30bcb8a2e2e Author: Stephane Glondu [EMAIL PROTECTED] Date: Fri Aug 8 13:18:47 2008 +0200 pristine-tar data for coq_8.2~beta4+dfsg.orig.tar.gz diff --git a/coq_8.2~beta4

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

2008-08-08 Thread Stephane Glondu
The annotated tag, upstream/8.2.beta4+dfsg has been created at e8b83c4c98f9c298496b8513cdce07dd8a162889 (tag) tagging 870075f34dd9fa5792bfbf413afd3b96f17e76a0 (commit) replaces upstream/8.2.beta3+dfsg tagged by Stephane Glondu on Fri Aug 8 13:18:47 2008 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-46-gdfb92f7

2008-08-12 Thread Stephane Glondu
The following commit has been merged in the master branch: commit dfb92f72bd3484d246cc241db865056393d39f47 Author: Stephane Glondu [EMAIL PROTECTED] Date: Tue Aug 12 16:38:34 2008 +0200 Update debian/changelog diff --git a/debian/changelog b/debian/changelog index 48d98bb..92f7e99 100644

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

2008-08-15 Thread Stephane Glondu
The following commit has been merged in the master branch: commit c2b0b6213988a0592da8b773064949c637f8b64d Author: Stephane Glondu [EMAIL PROTECTED] Date: Fri Aug 15 12:26:18 2008 +0200 Add non-native-archs.dpatch Fix FTBFS on non-native architectures (Closes: #495165) diff --git

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

2008-08-15 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 745e0fb3b3bc4c435870f1af25c22d495fac9f29 Author: Stephane Glondu [EMAIL PROTECTED] Date: Fri Aug 15 13:21:44 2008 +0200 Update changelog and prepare for upload diff --git a/debian/changelog b/debian/changelog index 8267f20

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

2008-08-15 Thread Stephane Glondu
The annotated tag, debian/8.2.beta4+dfsg-2 has been created at 4f049e3bfb7d9c447b7a891083b4337f797d7685 (tag) tagging 745e0fb3b3bc4c435870f1af25c22d495fac9f29 (commit) replaces debian/8.2.beta4+dfsg-1 tagged by Stephane Glondu on Fri Aug 15 14:09:05 2008 +0200

[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 5c6894942e4de978963144606e89db432c306625 Merge: 745e0fb3b3bc4c435870f1af25c22d495fac9f29 113b703a695acbe31ac6dd6a8c4aa94f6fda7545 Author: Stephane Glondu [EMAIL PROTECTED] Date: Mon Sep 8 00:15:04 2008 +0200 Merge commit

[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 d84be0b

[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 a/coq_8.2~beta4

[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

[Pkg-ocaml-maint-commits] [SCM] ocamlnet packaging branch, master, updated. debian/2.2.9-3-14-g49e0730

2008-09-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 49e07305dbe7d141917e016898bab8ba71b3a339 Author: Stephane Glondu [EMAIL PROTECTED] Date: Mon Sep 8 22:30:44 2008 +0200 Document FTBFS fix on hurd diff --git a/debian/README.Debian b/debian/README.Debian index 9c79cb9

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

2008-09-09 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 75aabd771e0032ba0e48a54f3d2bb0b290ab0fea Author: Stephane Glondu [EMAIL PROTECTED] Date: Tue Sep 9 13:13:07 2008 +0200 CDBS: handle lines starting with OPT: in *.in files These lines will be deleted on bytecode-only

[Pkg-ocaml-maint-commits] [SCM] ocaml-ssl packaging branch, master, updated. debian/0.4.2-3-7-g497116e

2008-09-29 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 96dfa652b2007158f43569801233a5cede8b77e8 Author: Stephane Glondu [EMAIL PROTECTED] Date: Mon Sep 29 19:24:28 2008 +0200 Fix GC-unsafe operations in C stubs (Closes: #500591) * caml_{enter,leave}_blocking_section

[Pkg-ocaml-maint-commits] [SCM] ocaml-ssl packaging branch, master, updated. debian/0.4.2-3-7-g497116e

2008-09-29 Thread Stephane Glondu
The following commit has been merged in the master branch: commit dc878f00d1eb2a2b5ca4cc404447785f6ed0d6b5 Author: Stephane Glondu [EMAIL PROTECTED] Date: Mon Sep 29 19:28:01 2008 +0200 Set Maintainer to d-o-m, and Uploaders to Sam and me diff --git a/debian/changelog b/debian/changelog

[Pkg-ocaml-maint-commits] [SCM] nurpawiki packaging branch, master, updated. upstream/1.2.1-7-gf50f572

2008-09-30 Thread Stephane Glondu
The following commit has been merged in the master branch: commit f50f57271b937b6d56edb18eda3b48029b6de442 Author: Stephane Glondu [EMAIL PROTECTED] Date: Tue Sep 30 22:12:51 2008 +0200 Fill in ITP number diff --git a/debian/changelog b/debian/changelog index bbcac6f..7906315 100644

[Pkg-ocaml-maint-commits] [SCM] nurpawiki packaging branch, master, updated. upstream/1.2.1-8-g0bc2088

2008-09-30 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 0bc2088552c9567ea623099eb44d2e6e50c0d66d Author: Stephane Glondu [EMAIL PROTECTED] Date: Wed Oct 1 00:50:01 2008 +0200 Fix location of static files in conf template diff --git a/debian/ocsigen.conf.template b/debian

[Pkg-ocaml-maint-commits] [SCM] nurpawiki packaging branch, master, updated. upstream/1.2.1-9-gaeb4d5b

2008-10-01 Thread Stephane Glondu
The following commit has been merged in the master branch: commit aeb4d5bb1b4fd659cc3a4880e3336e778d460267 Author: Janne Hellsten [EMAIL PROTECTED] Date: Wed Oct 1 02:31:21 2008 +0300 Minor documentation changes. diff --git a/debian/README.Debian b/debian/README.Debian index

[Pkg-ocaml-maint-commits] [SCM] nurpawiki packaging branch, master, updated. upstream/1.2.1-10-g3e72176

2008-10-02 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 3e72176cf788a1d0e72b9728954f68c286004fce Author: Stephane Glondu [EMAIL PROTECTED] Date: Thu Oct 2 09:35:38 2008 +0200 More copyright information diff --git a/debian/copyright b/debian/copyright index 8294e7e..10fb79c 100644

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

2008-10-03 Thread Stephane Glondu
The following commit has been merged in the master branch: commit b364c411a7bc55e923992ff963203cbd01ec6d56 Author: Stephane Glondu [EMAIL PROTECTED] Date: Fri Oct 3 22:01:52 2008 +0200 Make configuration file explicit in init script) diff --git a/debian/ocsigen.init b/debian/ocsigen.init

[Pkg-ocaml-maint-commits] [SCM] nurpawiki packaging branch, master, updated. upstream/1.2.1-11-g2220e37

2008-10-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 2220e372fa67fc6c8a5f1bfed9c55286ad60c49f Author: Stephane Glondu [EMAIL PROTECTED] Date: Wed Oct 8 17:55:18 2008 +0200 Remove pcre dependency from META file With pcre in the META file, nurpawiki needs access

[Pkg-ocaml-maint-commits] [SCM] nurpawiki packaging branch, master, updated. upstream/1.2.1-12-gf2f16c1

2008-10-12 Thread Stephane Glondu
The following commit has been merged in the master branch: commit f2f16c133c0c6e736545f9825cc46d0e1c2e3f00 Author: Stephane Glondu [EMAIL PROTECTED] Date: Sun Oct 12 16:30:29 2008 +0200 Clarifications in README.source diff --git a/debian/README.source b/debian/README.source index 1acdefb

[Pkg-ocaml-maint-commits] [SCM] nurpawiki packaging branch, master, updated. upstream/1.2.1-13-g2a10434

2008-10-13 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 2a10434c0de082b7a188e9e2ffbdaa84f540fea8 Author: Stephane Glondu [EMAIL PROTECTED] Date: Mon Oct 13 11:07:58 2008 +0200 Precision in README.source diff --git a/debian/README.source b/debian/README.source index 5c1a098

[Pkg-ocaml-maint-commits] [SCM] nurpawiki packaging branch, master, updated. upstream/1.2.1-19-g8ac711c

2008-10-14 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 2196a453e2d19040be2ccc105cfda72c0853600a Author: Stephane Glondu [EMAIL PROTECTED] Date: Wed Oct 15 00:48:26 2008 +0200 New upstream release diff --git a/debian/changelog b/debian/changelog index 7906315..ed6c0df 100644

[Pkg-ocaml-maint-commits] [SCM] nurpawiki packaging branch, master, updated. upstream/1.2.1-19-g8ac711c

2008-10-14 Thread Stephane Glondu
The following commit has been merged in the master branch: commit eb652a83257fef86c2beefb054597cc7638197ce Author: Stephane Glondu [EMAIL PROTECTED] Date: Wed Oct 15 01:01:17 2008 +0200 Update debian/copyright diff --git a/debian/copyright b/debian/copyright index 10fb79c..8400072 100644

[Pkg-ocaml-maint-commits] [SCM] nurpawiki packaging branch, master, updated. upstream/1.2.1-19-g8ac711c

2008-10-14 Thread Stephane Glondu
The following commit has been merged in the master branch: commit d3d61f7db9e3da18b9ac4d3ffbcb8662c4ffe7cb Author: Stephane Glondu [EMAIL PROTECTED] Date: Wed Oct 15 01:03:01 2008 +0200 Nurpawiki populates the database itself now diff --git a/debian/README.Debian b/debian/README.Debian

[Pkg-ocaml-maint-commits] [SCM] nurpawiki packaging branch, master, updated. upstream/1.2.1-19-g8ac711c

2008-10-14 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 8ac711ca53a1a18d42d5a92cbc573bf620116aa6 Author: Stephane Glondu [EMAIL PROTECTED] Date: Wed Oct 15 01:04:38 2008 +0200 All patches have been merged in upstream diff --git a/debian/README.source b/debian/README.source

[Pkg-ocaml-maint-commits] [SCM] nurpawiki packaging branch, pristine-tar, updated. 6928090aaa1ee49625c326ad01020a4ca9f571a6

2008-10-14 Thread Stephane Glondu
The following commit has been merged in the pristine-tar branch: commit 6928090aaa1ee49625c326ad01020a4ca9f571a6 Author: Stephane Glondu [EMAIL PROTECTED] Date: Wed Oct 15 00:48:09 2008 +0200 pristine-tar data for nurpawiki_1.2.2.orig.tar.gz diff --git a/nurpawiki_1.2.2.orig.tar.gz.delta

[Pkg-ocaml-maint-commits] [SCM] nurpawiki packaging branch, fixes/ocsigen-1.1.0, deleted. upstream/1.2.1-1-g3873d93

2008-10-14 Thread Stephane Glondu
The branch, fixes/ocsigen-1.1.0 has been deleted was 3873d939dbc71a838b71f8a746fd59298c7d216d --- 3873d939dbc71a838b71f8a746fd59298c7d216d Initial commit of patch fixes/ocsigen-1.1.0

[Pkg-ocaml-maint-commits] [SCM] nurpawiki packaging branch, fixes/calendar-2.0.2, deleted. upstream/1.2.1-3-g22513ea

2008-10-14 Thread Stephane Glondu
The branch, fixes/calendar-2.0.2 has been deleted was 22513ea9df13b61c9946d2e0fd704dcdd17f8532 --- 22513ea9df13b61c9946d2e0fd704dcdd17f8532 The whole library is now packed into CalendarLib module

[Pkg-ocaml-maint-commits] [SCM] nurpawiki packaging branch, build, deleted. upstream/1.2.1-6-g8535e56

2008-10-14 Thread Stephane Glondu
The branch, build has been deleted was 8535e56cbc8b495a7ca625577bafa91113a922f5 --- 8535e56cbc8b495a7ca625577bafa91113a922f5 More debhelper files --- --

[Pkg-ocaml-maint-commits] [SCM] nurpawiki packaging branch, master, updated. upstream/1.2.1-21-g96d2611

2008-10-15 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 96d2611f217e46bbed1e0f70e8c00459f020847d Author: Stephane Glondu [EMAIL PROTECTED] Date: Wed Oct 15 23:35:02 2008 +0200 Add dependency to ocaml-base-nox-${F:OCamlABI} diff --git a/debian/control b/debian/control index

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

2008-10-16 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 3e6a1167fd397f2c72b48315e5d82f6c7e24703f Author: Stephane Glondu [EMAIL PROTECTED] Date: Thu Oct 16 13:39:34 2008 +0200 Define substvars more appropriately diff --git a/debian/rules b/debian/rules index 19bd688..58ad7e1

[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, pristine-tar, updated. ed1e361e25ee34da2e9abe8552c68aa82ea8d99a

2008-10-20 Thread Stephane Glondu
The following commit has been merged in the pristine-tar branch: commit ed1e361e25ee34da2e9abe8552c68aa82ea8d99a Author: Stephane Glondu [EMAIL PROTECTED] Date: Fri Oct 17 12:22:48 2008 +0200 pristine-tar data for ocaml_3.11.0~beta1.orig.tar.gz diff --git a/ocaml_3.11.0~beta1

[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, 3.11/upstream, created. upstream/3.10.2-1-g5dfb1ce

2008-10-20 Thread Stephane Glondu
The branch, 3.11/upstream has been created at 5dfb1ce8883f4b3457ae9da5c6dd1399bf132ef1 (commit) - Shortlog commit 5dfb1ce8883f4b3457ae9da5c6dd1399bf132ef1 Author: Stephane Glondu [EMAIL PROTECTED] Date: Fri Oct 17 12:22:34

[Pkg-ocaml-maint-commits] [SCM] camlp5 packaging branch, pristine-tar, updated. bc8a5e7a592a7375ca2ef684ad6c85182aebb84e

2008-10-21 Thread Stephane Glondu
The following commit has been merged in the pristine-tar branch: commit bc8a5e7a592a7375ca2ef684ad6c85182aebb84e Author: Stephane Glondu [EMAIL PROTECTED] Date: Tue Oct 21 18:06:39 2008 +0200 pristine-tar data for camlp5_5.10.orig.tar.gz diff --git a/camlp5_5.10.orig.tar.gz.delta b

[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, 3.11/master, updated. debian/3.10.2-3-56-g1968e22

2008-10-27 Thread Stephane Glondu
The following commit has been merged in the 3.11/master branch: commit 1968e229d9584e5b380261e2d1f89bf06a8a267d Author: Stephane Glondu [EMAIL PROTECTED] Date: Mon Oct 27 18:57:41 2008 +0100 Add manpages.dpatch and ocamldoc.dpatch diff --git a/debian/changelog b/debian/changelog index

  1   2   3   4   5   6   7   8   9   10   >