[Pkg-ocaml-maint-commits] [SCM] ocaml-zarith packaging branch, master, updated. debian/1.1-1-10-g8d13c80

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit fc6b52ccd87d3a3f1462b6521dc6d5cc3c25c657 Merge: cb0e4159e06b27beb5a55d1c5948ea1499ce0b31 256b7df3f1e6a6a9a89ba389722dd5f6cbc040c5 Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 20:56:25 2013 +0200 Merge tag

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

2013-06-25 Thread Mehdi Dogguy
The annotated tag, upstream/1.2.1 has been created at c9a54122dedd7f48ff73ae177b6be216e27d0599 (tag) tagging 2148bce8d5984951b80842e49b9d81d92982aa26 (commit) replaces upstream/1.2 tagged by Mehdi Dogguy on Tue Jun 25 20:56:31 2013 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] ocaml-zarith packaging branch, master, updated. debian/1.1-1-10-g8d13c80

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 70da565edbf7f2922defa95c38603dc66bba881c Merge: fc6b52ccd87d3a3f1462b6521dc6d5cc3c25c657 2148bce8d5984951b80842e49b9d81d92982aa26 Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 20:56:31 2013 +0200 Merge tag

[Pkg-ocaml-maint-commits] [SCM] ocaml-zarith packaging branch, master, updated. debian/1.1-1-10-g8d13c80

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit cb0e4159e06b27beb5a55d1c5948ea1499ce0b31 Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 20:41:57 2013 +0200 Make libzarith-ocaml-dev depend on libgmp3-dev. (Closes: #714088) diff --git a/debian/changelog

[Pkg-ocaml-maint-commits] [SCM] ocaml-zarith packaging branch, master, updated. debian/1.1-1-10-g8d13c80

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 8d13c809a5c9a0df14b955b0748223be3e8c62bf Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 21:34:29 2013 +0200 Bump Standards-Version to 3.9.4 diff --git a/debian/changelog b/debian/changelog index f066342..b8e0968

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

2013-06-25 Thread Mehdi Dogguy
The annotated tag, upstream/1.2 has been created at 5313517588935f8a87aeaf7d29eb664a2c68d572 (tag) tagging 256b7df3f1e6a6a9a89ba389722dd5f6cbc040c5 (commit) replaces upstream/1.1 tagged by Mehdi Dogguy on Tue Jun 25 20:56:24 2013 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] ocaml-zarith packaging branch, master, updated. debian/1.1-1-10-g8d13c80

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 3af4ac55a6b29f4e50fe305ebc73f9d0d00113c6 Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 21:15:31 2013 +0200 Fix outdated-autotools-helper-file config.guess diff --git a/debian/changelog b/debian/changelog index

[Pkg-ocaml-maint-commits] [SCM] ocaml-zarith packaging branch, master, updated. debian/1.1-1-10-g8d13c80

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit a5cf1651878afd2d0fc5b6e0e78e9cc464b1d5ce Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 20:58:39 2013 +0200 New upstream release diff --git a/debian/changelog b/debian/changelog index 0ea67a6..2d2dffd 100644 ---

[Pkg-ocaml-maint-commits] [SCM] ocamlgraph packaging branch, pristine-tar, updated. 040855beb7f8eaeec01e6f7cde824654c4345657

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the pristine-tar branch: commit 040855beb7f8eaeec01e6f7cde824654c4345657 Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 22:19:29 2013 +0200 pristine-tar data for ocamlgraph_1.8.3.orig.tar.gz diff --git a/ocamlgraph_1.8.3.orig.tar.gz.delta

[Pkg-ocaml-maint-commits] [SCM] ocamlgraph packaging branch, master, updated. debian/1.8.2-2-6-g54a29de

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 53f6fdd64a90acdb45ecab32fb6a517c041168b0 Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 22:19:54 2013 +0200 New upstream release diff --git a/debian/changelog b/debian/changelog index 3a7df00..1e6a839 100644 ---

