The following commit has been merged in the experimental/master branch:
commit 676cc7a1dcf1634005c67f76f17390cc8fe44f00
Merge: ff61c7f8b0cbe6f0173720e08a63142a3146cc53
86535d84cc3cffeee1dcd8545343f234e7285530
Author: Stephane Glondu st...@glondu.net
Date: Mon Jun 4 12:29:12 2012 +0200
The following commit has been merged in the experimental/master branch:
commit 3a10a27a477f3df2f3f51a1011fef318ff4f5f58
Author: Stephane Glondu st...@glondu.net
Date: Mon Jun 4 12:26:25 2012 +0200
New upstream beta release
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the experimental/master branch:
commit 4c3793181d62c1e4c883cea7547ee04ea423fbe4
Author: Stephane Glondu st...@glondu.net
Date: Mon Jun 4 12:28:06 2012 +0200
Refresh patches
diff --git
The following commit has been merged in the experimental/master branch:
commit c467035933a683a7b7ac214fc511604735f15e7f
Author: Stephane Glondu st...@glondu.net
Date: Mon Jun 4 14:18:02 2012 +0200
Update ABI
diff --git a/debian/rules b/debian/rules
index 4ed4e3a..d885ece 100755
---
The following commit has been merged in the experimental/master branch:
commit 9ba360bc40800295fd8f706a4d561805c2e4c8db
Author: Stephane Glondu st...@glondu.net
Date: Mon Jun 4 15:03:22 2012 +0200
Dp plugin has been dropped
diff --git a/debian/libcoq-ocaml.install.in
The following commit has been merged in the experimental/master branch:
commit 509d6d4b58f50b86ca482d49fb6b2fee7fc3dfe9
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 07:38:34 2012 +0200
Prepare upload to experimental
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the pristine-tar branch:
commit 2e05cd4282367de0ac40d4db953c41cd727b1cbf
Author: Stephane Glondu st...@glondu.net
Date: Mon Jun 4 12:07:56 2012 +0200
pristine-tar data for coq_8.4~gamma0+really8.4beta2.orig.tar.gz
diff --git
The following commit has been merged in the pristine-tar branch:
commit 3062db87a56cf1e4af52466720793441076814df
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 09:54:43 2012 +0200
pristine-tar data for coq_8.4~gamma0+really8.4beta2+dfsg.orig.tar.gz
diff --git
The annotated tag, upstream/8.4_gamma0+really8.4beta2 has been created
at fda93360cbda05d3f0a26066dcb7b26e32fab0b5 (tag)
tagging 61dc740ed1c3780cccaec00d059a28f0d31d0052 (commit)
replaces upstream/8.4_beta
tagged by Stephane Glondu
on Mon Jun 4 12:07:56 2012 +0200
-
The annotated tag, upstream/8.4_gamma0+really8.4beta2+dfsg has been created
at 909bac0c7e3afc6cd15448aefcdda439ec4b9e0d (tag)
tagging 86535d84cc3cffeee1dcd8545343f234e7285530 (commit)
replaces upstream/8.4_beta+dfsg
tagged by Stephane Glondu
on Mon Jun 4 12:25:22 2012
The following commit has been merged in the master branch:
commit caeb691f83f9cc5ebfafb80afdbee2cbd8c2b20c
Merge: 47f01f3967cd0c0668f607ac92de88ed52b2c1a4
0eea230fe53e21a8921b5d6174548d7b908db367
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 10:13:39 2012 +0200
Merge tag
The following commit has been merged in the master branch:
commit 7d731368b51173bc6d160b8ad3bee39a100875b3
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 10:13:46 2012 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index dc044ab..13c3cfe 100644
---
The following commit has been merged in the master branch:
commit a929c61251b319979778520f816d822e42686197
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 10:15:04 2012 +0200
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 13c3cfe..2be7615 100644
The following commit has been merged in the pristine-tar branch:
commit 97fab2f68da03feae9c0d8649479038b8177dad5
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 10:13:39 2012 +0200
pristine-tar data for camlp5_6.06.orig.tar.gz
diff --git a/camlp5_6.06.orig.tar.gz.delta
The annotated tag, upstream/6.06 has been created
at 8ed4214b790e48464a147aa383d881f0e38d0393 (tag)
tagging 0eea230fe53e21a8921b5d6174548d7b908db367 (commit)
replaces upstream/6.05
tagged by Stephane Glondu
on Tue Jun 5 10:13:39 2012 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 93e069bdad63034e5089ddd3f5f7b214b29cc094
Merge: df5e005184a5a08d0e3672c6e75f062781bbc94f
ab72b872572793778e5276796add719af4d71a44
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 11:12:17 2012 +0200
Merge tag
The following commit has been merged in the master branch:
commit c4d50331333455368c42fc10042946ec8ce0b490
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 11:12:28 2012 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index bb19307..71e09ca 100644
---
The following commit has been merged in the master branch:
commit 1d5ee1e1597c600d69022f17b79919a863bf81ba
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 11:23:39 2012 +0200
Refresh patches
diff --git
The following commit has been merged in the master branch:
commit 26b9c5160aeb8ccded50c440d1121ce617a849fc
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 11:20:39 2012 +0200
Update debian/copyright
diff --git a/debian/copyright b/debian/copyright
index f7b04f3..05e6d73 100644
---
The following commit has been merged in the master branch:
commit a4ca03a16435aec1137f21a44bf47adfca6c9a06
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 11:26:28 2012 +0200
Misc updates
diff --git a/debian/rules b/debian/rules
index d8f0594..32df080 100755
--- a/debian/rules
+++
The following commit has been merged in the master branch:
commit e7e1d87c99fdb8727d9412d3392d477c55208b85
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 11:22:23 2012 +0200
Update changelog and prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the pristine-tar branch:
commit 05c3f112a7454027c4fb85c7dc8cf1350bffe463
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 11:12:14 2012 +0200
pristine-tar data for findlib_1.3.0.orig.tar.gz
diff --git a/findlib_1.3.0.orig.tar.gz.delta
The following commit has been merged in the pristine-tar branch:
commit 42ef13d38433d90a590c7af81db4d4abb98e0c9f
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 11:12:17 2012 +0200
pristine-tar data for findlib_1.3.1.orig.tar.gz
diff --git a/findlib_1.3.1.orig.tar.gz.delta
The annotated tag, upstream/1.3.0 has been created
at c5fea3d72acf00a25bcc735c4e3f548140bd26ca (tag)
tagging 6c69c5c7498d23de15a2f3fb9e63bacaeee243b0 (commit)
replaces upstream/1.2.8+debian
tagged by Stephane Glondu
on Tue Jun 5 11:12:14 2012 +0200
- Shortlog
The annotated tag, upstream/1.3.1 has been created
at 7bb41253cadcb728f0474ad827d4a1e6c67753da (tag)
tagging ab72b872572793778e5276796add719af4d71a44 (commit)
replaces upstream/1.3.0
tagged by Stephane Glondu
on Tue Jun 5 11:12:17 2012 +0200
- Shortlog
The annotated tag, debian/6.06-1 has been created
at 5da17ae366a85bc47b486ac00408006bb97f8cc9 (tag)
tagging a929c61251b319979778520f816d822e42686197 (commit)
replaces debian/6.05-1
tagged by Stephane Glondu
on Tue Jun 5 11:46:48 2012 +0200
- Shortlog
The annotated tag, debian/1.3.1-1 has been created
at 304a4c27363a9a76d23c089890f7ca111cf4a6a3 (tag)
tagging e7e1d87c99fdb8727d9412d3392d477c55208b85 (commit)
replaces debian/1.2.8+debian-1
tagged by Stephane Glondu
on Tue Jun 5 11:49:03 2012 +0200
- Shortlog
The following commit has been merged in the master branch:
commit a6cfb37ab43a0720fdd3408b34e2ca51f7b3ffa8
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 11:51:59 2012 +0200
Simplify debian/watch
diff --git a/debian/watch b/debian/watch
index ae75332..0d8580e 100644
---
The following commit has been merged in the master branch:
commit 48a9d2723e76eb9faa18973b90c099919072c481
Merge: a6cfb37ab43a0720fdd3408b34e2ca51f7b3ffa8
4c3c89d6891780f86bae4119c60d43aa8c8f8b1b
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 11:52:14 2012 +0200
Merge tag
The following commit has been merged in the master branch:
commit 1885a49693455b22ae7ed90b94d9e71559bc52c6
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 11:52:21 2012 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 4d6408f..7176db9 100644
---
The following commit has been merged in the master branch:
commit 4590bfd98c3cc764670dbc31226bfd63751450cc
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 11:52:56 2012 +0200
Refresh patches
diff --git a/debian/patches/0001-Fix-build-on-bytecode-architectures.patch
The following commit has been merged in the master branch:
commit 6be0ff10e2b8a6b9d6dcefd7f92fb91caf2d48f3
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 11:57:35 2012 +0200
Fix runtime error due to missing sdlvideo (Closes: #667447)
diff --git
The following commit has been merged in the pristine-tar branch:
commit 301cc9f021c2ff058ce7e69f11c6047805b9da8a
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 11:52:14 2012 +0200
pristine-tar data for ocamlsdl_0.9.0.orig.tar.gz
diff --git a/ocamlsdl_0.9.0.orig.tar.gz.delta
The annotated tag, upstream/0.9.0 has been created
at 759b1f4133ec71926e1e2554d835224653ee8b19 (tag)
tagging 4c3c89d6891780f86bae4119c60d43aa8c8f8b1b (commit)
replaces upstream/0.8.0
tagged by Stephane Glondu
on Tue Jun 5 11:52:14 2012 +0200
- Shortlog
The following commit has been merged in the master branch:
commit bae134cf288d2b8d78b736cf890a8567c50a0124
Merge: 5bd704cbadee9c55a6ffc645e7d9d321f920ebd0
3c9c8ba745a7d622f9949b07a893a761ff928e96
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 17:11:28 2012 +0200
Merge tag
The following commit has been merged in the master branch:
commit ac37cb3a7db3efb3f7604b2381380e386fb54bbc
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 17:15:00 2012 +0200
New upstream release (Closes: #675505)
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 977cb656e7f00990f53d9cf702fe3e31ff96eacd
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 17:36:44 2012 +0200
Install extunix.cmxs
diff --git a/debian/changelog b/debian/changelog
index 3d225e6..b0fc6ba 100644
---
The following commit has been merged in the master branch:
commit 839cc552e7f6d5833b61eaeab29c2ea86e1ba2a4
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 17:27:06 2012 +0200
Rebase patches
diff --git a/debian/changelog b/debian/changelog
index eee9af8..3d225e6 100644
---
The following commit has been merged in the master branch:
commit 7a99f684e6cadec85f82bc6b5e0153e2986bc8b8
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 17:42:02 2012 +0200
Mention that it is a Team upload
diff --git a/debian/changelog b/debian/changelog
index b0fc6ba..3d6a0ae
The following commit has been merged in the master branch:
commit abf6ba6506f4f1db1a80692143a1ec3e977054b6
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 17:44:07 2012 +0200
Bump Standards-Version to 3.9.3, no changes needed.
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit a19d39615093208b1a3a68a6302e443ed7aafd75
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 17:37:13 2012 +0200
Release to unstable
diff --git a/debian/changelog b/debian/changelog
index fb5b225..330b1bd 100644
---
The following commit has been merged in the pristine-tar branch:
commit 383460068a292e85e521713d00bc0a7a7fa7bb29
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 17:11:28 2012 +0200
pristine-tar data for ocaml-extunix_0.0.4.orig.tar.gz
diff --git
The annotated tag, debian/0.0.4-1 has been created
at 75b5bb00c74be120555bb7f749a19720ca1b82e9 (tag)
tagging a19d39615093208b1a3a68a6302e443ed7aafd75 (commit)
replaces debian/0.0.3-2
tagged by Mehdi Dogguy
on Tue Jun 5 18:31:39 2012 +0200
- Shortlog
The annotated tag, upstream/0.0.4 has been created
at f7f83bc2b65eddf4d68f8deac4a2544ab665cb9b (tag)
tagging 3c9c8ba745a7d622f9949b07a893a761ff928e96 (commit)
replaces upstream/0.0.3
tagged by Mehdi Dogguy
on Tue Jun 5 17:11:28 2012 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 23038a85699a91724d56b9b1fb773078e5f8dd44
Merge: d68768b43f629068b5c0d133081da23c9558f431
889ff5dee3584843c7648dc3a842439e8cef49ec
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 18:03:18 2012 +0200
Merge tag
The following commit has been merged in the master branch:
commit 1860c2e77c4f3260215dc8dd58013f27904f5d09
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 18:06:14 2012 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 901d309..bee5055 100644
---
The following commit has been merged in the master branch:
commit 7ed667bf0e83e747598c05af587bfb859986abb5
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 18:06:48 2012 +0200
Add a Homepage field in debian/control.
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit f6a4f22d83391492c2519f6778cbfe93ff9a205b
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 18:08:20 2012 +0200
Update debian/watch file.
diff --git a/debian/changelog b/debian/changelog
index db8cdfa..62b0143 100644
---
The following commit has been merged in the master branch:
commit 982482e2702ea698c2c9cf7e06fa8043a8f14e0e
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 18:16:58 2012 +0200
Remove local patches, integrated by upstream.
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit d2b05dafe216cc66168bd99bf3f2f3763bc405f3
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 18:23:52 2012 +0200
Various packaging updates
* Bump standards version to 3.9.3
* Switch source package format to 3.0
The following commit has been merged in the master branch:
commit 659bf2d61ccef17481717fcced6b42fd27485579
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 18:38:43 2012 +0200
Generate ref doc using dh_ocamldoc
diff --git a/debian/libmysql-ocaml-dev.doc-base
The following commit has been merged in the master branch:
commit d78787b7663d9ea009f2debbe778bb4b8ffdd4ec
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 18:45:55 2012 +0200
Fix lintian's duplicate-short-description libmysql-ocaml{,-dev}
diff --git a/debian/changelog
The following commit has been merged in the master branch:
commit 3927e7ffcb833c701014c5e024b46e1fe65ee41f
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 18:44:32 2012 +0200
Release to unstable
diff --git a/debian/changelog b/debian/changelog
index d1b574c..d135bb1 100644
---
The following commit has been merged in the pristine-tar branch:
commit bedb6cc6dcd1bb642d0be889b7abd83b729c45f4
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 18:03:18 2012 +0200
pristine-tar data for mysql-ocaml_1.1.1.orig.tar.gz
diff --git a/mysql-ocaml_1.1.1.orig.tar.gz.delta
The annotated tag, debian/1.1.1-1 has been created
at 46c16605fa472e38373e5e7ff517d3173d7e8411 (tag)
tagging 3927e7ffcb833c701014c5e024b46e1fe65ee41f (commit)
replaces debian/1.0.4-7
tagged by Mehdi Dogguy
on Tue Jun 5 18:51:55 2012 +0200
- Shortlog
The annotated tag, upstream/1.1.1 has been created
at d4fe4d3e118e2373fc80a7beed3ef0f5a8ed75ba (tag)
tagging 889ff5dee3584843c7648dc3a842439e8cef49ec (commit)
replaces upstream/1.0.4
tagged by Mehdi Dogguy
on Tue Jun 5 18:03:18 2012 +0200
- Shortlog
The following commit has been merged in the master branch:
commit d79001972e14a50a95225e0061da901aaf60b974
Merge: c520b2777ccbcb353780547489077a4bf199c540
cbb86997d27b057b0f3e7e1bdc9fc99fce72b54b
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 21:28:09 2012 +0200
Merge tag
The following commit has been merged in the master branch:
commit f2c3c0b6f14ddb8f61a9c3c18fe4e906788e9914
Merge: d79001972e14a50a95225e0061da901aaf60b974
7bc9541a02fc4c5e231bec52f7ff488ad22046ef
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 21:28:21 2012 +0200
Merge tag
The following commit has been merged in the master branch:
commit 05ced90ed3af9c74b5a110ae250a2ac802d076e4
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 21:31:16 2012 +0200
New upstream release (Closes: 668027)
diff --git a/debian/changelog b/debian/changelog
index 6f11053..cb08171
The following commit has been merged in the master branch:
commit c17c479f73433e1cc699c246efb2bf560498b824
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 21:52:01 2012 +0200
Set DOCROOT when building
diff --git a/debian/rules b/debian/rules
index d13cc96..db5286d 100755
---
The following commit has been merged in the master branch:
commit e1aeed3ae0fce5def71bafdd7f1374890bbf9d09
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 22:20:08 2012 +0200
Rebase local patches (git update)
diff --git a/debian/patches/0001-Do-not-enforce-sanity-check-rules.patch
The following commit has been merged in the master branch:
commit dbfc9efec3542b253ed85358250e669ddd2811e3
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 22:35:55 2012 +0200
Add two patches to fix minor issues
diff --git a/debian/changelog b/debian/changelog
index cb08171..acb7f6b
The following commit has been merged in the master branch:
commit 5140612caa9e1f4621f0f6a0436233ab493a57f8
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 22:51:41 2012 +0200
Release to unstable
diff --git a/debian/changelog b/debian/changelog
index acb7f6b..4d8d39b 100644
---
The following commit has been merged in the pristine-tar branch:
commit b3c723447e123766a6a3cb921f24ea4b3fb9b069
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 5 21:28:09 2012 +0200
pristine-tar data for ocaml-batteries_1.4.2.orig.tar.gz
diff --git
The annotated tag, upstream/1.4.2 has been created
at 2c0e7be053e77168dedb2d4d9293968bc11cc391 (tag)
tagging cbb86997d27b057b0f3e7e1bdc9fc99fce72b54b (commit)
replaces upstream/1.4.1
tagged by Mehdi Dogguy
on Tue Jun 5 21:28:09 2012 +0200
- Shortlog
The annotated tag, upstream/1.4.3 has been created
at 3f540de1d76e07a232627b5d1657770976bfe663 (tag)
tagging 7bc9541a02fc4c5e231bec52f7ff488ad22046ef (commit)
replaces upstream/1.4.2
tagged by Mehdi Dogguy
on Tue Jun 5 21:28:21 2012 +0200
- Shortlog
66 matches
Mail list logo
