The following commit has been merged in the master branch:
commit 3b1cba4310a0c5b68b382929350e4420378b0646
Merge: ec05296abdacdf715764afcbb852a2a99e889241
cbe1f0c493b4cc30067701bf17150043c6ea2a83
Author: Stephane Glondu st...@glondu.net
Date: Sat Aug 8 21:33:46 2009 +0200
Merge commit
The following commit has been merged in the master branch:
commit 2f79761856a17a9af4269cff3f843846fca4beb7
Author: Stephane Glondu st...@glondu.net
Date: Sat Aug 8 21:35:01 2009 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 52e0088..227ea32 100644
The following commit has been merged in the pristine-tar branch:
commit ed56600ab1b8c6e9174357282eb63e2c8c39fad4
Author: Stephane Glondu st...@glondu.net
Date: Sat Aug 8 21:33:13 2009 +0200
pristine-tar data for mlpost_0.7.orig.tar.gz
diff --git a/mlpost_0.7.orig.tar.gz.delta b/mlpost_0.7
The following commit has been merged in the pristine-tar branch:
commit b9ca72b2a19dfaa103927c31c5ae4b5772fb6c12
Author: Stephane Glondu st...@glondu.net
Date: Sat Aug 8 21:33:46 2009 +0200
pristine-tar data for mlpost_0.7.1.orig.tar.gz
diff --git a/mlpost_0.7.1.orig.tar.gz.delta b
The annotated tag, upstream/0.7 has been created
at d241160dc9a03e670fc8ffcece3e1d9fe8bafc79 (tag)
tagging d2fa72a0b93063f19c51f2cdab8de175e0569355 (commit)
replaces upstream/0.6
tagged by Stephane Glondu
on Sat Aug 8 21:33:13 2009 +0200
- Shortlog
The annotated tag, upstream/0.7.1 has been created
at 4bb08bb331313bf8fb9311637af9210d96dda75c (tag)
tagging cbe1f0c493b4cc30067701bf17150043c6ea2a83 (commit)
replaces upstream/0.7
tagged by Stephane Glondu
on Sat Aug 8 21:33:46 2009 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 1cf59e677e44263ad588743bc6725ea87dcdb223
Author: Stephane Glondu st...@glondu.net
Date: Tue Aug 11 14:18:04 2009 +0200
Update list of authors
diff --git a/debian/copyright b/debian/copyright
index 739cd78..986fbc4 100644
The following commit has been merged in the master branch:
commit cef951a290808814be5733704ae07230500878ff
Author: Stephane Glondu st...@glondu.net
Date: Tue Aug 11 14:19:06 2009 +0200
Update packaging
diff --git a/debian/clean b/debian/clean
new file mode 100644
index 000..3ed5a3f
The following commit has been merged in the master branch:
commit 750ed2c6e5b9a3377a7986fca5f7f342585e8de4
Author: Stephane Glondu st...@glondu.net
Date: Tue Aug 11 14:30:27 2009 +0200
Add a patch to fix double UTF8-encoding in manpage
diff --git a/debian/README.source b/debian
The following commit has been merged in the master branch:
commit d9139b010b2b98fb7b347e8098a594640207323c
Author: Stephane Glondu st...@glondu.net
Date: Tue Aug 11 16:45:42 2009 +0200
Update changelog
diff --git a/debian/changelog b/debian/changelog
index 227ea32..7217647 100644
The following commit has been merged in the master branch:
commit f35adeece26531a3020021fc9e01b748bbd6c476
Author: Stephane Glondu st...@glondu.net
Date: Tue Aug 11 23:11:22 2009 +0200
Add more build-dependencies
diff --git a/debian/control b/debian/control
index 50d29eb..3578a87 100644
The following commit has been merged in the master branch:
commit 912af39c2ece7ca45b9bafc485e0efe10f4c9157
Author: Stephane Glondu st...@glondu.net
Date: Tue Aug 11 23:15:14 2009 +0200
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 7217647..4a04e36 100644
The annotated tag, debian/0.7.1-1 has been created
at 884b2f119f766d01fccf9172edacb4a8f597a665 (tag)
tagging 912af39c2ece7ca45b9bafc485e0efe10f4c9157 (commit)
replaces debian/0.6-3
tagged by Stephane Glondu
on Tue Aug 11 23:22:22 2009 +0200
- Shortlog
The annotated tag, debian/0.7.1-2 has been created
at c94d21fff5eac82265cd635be4caf2c2fa301fe4 (tag)
tagging 4e454d0c51d46fe824cd798b702d4fe71939069a (commit)
replaces debian/0.7.1-1
tagged by Stephane Glondu
on Thu Aug 13 13:58:47 2009 +0200
- Shortlog
The annotated tag, debian/1.1.0+darcs20090806-1 has been created
at 92ba2ea7ba7987aed2797c721a6ecca075d7aa4e (tag)
tagging a6fbb3607b8de82347c8337f3fe725eef761eee0 (commit)
replaces debian/1.1.0-3
tagged by Stephane Glondu
on Thu Aug 20 17:23:11 2009 +0200
- Shortlog
The annotated tag, upstream/1.1.0+darcs20090806 has been created
at 35a10ea9b4ba3ded442e08017ae6cfbb9a404c0f (tag)
tagging 8c633b4af3ac674c46ea6b6df016a4dd945f93be (commit)
replaces upstream/1.1.0
tagged by Stephane Glondu
on Thu Aug 20 14:10:04 2009 +0200
- Shortlog
The branch, experimental/master has been created
at a6fbb3607b8de82347c8337f3fe725eef761eee0 (commit)
- Shortlog
commit a6fbb3607b8de82347c8337f3fe725eef761eee0
Author: Stephane Glondu st...@glondu.net
Date: Thu Aug 20 17:09
The following commit has been merged in the pristine-tar branch:
commit cac0e60d28bca2d082647541f928c4ef49b52001
Author: Stephane Glondu st...@glondu.net
Date: Thu Aug 20 14:10:04 2009 +0200
pristine-tar data for lwt_1.1.0+darcs20090806.orig.tar.gz
diff --git a/lwt_1.1.0+darcs20090806
The branch, experimental/upstream has been created
at 8c633b4af3ac674c46ea6b6df016a4dd945f93be (commit)
- Shortlog
---
--
Cooperative light-weight thread
The following commit has been merged in the master branch:
commit 951e17aa72a6ba4e51bae6e6fb3db1e351dfeaf8
Author: Stephane Glondu st...@glondu.net
Date: Fri Aug 21 10:35:40 2009 +0200
Update Standards-Version to 3.8.3 and prepare upload to unstable
diff --git a/debian/changelog b/debian
The annotated tag, debian/1.2.0-3 has been created
at 724fa0fbb67beb76ffd66ecbad5744caddeb666a (tag)
tagging 951e17aa72a6ba4e51bae6e6fb3db1e351dfeaf8 (commit)
replaces debian/1.2.0-2
tagged by Stephane Glondu
on Fri Aug 21 10:47:11 2009 +0200
- Shortlog
The branch, experimental/master has been created
at 9bb4ae81d959e3e660641e019fb8ff54864ba811 (commit)
- Shortlog
commit 9bb4ae81d959e3e660641e019fb8ff54864ba811
Author: Stephane Glondu st...@glondu.net
Date: Fri Aug 21 09:46
The branch, experimental/upstream has been created
at c84bcf131ff4133104780fa8dca5d0ba8eb195a3 (commit)
- Shortlog
---
--
ocsigen packaging
The annotated tag, debian/1.2.0-3+lwt.0 has been created
at 7e43bafd25530e6fb79a2f94c866cd8bb3a41c8f (tag)
tagging 9bb4ae81d959e3e660641e019fb8ff54864ba811 (commit)
replaces debian/1.2.0-3
tagged by Stephane Glondu
on Fri Aug 21 16:10:02 2009 +0200
- Shortlog
The following commit has been merged in the master branch:
commit a12e81f7c8b803f28e3bffe817dd24a852ec54c3
Author: Stephane Glondu st...@glondu.net
Date: Sat Aug 22 12:27:49 2009 +0200
Fix version field in META file
diff --git a/debian/META b/debian/META.in
similarity index 77%
rename from
The following commit has been merged in the master branch:
commit 9dd7363c1ef04fb755c7cddbf92f02c8a1a6f73d
Author: Stephane Glondu st...@glondu.net
Date: Sat Aug 22 12:38:30 2009 +0200
Various updates
diff --git a/debian/README.source b/debian/README.source
new file mode 100644
index
The following commit has been merged in the master branch:
commit 8f55eb07f6b574f4d668a4d5090cfe1bc2f18f24
Author: Stephane Glondu st...@glondu.net
Date: Sat Aug 22 13:02:49 2009 +0200
Update Conflicts/Replaces for libzip-ocaml
diff --git a/debian/changelog b/debian/changelog
index 70a12f3
The following commit has been merged in the experimental/master branch:
commit 994955e34a56931dfacc43e1ef680f2d29c66808
Author: Stephane Glondu st...@glondu.net
Date: Tue Aug 25 01:55:12 2009 +0200
Split binary packages
diff --git a/debian/changelog b/debian/changelog
index 5534273
The annotated tag, debian/1.1.0+darcs20090806-2 has been created
at 34e616ed874e2d917228db2d3f25d9cd0dfce5dd (tag)
tagging 994955e34a56931dfacc43e1ef680f2d29c66808 (commit)
replaces debian/1.1.0+darcs20090806-1
tagged by Stephane Glondu
on Tue Aug 25 02:05:51 2009 +0200
The following commit has been merged in the master branch:
commit 1ee5bfc2bd0f9f61443b8970cde64e36301d26e3
Author: Stephane Glondu st...@glondu.net
Date: Tue Aug 25 11:19:56 2009 +0200
Various updates
diff --git a/debian/README.source b/debian/README.source
new file mode 100644
index
The annotated tag, debian/0.4-2 has been created
at ac3f492696455df513231338a73261b3f41fb20a (tag)
tagging 564f9aaa51d281831e816fc1e5e198984faedd8e (commit)
replaces debian/0.4-1
tagged by Stephane Glondu
on Wed Aug 26 00:44:36 2009 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 564f9aaa51d281831e816fc1e5e198984faedd8e
Author: Stephane Glondu st...@glondu.net
Date: Wed Aug 26 00:37:30 2009 +0200
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 14bdf72..8586f6d 100644
The following commit has been merged in the master branch:
commit 182de34eec8e5f04eb1f6f3ee57a1b333ce63818
Merge: a24e659c3e33c47f92629cae22dc72682f218a0a
564f9aaa51d281831e816fc1e5e198984faedd8e
Author: Stephane Glondu st...@glondu.net
Date: Wed Aug 26 01:34:15 2009 +0200
Merge Debian
Glondu
on Wed Aug 26 01:30:15 2009 +0200
- Shortlog
Debian release 0.4-2
Romain Beauxis (1):
Imported Debian patch 0.4-2
---
--
camlpdf packaging
The following commit has been merged in the master branch:
commit a24e659c3e33c47f92629cae22dc72682f218a0a
Author: Romain Beauxis to...@rastageeks.org
Date: Tue Jun 2 18:21:36 2009 +0200
Imported Debian patch 0.4-2
diff --git a/debian/changelog b/debian/changelog
index 184f16d..df00a4f
The annotated tag, debian/0.4-3 has been created
at e355426a71254fc88f7ffaeb1ee206215a6aa3b5 (tag)
tagging 182de34eec8e5f04eb1f6f3ee57a1b333ce63818 (commit)
replaces debian/0.4-1
tagged by Stephane Glondu
on Wed Aug 26 01:38:57 2009 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 339d0f04785c0df487d5e0a807ef629ae44dbb91
Author: Stephane Glondu st...@glondu.net
Date: Wed Aug 26 22:56:19 2009 +0200
Fix doc generation
diff --git a/debian/clean b/debian/clean
deleted file mode 100644
index f3c7a7c
The following commit has been merged in the master branch:
commit 3a89fc449581ca809f815c60cbc7420b87253a79
Author: Stephane Glondu st...@glondu.net
Date: Wed Aug 26 22:58:34 2009 +0200
Add ssrcoq shellscript wrapper
diff --git a/debian/libssreflect-coq.README.Debian
b/debian/libssreflect
The following commit has been merged in the master branch:
commit 0c682b1a08d60bc3572ccd7e6a2626ed94d62b42
Author: Stephane Glondu st...@glondu.net
Date: Wed Aug 26 23:41:47 2009 +0200
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 3807357..75aec36 100644
The annotated tag, debian/1.2+dfsg-1 has been created
at 8f927ef638a98b646a9df2f876c5be059c20ee6b (tag)
tagging 0c682b1a08d60bc3572ccd7e6a2626ed94d62b42 (commit)
replaces upstream/1.2
tagged by Stephane Glondu
on Wed Aug 26 23:53:23 2009 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 52af446e4104d711a4fce53438b4bd29920a5e3d
Author: Stephane Glondu st...@glondu.net
Date: Sat Aug 29 16:36:44 2009 +0200
Add 0001-Update-for-why-2.19.patch
diff --git a/debian/patches/0001-Update-for-why-2.19.patch
b/debian
The following commit has been merged in the master branch:
commit d8e2663f7445de8536e71e16655bd083806360c1
Author: Stephane Glondu st...@glondu.net
Date: Sat Aug 29 16:55:03 2009 +0200
Various updates, prepare upload to unstable
diff --git a/debian/README.source b/debian/README.source
The annotated tag, debian/8.2.pl1+dfsg-3 has been created
at 9307b467b624e99c56bf737ccef1e782804a2732 (tag)
tagging d8e2663f7445de8536e71e16655bd083806360c1 (commit)
replaces debian/8.2.pl1+dfsg-2
tagged by Stephane Glondu
on Sat Aug 29 17:33:08 2009 +0200
- Shortlog
The following commit has been merged in the master branch:
commit b4fce8c135bd45b5ad4e1182fc3146a8f932e6ce
Author: Stephane Glondu st...@glondu.net
Date: Sun Aug 30 01:42:55 2009 +0200
Use quilt to patch upstream
diff --git a/Makefile b/Makefile
index 3d0ecd8..4c67b1a 100644
--- a/Makefile
The following commit has been merged in the master branch:
commit bbcba4cb49b1495a45d9525c0829709423063a55
Author: Stephane Glondu st...@glondu.net
Date: Sun Aug 30 01:15:14 2009 +0200
Add a patch to fix FTBFS on kfreebsd
diff --git a/debian/patches/0004-Fix-build-on-kfreebsd.patch
b
The following commit has been merged in the master branch:
commit 84561a1a33b0c6cd7787f91d70bfeee9db17fe85
Author: Stephane Glondu st...@glondu.net
Date: Sun Aug 30 01:14:45 2009 +0200
Move to section ocaml, update Standards-Version to 3.8.3
diff --git a/debian/control b/debian/control
The following commit has been merged in the master branch:
commit 0025cc9a760114e7134b265ef304a602e99aad9a
Author: Stephane Glondu st...@glondu.net
Date: Sun Aug 30 01:15:18 2009 +0200
Update changelog
diff --git a/debian/changelog b/debian/changelog
index 84cbc06..dd85362 100644
The following commit has been merged in the master branch:
commit 8cfa6499f1fd5f5807df6aafced26f603f016b26
Author: Stephane Glondu st...@glondu.net
Date: Sun Aug 30 02:55:14 2009 +0200
Update watch file
diff --git a/debian/watch b/debian/watch
index b297c77..4d50c56 100644
--- a/debian
The following commit has been merged in the master branch:
commit 24b8f2e9347037f6e8604d3f96b52b2e8b650014
Merge: 8cfa6499f1fd5f5807df6aafced26f603f016b26
2833c5b9328b12b1c1b8d3909dd51b3ace52f500
Author: Stephane Glondu st...@glondu.net
Date: Sun Aug 30 02:55:39 2009 +0200
Merge commit
The following commit has been merged in the master branch:
commit cf64ffb13d9050c8d07421aa39c5f3073c121dd1
Author: Stephane Glondu st...@glondu.net
Date: Sun Aug 30 02:58:23 2009 +0200
New Upstream Version, refresh patches
diff --git a/debian/changelog b/debian/changelog
index dd85362
The following commit has been merged in the master branch:
commit a77c5b77db422a4e86ee8b8aa069053cfd8e973a
Author: Stephane Glondu st...@glondu.net
Date: Sun Aug 30 03:35:19 2009 +0200
Fix kfreebsd patch
diff --git a/debian/patches/0004-Fix-build-on-kfreebsd.patch
b/debian/patches/0004
The following commit has been merged in the master branch:
commit 6ebfadcb18b1135933bc3140e6a97662127d63d8
Author: Stephane Glondu st...@glondu.net
Date: Sun Aug 30 03:35:54 2009 +0200
Add debian/gbp.conf
diff --git a/debian/gbp.conf b/debian/gbp.conf
new file mode 100644
index 000
The following commit has been merged in the pristine-tar branch:
commit ff09b4df788869c18a4026765859ee62f6b1de6a
Author: Stephane Glondu st...@glondu.net
Date: Sun Aug 30 02:55:39 2009 +0200
pristine-tar data for janest-core_0.5.3.orig.tar.gz
diff --git a/janest-core_0.5.3
The annotated tag, upstream/0.5.3 has been created
at 2ff60df515a03e647a6ef65e8d41d3de91bc3f26 (tag)
tagging 2833c5b9328b12b1c1b8d3909dd51b3ace52f500 (commit)
replaces upstream/0.5.2
tagged by Stephane Glondu
on Sun Aug 30 02:55:39 2009 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 118a23adc61ddeac69e712b4b0d9176e2a155b5a
Author: Stephane Glondu st...@glondu.net
Date: Sun Aug 30 03:57:06 2009 +0200
Add myself to Uploaders and prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
The annotated tag, debian/0.5.3-1 has been created
at b63b12717f69425171f32171e8446676be2cda7b (tag)
tagging 118a23adc61ddeac69e712b4b0d9176e2a155b5a (commit)
replaces debian/0.5.2-1
tagged by Stephane Glondu
on Sun Aug 30 04:00:29 2009 +0200
- Shortlog
The following commit has been merged in the experimental/master branch:
commit 02d862e609bd2e5fd6decfe274382246f4183a61
Author: Stephane Glondu st...@glondu.net
Date: Sun Aug 30 19:09:54 2009 +0200
Fix META.in so that lwt exists on bytecode architectures
diff --git a/META.in b/META.in
The following commit has been merged in the experimental/master branch:
commit f495aa0ab5865e7c9d92ac678cb4a17fab0b7461
Author: Stephane Glondu st...@glondu.net
Date: Sun Aug 30 19:10:52 2009 +0200
Update changelog and prepare upload to experimental
diff --git a/debian/changelog b/debian
The annotated tag, upstream/1.2.1.darcs20090506 has been deleted
was 212064ba047a94fd5f4dee33a9bbb3b9473e31bb
---
tag upstream/1.2.1.darcs20090506
Tagger: Stephane Glondu st...@glondu.net
Date: Wed May 6 17:44:04 2009
The annotated tag, debian/1.1.0+darcs20090806-3 has been created
at 98d8393173ef2a688709b4937de7d720c3cef34b (tag)
tagging f495aa0ab5865e7c9d92ac678cb4a17fab0b7461 (commit)
replaces debian/1.1.0+darcs20090806-2
tagged by Stephane Glondu
on Sun Aug 30 19:18:40 2009 +0200
The following commit has been merged in the experimental/master branch:
commit e26c26e147b9214b8fe20d9400f7a3761a4db3ba
Author: Stephane Glondu st...@glondu.net
Date: Sun Aug 30 20:06:45 2009 +0200
Update dependencies to lwt, prepare upload to experimental
diff --git a/debian/changelog b
The annotated tag, upstream/1.2.1.darcs20090506 has been created
at 212064ba047a94fd5f4dee33a9bbb3b9473e31bb (tag)
tagging e76bff4520899038bb3c5d29c5fee61bf7677b08 (commit)
replaces upstream/1.1.0
tagged by Stephane Glondu
on Wed May 6 17:44:04 2009 +0200
- Shortlog
The following commit has been merged in the experimental/master branch:
commit c6b384d7e9c5663baef0ab8e80860ea60259a0a5
Author: Stephane Glondu st...@glondu.net
Date: Mon Aug 31 10:37:13 2009 +0200
Various updates
diff --git a/debian/changelog b/debian/changelog
index e56e7c1..8f36d89
The following commit has been merged in the master branch:
commit 533b984468f816d7fd462e525c9d55e5cde79fee
Author: Stephane Glondu st...@glondu.net
Date: Mon Aug 31 15:10:43 2009 +0200
NOT RELEASED YET
diff --git a/debian/changelog b/debian/changelog
index 9b6e31a..78d11c0 100644
The following commit has been merged in the master branch:
commit 523c81d95b7b50f48bf18e5617f87a35224633e0
Author: Stephane Glondu st...@glondu.net
Date: Mon Aug 31 15:09:06 2009 +0200
Add README.source
diff --git a/debian/README.source b/debian/README.source
new file mode 100644
index
The following commit has been merged in the master branch:
commit 116090013ee6435e0fada3ce023db322df699444
Author: Stephane Glondu st...@glondu.net
Date: Mon Aug 31 15:13:24 2009 +0200
Move to section ocaml, update Standards-Version to 3.8.3
diff --git a/debian/control b/debian/control
The following commit has been merged in the master branch:
commit 7da4d605d2d41f00dbcb793f98e1d49ef1d2be8b
Author: Stephane Glondu st...@glondu.net
Date: Mon Aug 31 15:13:56 2009 +0200
Add myself to Uploaders
diff --git a/debian/control b/debian/control
index 0fecfd4..4b80791 100644
The following commit has been merged in the master branch:
commit bab00b110290d782d424c770295ee89485f244e4
Author: Stephane Glondu st...@glondu.net
Date: Mon Aug 31 14:58:14 2009 +0200
Build native plugin, add libextlib-ocaml binary package
diff --git a/debian/control b/debian/control
The following commit has been merged in the master branch:
commit 77065352ba381bb03936e56e4f9b1b41cc435fc2
Author: Stephane Glondu st...@glondu.net
Date: Mon Aug 31 18:39:57 2009 +0200
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 917145b..bdb4a1d 100644
The annotated tag, debian/1.5.1-4 has been created
at b2af1dc2f6529266ae1066769b80519e34cb2162 (tag)
tagging 77065352ba381bb03936e56e4f9b1b41cc435fc2 (commit)
replaces debian/1.5.1-3
tagged by Stephane Glondu
on Mon Aug 31 18:41:08 2009 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 6420ff1374c5bd59465fef7b14b9e8eb514c3f24
Author: Stephane Glondu st...@glondu.net
Date: Tue Sep 1 10:39:34 2009 +0200
Install ssreflect directy in /usr/lib/coq/user-contrib for now
diff --git a/debian/changelog b/debian
The following commit has been merged in the master branch:
commit a2a5fc4e28e894163135dddb02acba023c36dc99
Author: Stephane Glondu st...@glondu.net
Date: Tue Sep 1 13:27:02 2009 +0200
Invoke coq_makefile with -R to avoid mess with user-contrib
diff --git a/debian/changelog b/debian
The following commit has been merged in the master branch:
commit 93066381d89f6a6b2568cdf44b96574c457ebaa5
Author: Stephane Glondu st...@glondu.net
Date: Tue Sep 1 15:53:49 2009 +0200
Capitalize Ssreflect directory for uniformity with other libraries
diff --git a/debian/changelog b/debian
The following commit has been merged in the master branch:
commit 29cdedb6d961fab97142f379bbaf97bd90f6a2c7
Author: Stephane Glondu st...@glondu.net
Date: Wed Sep 2 19:18:34 2009 +0200
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index fc070ab..20db43b 100644
The following commit has been merged in the master branch:
commit 0d3eb5217e7a4fe375707c056dd929a0f482bfe0
Merge: 1c9bd047e196634fa3c39769449bcc3d416ef45a
31d7b64b0cd1c696ac5e32f3ed1a328a2fdbf30a
Author: Stephane Glondu st...@glondu.net
Date: Mon Sep 7 09:31:54 2009 +0200
Merge commit
The following commit has been merged in the master branch:
commit 63e43b09183b10809de47584c1b7d518065041f7
Author: Stephane Glondu st...@glondu.net
Date: Mon Sep 7 09:43:35 2009 +0200
Add debian/gbp.conf
diff --git a/debian/gbp.conf b/debian/gbp.conf
new file mode 100644
index 000
The following commit has been merged in the master branch:
commit 323c4c7e4c28bb246ca518bb2553179e67d04d53
Author: Stephane Glondu st...@glondu.net
Date: Mon Sep 7 09:56:00 2009 +0200
Switch patches to quilt and refresh them
diff --git a/debian/README.source b/debian/README.source
index
The following commit has been merged in the master branch:
commit 351717f703c3f5d6bdc05f16bf75c5c5960cc6d5
Author: Stephane Glondu st...@glondu.net
Date: Mon Sep 7 10:15:09 2009 +0200
Fix (some) Lintian informational tags
diff --git a/debian/control b/debian/control
index c508c9a..274787d
The following commit has been merged in the master branch:
commit d72a362c4d90aed3f6c7925ebc1d5d90c0cdb463
Author: Stephane Glondu st...@glondu.net
Date: Mon Sep 7 10:24:01 2009 +0200
Build native plugin, install plugins in libpostgresql-ocaml
diff --git a/debian/changelog b/debian
The following commit has been merged in the pristine-tar branch:
commit eb04d54f4badbee7479220a006c00cca42a08e12
Author: Stephane Glondu st...@glondu.net
Date: Mon Sep 7 09:31:54 2009 +0200
pristine-tar data for postgresql-ocaml_1.11.1.orig.tar.gz
diff --git a/postgresql-ocaml_1.11.1
The annotated tag, upstream/1.11.1 has been created
at a3154223e8d4dd814aef19e7f8fa2af07a769418 (tag)
tagging 31d7b64b0cd1c696ac5e32f3ed1a328a2fdbf30a (commit)
replaces upstream/1.10.3
tagged by Stephane Glondu
on Mon Sep 7 09:31:54 2009 +0200
- Shortlog
The following commit has been merged in the master branch:
commit f7cfb8168f12acd4bff22c95acd661e3af157892
Author: Stephane Glondu st...@glondu.net
Date: Mon Sep 7 10:44:48 2009 +0200
Various updates
diff --git a/debian/changelog b/debian/changelog
index 33e11fe..a7237fb 100644
The following commit has been merged in the master branch:
commit 2cb89dd56ba5dc67bf2201e8c102c335e35a29bf
Author: Stephane Glondu st...@glondu.net
Date: Mon Sep 7 10:59:18 2009 +0200
Added two patches from Vladimir Zapolskiy (accepted upstream)
diff --git a/debian/changelog b/debian
The following commit has been merged in the master branch:
commit f67681ef6adf860b2c82c6c456710a560434bedd
Author: Stephane Glondu st...@glondu.net
Date: Mon Sep 7 11:06:14 2009 +0200
Update long description of libpostgresql-ocaml
diff --git a/debian/control b/debian/control
index 6643f3e
The following commit has been merged in the master branch:
commit a4f15b2775bd27a4b051e99f4417737fa88eb377
Author: Stephane Glondu st...@glondu.net
Date: Mon Sep 7 11:12:21 2009 +0200
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 16b3811..ac3325e 100644
The annotated tag, debian/1.11.1-1 has been created
at 00cfa342753e9a6b6efa978bb1c776c43c6e3fa4 (tag)
tagging a4f15b2775bd27a4b051e99f4417737fa88eb377 (commit)
replaces debian/1.10.3-1
tagged by Stephane Glondu
on Mon Sep 7 11:18:18 2009 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 6bbf32df4229feaefc231f6883929e69cf0da356
Merge: 2cb89dd56ba5dc67bf2201e8c102c335e35a29bf
1e44f05492d4af403599ddd1c3a6eb187e2e92f3
Author: Stephane Glondu st...@glondu.net
Date: Mon Sep 7 22:13:23 2009 +0200
Merge commit
The following commit has been merged in the master branch:
commit 892853f4f9a428e6a1cb564570aa4d85eeb349aa
Author: Stephane Glondu st...@glondu.net
Date: Mon Sep 7 22:13:40 2009 +0200
New upstream version, remove all patches, update packaging
diff --git a/debian/README.source b/debian
The following commit has been merged in the master branch:
commit cf53c9c345a62f66367426875629d7d07dbc363c
Author: Stephane Glondu st...@glondu.net
Date: Mon Sep 7 22:29:17 2009 +0200
Update README.Debian
diff --git a/debian/README.Debian b/debian/README.Debian
index fc7e7dd..d478531
The following commit has been merged in the master branch:
commit 8b30a85a4975a9d935b2d388d77412c985331a12
Author: Stephane Glondu st...@glondu.net
Date: Mon Sep 7 22:39:42 2009 +0200
Version build-dependency to libpostgresql-ocaml-dev
diff --git a/debian/control b/debian/control
index
The following commit has been merged in the pristine-tar branch:
commit e091d36438a0b821388f5f9a15769fb61d410552
Author: Stephane Glondu st...@glondu.net
Date: Mon Sep 7 22:13:23 2009 +0200
pristine-tar data for nurpawiki_1.2.3.orig.tar.gz
diff --git a/nurpawiki_1.2.3.orig.tar.gz.delta
b
The annotated tag, upstream/1.2.3 has been created
at 8ee35abde4fe324d10366e4d7c48aea219c8d68f (tag)
tagging 1e44f05492d4af403599ddd1c3a6eb187e2e92f3 (commit)
replaces upstream/1.2.2
tagged by Stephane Glondu
on Mon Sep 7 22:13:23 2009 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 79cb564fc58af66edb8e3214b53d2cb28fe1b847
Author: Stephane Glondu st...@glondu.net
Date: Tue Sep 8 16:58:45 2009 +0200
Add 0005-Add-explicit-path-for-source.patch (Closes: #545649)
diff --git a/debian/changelog b/debian
The following commit has been merged in the master branch:
commit abcf866d98fcd9c67e089409843fa68167a990c2
Merge: 79cb564fc58af66edb8e3214b53d2cb28fe1b847
ddde2d30d9428e29a092c7b8cb5098491f0d0a25
Author: Stephane Glondu st...@glondu.net
Date: Tue Sep 8 20:02:19 2009 +0200
Merge commit
The following commit has been merged in the master branch:
commit eb9ac59b7eafcdd29687456055dd8a895cd22c8b
Author: Stephane Glondu st...@glondu.net
Date: Tue Sep 8 21:25:39 2009 +0200
New upstream SVN snapshot, refresh patches
diff --git a/debian/changelog b/debian/changelog
index 2e18fb1
The following commit has been merged in the master branch:
commit 1dbb7bf60dbecc732a09d05b32dde504d368048a
Author: Stephane Glondu st...@glondu.net
Date: Tue Sep 8 21:11:22 2009 +0200
More cleaning
diff --git a/debian/clean b/debian/clean
index e76c7e5..c61e6a5 100644
--- a/debian/clean
The following commit has been merged in the master branch:
commit c77e034f2010bfd6963dcc4fceaa32ff80602550
Author: Stephane Glondu st...@glondu.net
Date: Tue Sep 8 21:43:57 2009 +0200
Various updates
diff --git a/debian/README.source b/debian/README.source
index 2024f7f..853e34d 100644
The following commit has been merged in the master branch:
commit 189806d1dfb1905abb4b898ad16f7a21f5c54e8d
Author: Stephane Glondu st...@glondu.net
Date: Tue Sep 8 21:46:32 2009 +0200
debian/rules: remove call to deprecated dh_desktop
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 3be622f7ca45ee5973249b429d2a029b917a352a
Author: Stephane Glondu st...@glondu.net
Date: Tue Sep 8 22:08:02 2009 +0200
Put CDBS includes in a saner order
diff --git a/debian/rules b/debian/rules
index bdaece0..6c64406 100755
The following commit has been merged in the master branch:
commit 301d495d02e1ca1ffc1fc002dc87d03f63accd74
Author: Stephane Glondu st...@glondu.net
Date: Tue Sep 8 22:30:43 2009 +0200
Give a purpose to tmpl_engine.byte
We avoid a Lintian warning this way.
diff --git a/debian/xml
801 - 900 of 7701 matches
Mail list logo