[Pkg-ocaml-maint-commits] [SCM] ocamlgraph packaging branch, master, updated. debian/1.8.2-2-6-g54a29de

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 6560e92143be5dede7b757dfe1bf6d3cabc1b992 Merge: 7bebf24260a40301879b917b81780b8d9b92afbb ab3608493982b4dce98bc5bb8dbc8dae70986795 Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 22:19:29 2013 +0200 Merge tag

[Pkg-ocaml-maint-commits] [SCM] ocamlgraph packaging branch, master, updated. debian/1.8.2-2-6-g54a29de

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit e446b141b9c69e411b61ee1c08d275b9fbc9ddc3 Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 22:21:18 2013 +0200 Refresh patches diff --git a/debian/patches/0001-prefix-binary-names-with-ocaml-and-do-not-install-us.patch

[Pkg-ocaml-maint-commits] [SCM] ocamlgraph packaging branch, master, updated. debian/1.8.2-2-6-g54a29de

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 54a29de234e8835c50a19074515691cdea73aa0b Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 22:26:54 2013 +0200 Update debian/copyright diff --git a/debian/changelog b/debian/changelog index 1e6a839..96d0b0d 100644 ---

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

2013-06-25 Thread Mehdi Dogguy
The annotated tag, upstream/1.8.3 has been created at ed422c6abac76e82396ee8d7f4e599295b94bf36 (tag) tagging ab3608493982b4dce98bc5bb8dbc8dae70986795 (commit) replaces upstream/1.8.2 tagged by Mehdi Dogguy on Tue Jun 25 22:19:29 2013 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20111001+nitrogen+dfsg-3-10-gdecd56b

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit e0c6fca3f2c4b8d73c3a7cdf331375ba846c3b6f Merge: 9d7da4102bfd0599c1ff00aa44d41bb8893384f3 20804861545fda4e14af54c0d77c8a42678ad7bb Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 21:49:33 2013 +0200 Merge tag

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20111001+nitrogen+dfsg-3-10-gdecd56b

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 10eb582f023c91b5c54550b3ebd08475af7ca91d Merge: e0c6fca3f2c4b8d73c3a7cdf331375ba846c3b6f fe4f61e2fad8c17069b38cfcaf2298f884b92ad2 Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 21:50:19 2013 +0200 Merge tag

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20111001+nitrogen+dfsg-3-10-gdecd56b

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 7f57861d65f96cafad2452a6040c2fd321bcca43 Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 21:52:10 2013 +0200 New upstream release diff --git a/debian/changelog b/debian/changelog index be17c9b..b11834f 100644 ---

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20111001+nitrogen+dfsg-3-10-gdecd56b

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 4798a28a9eafc460882a4976ba08ea94a4309c07 Merge: c18e4b814b6bb2e4d83bdb5832c789a6d3ab44c3 26a540fef0a89d97a9525c879eeef3d3557ee3b2 Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 21:51:05 2013 +0200 Merge tag

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20111001+nitrogen+dfsg-3-10-gdecd56b

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit c18e4b814b6bb2e4d83bdb5832c789a6d3ab44c3 Merge: 10eb582f023c91b5c54550b3ebd08475af7ca91d 8e51213e5c96d5ca311dc718c80413a57d649863 Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 21:50:44 2013 +0200 Merge tag

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

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the pristine-tar branch: commit 90ab70038d48b8e5146220ad744cf3c74043e3fd Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 21:49:32 2013 +0200 pristine-tar data for frama-c_20120901+oxygen+dfsg.orig.tar.gz diff --git

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

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the pristine-tar branch: commit b8c05e9afd900ccc0a0f734172a4874206fbae93 Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 21:50:44 2013 +0200 pristine-tar data for frama-c_20130501+fluorine2+dfsg.orig.tar.gz diff --git

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

2013-06-25 Thread Mehdi Dogguy
The annotated tag, upstream/20130601+fluorine3+dfsg has been created at 6b171dcf5c0fe23943d934ab0f634e0c13609578 (tag) tagging 26a540fef0a89d97a9525c879eeef3d3557ee3b2 (commit) replaces upstream/20130501+fluorine2+dfsg tagged by Mehdi Dogguy on Tue Jun 25 21:51:05 2013

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

2013-06-25 Thread Mehdi Dogguy
The annotated tag, upstream/20130401+fluorine+dfsg has been created at 4699ec63ed3c48e6fe4eb3bdae155442b0bed1c1 (tag) tagging fe4f61e2fad8c17069b38cfcaf2298f884b92ad2 (commit) replaces upstream/20120901+oxygen+dfsg tagged by Mehdi Dogguy on Tue Jun 25 21:50:19 2013 +0200

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

2013-06-25 Thread Mehdi Dogguy
The annotated tag, upstream/20120901+oxygen+dfsg has been created at 346e0edd70b5ad761a3907357ef356f8690b1adb (tag) tagging 20804861545fda4e14af54c0d77c8a42678ad7bb (commit) replaces upstream/20111001+nitrogen+dfsg tagged by Mehdi Dogguy on Tue Jun 25 21:49:32 2013 +0200

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

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the pristine-tar branch: commit 799f1e30da3f45d462cb6cac213408ebcebd0852 Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 21:50:19 2013 +0200 pristine-tar data for frama-c_20130401+fluorine+dfsg.orig.tar.gz diff --git

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

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the pristine-tar branch: commit dfef0a26b1a7af5b34a72a289e5046e3b9f70ffa Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 21:51:05 2013 +0200 pristine-tar data for frama-c_20130601+fluorine3+dfsg.orig.tar.gz diff --git

[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20111001+nitrogen+dfsg-3-10-gdecd56b

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit decd56b430b648f3a8db8a8cefc40c9e7a7498c4 Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 22:04:38 2013 +0200 Update patches. - Disable 0001-Add-ocamlgraph-to-DYN_-O-B-LINKFLAGS.patch - Remove

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

2013-06-25 Thread Mehdi Dogguy
The annotated tag, upstream/20130501+fluorine2+dfsg has been created at f468fd803273da3bc9b4cf8710e2842e351e3f1d (tag) tagging 8e51213e5c96d5ca311dc718c80413a57d649863 (commit) replaces upstream/20130401+fluorine+dfsg tagged by Mehdi Dogguy on Tue Jun 25 21:50:44 2013

[Pkg-ocaml-maint-commits] [SCM] ocaml-zarith packaging branch, master, updated. debian/1.1-1-11-g6230bce

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 6230bce32244285ec4172f535afa195de35f9821 Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 21:43:08 2013 +0200 Release to unstable diff --git a/debian/changelog b/debian/changelog index b8e0968..0961e91 100644 ---

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

2013-06-25 Thread Mehdi Dogguy
The annotated tag, debian/1.2.1-1 has been created at ae5875c41cbd831ad7fe608b6b6dc653224a7f53 (tag) tagging 6230bce32244285ec4172f535afa195de35f9821 (commit) replaces debian/1.1-1 tagged by Mehdi Dogguy on Tue Jun 25 21:43:21 2013 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] ocamlgraph packaging branch, master, updated. debian/1.8.2-2-8-g841af73

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 286597230c5bb0a98c4ed97b1c28b4201cdd732e Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 23:07:00 2013 +0200 Add new patches diff --git a/debian/changelog b/debian/changelog index 96d0b0d..a4f67e4 100644 ---

[Pkg-ocaml-maint-commits] [SCM] ocamlgraph packaging branch, master, updated. debian/1.8.2-2-8-g841af73

2013-06-25 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 841af73c79f626531196d4cbadf49ce98befe279 Author: Mehdi Dogguy me...@debian.org Date: Tue Jun 25 23:15:05 2013 +0200 Bump Standards-Version to 3.9.4, no changes needed. diff --git a/debian/changelog b/debian/changelog index

[Pkg-ocaml-maint-commits] [SCM] ocamlmod packaging branch, pristine-tar, updated. 34645e9ef9fd34b74e26035ff1ff443e779f5dc2

2013-06-25 Thread Sylvain Le Gall
The following commit has been merged in the pristine-tar branch: commit 34645e9ef9fd34b74e26035ff1ff443e779f5dc2 Author: Sylvain Le Gall gil...@debian.org Date: Tue Jun 25 23:14:05 2013 +0200 pristine-tar data for ocamlmod_0.0.4.orig.tar.gz diff --git a/ocamlmod_0.0.4.orig.tar.gz.delta

[Pkg-ocaml-maint-commits] [SCM] ocamlmod packaging branch, master, updated. debian/0.0.2-3-3-g72c04bc

2013-06-25 Thread Sylvain Le Gall
The following commit has been merged in the master branch: commit 179909b3def0663c883caa3d54d5daa0e5b47198 Merge: cb6d93fd7c5b392eabdace6b5f60299cf9d5fb8e a267af63a66a97a6831e6dcafdbeb97b302e93b8 Author: Sylvain Le Gall gil...@debian.org Date: Tue Jun 25 23:14:05 2013 +0200 Merge commit

[Pkg-ocaml-maint-commits] [SCM] ocamlmod packaging branch, master, updated. debian/0.0.2-3-3-g72c04bc

2013-06-25 Thread Sylvain Le Gall
The following commit has been merged in the master branch: commit 72c04bc2502e761ec8a8dc9961bce77652ad3222 Author: Sylvain Le Gall gil...@debian.org Date: Tue Jun 25 21:24:52 2013 + Upgrade to 0.0.4. diff --git a/debian/changelog b/debian/changelog index a01eae0..b5acfec 100644 ---

[Pkg-ocaml-maint-commits] [SCM] ocamlify packaging branch, master, updated. debian/0.0.1-3-3-g4ff2d80

2013-06-25 Thread Sylvain Le Gall
The following commit has been merged in the master branch: commit 99f0b6c99c5ecd85b34d1f00d0261bf5de5e68cf Merge: b1df528cf9d6ab3e29035ba4398a642296de3f27 41823bcc5dcbaee58abe32d2890313b973271497 Author: Sylvain Le Gall gil...@debian.org Date: Tue Jun 25 22:11:24 2013 + Merge tag

[Pkg-ocaml-maint-commits] [SCM] ocamlify packaging branch, pristine-tar, updated. 269555db1d61325be2865f4e254c4e3d2ef9213d

2013-06-25 Thread Sylvain Le Gall
The following commit has been merged in the pristine-tar branch: commit 269555db1d61325be2865f4e254c4e3d2ef9213d Author: Sylvain Le Gall gil...@debian.org Date: Tue Jun 25 22:11:23 2013 + pristine-tar data for ocamlify_0.0.2.orig.tar.gz diff --git a/ocamlify_0.0.2.orig.tar.gz.delta

[Pkg-ocaml-maint-commits] [SCM] ocamlify packaging branch, master, updated. debian/0.0.1-3-3-g4ff2d80

2013-06-25 Thread Sylvain Le Gall
The following commit has been merged in the master branch: commit 4ff2d804d48f1987d907be533426fc6b4bd405ab Author: Sylvain Le Gall gil...@debian.org Date: Tue Jun 25 22:14:45 2013 + Prepare new upstream release. diff --git a/debian/changelog b/debian/changelog index 8685c62..dac63d7

[Pkg-ocaml-maint-commits] [SCM] ocamlmod packaging branch, master, updated. debian/0.0.2-3-4-g69ae4f9

2013-06-25 Thread Sylvain Le Gall
The following commit has been merged in the master branch: commit 69ae4f9a915a0dc0caab6f196d5cbdd1cfca4d5e Author: Sylvain Le Gall gil...@debian.org Date: Tue Jun 25 23:25:51 2013 + Take into account H. Tews remarks. diff --git a/debian/changelog b/debian/changelog index