The following commit has been merged in the master branch:
commit fce2eb52a2d684ca257b9adcf48d2ce8a4a8d280
Author: Mehdi Dogguy
Date: Mon Jan 18 18:05:08 2010 +0100
Fix closes statement
diff --git a/debian/changelog b/debian/changelog
index 0cf3ac5..a6ea696 100644
--- a/debian/changelog
The following commit has been merged in the master branch:
commit efb5830742937475ea9c3f8a952002b9054e2e33
Author: Mehdi Dogguy
Date: Wed Jan 20 22:26:16 2010 +0100
Set section to « devel »
diff --git a/debian/changelog b/debian/changelog
index 84d3896..0169b0c 100644
--- a/debian
The following commit has been merged in the master branch:
commit 0906ff8b06db6a1ce0a1605344c0d99dc9cb9332
Author: Mehdi Dogguy
Date: Fri Jan 22 12:04:47 2010 +0100
Fix FTBFS on bytecode architectures
diff --git a/debian/changelog b/debian/changelog
index 0169b0c..280535b 100644
--- a
The following commit has been merged in the master branch:
commit 777183499e66589653434935069a483c2597f1a3
Author: Mehdi Dogguy
Date: Fri Jan 22 13:34:36 2010 +0100
Add Graphviz to build-depends
diff --git a/debian/changelog b/debian/changelog
index 280535b..4e7e177 100644
--- a/debian
+beryllium+dfsg-1
tagged by Mehdi Dogguy
on Wed Jan 20 22:26:20 2010 +0100
- Shortlog
Debian release 20090902+beryllium+dfsg-2
Mehdi Dogguy (5):
Fix installability problem by installing frama-c-gui.1 only once.
Remove
The annotated tag, debian/20090902+beryllium+dfsg-3 has been created
at 3a721a58a7ddc9624afd5200eaabd8b1316838a4 (tag)
tagging 777183499e66589653434935069a483c2597f1a3 (commit)
replaces debian/20090902+beryllium+dfsg-2
tagged by Mehdi Dogguy
on Fri Jan 22 13:34:44 2010
The following commit has been merged in the master branch:
commit c259d9b870ef8d4d75e1b855b15e41a3e9a5a423
Author: Mehdi Dogguy
Date: Sun Jan 24 17:31:49 2010 +0100
Add camlidl to Build-depends
diff --git a/debian/changelog b/debian/changelog
index a89f077..abc00a4 100644
--- a/debian
The following commit has been merged in the master branch:
commit 95f67bcba861f4b13ad039f760f8e71bc5261053
Author: Mehdi Dogguy
Date: Sun Jan 24 18:13:13 2010 +0100
Don't install the Jessie library
diff --git a/debian/changelog b/debian/changelog
index abc00a4..4fce70c 100644
--- a/d
The following commit has been merged in the master branch:
commit 24b35e55bcdd41adb77590522e1ed6620d8a766d
Author: Mehdi Dogguy
Date: Sun Jan 24 18:24:20 2010 +0100
Rename patch
diff --git a/debian/changelog b/debian/changelog
index 4fce70c..bc7004b 100644
--- a/debian/changelog
+++ b
The following commit has been merged in the master branch:
commit 070b6e408b2fd7014ce74d7fb5045b6e7bbbaf21
Author: Mehdi Dogguy
Date: Sun Jan 24 19:01:02 2010 +0100
Fix some spelling errors
diff --git a/debian/changelog b/debian/changelog
index bc7004b..8ce222e 100644
--- a/debian
The following commit has been merged in the master branch:
commit cafd511a37291972d2025e392a645de7c5f5fba1
Author: Mehdi Dogguy
Date: Sun Jan 24 21:08:37 2010 +0100
Use tools make_float_model.ocamlbest instead of opt version
diff --git a/debian/changelog b/debian/changelog
index 8ce222e
The following commit has been merged in the master branch:
commit 692f22b800dd0e68a8eb9ece42d711ce1a6d6fea
Author: Mehdi Dogguy
Date: Sun Jan 24 22:16:38 2010 +0100
Apron also needs oct.cmxa (0002-Enable-Apron-support.patch)
diff --git a/debian/changelog b/debian/changelog
index 184842b
The following commit has been merged in the master branch:
commit 76c106532908441556fc19cd48b6cd3376de3f6c
Author: Mehdi Dogguy
Date: Sun Jan 24 19:40:47 2010 +0100
Make apron detection work also on bytecode architectures
diff --git a/debian/patches/0002-Enable-Apron-support.patch
b
The following commit has been merged in the master branch:
commit 5f5a5cd9264da3c12650fb8268e080e2cd195b34
Author: Mehdi Dogguy
Date: Sun Jan 24 22:52:49 2010 +0100
Generate Jessie.cma
diff --git a/debian/changelog b/debian/changelog
index 395306b..2263574 100644
--- a/debian/changelog
The following commit has been merged in the master branch:
commit 3de1ee272b75fef235b8f5b7161b543a74e4e0e6
Author: Mehdi Dogguy
Date: Sun Jan 24 23:28:05 2010 +0100
Add ${ocaml:Depends} in Why's Depends field
diff --git a/debian/changelog b/debian/changelog
index 2263574..c82f41f 1
Mehdi Dogguy
on Sun Jan 24 23:52:53 2010 +0100
- Shortlog
Debian release 2.23+dfsg-1
Mehdi Dogguy (27):
Fix detection of Alt-Ergo (Closes: #552776).
Set filter-pristine-tar to True in debian/gbp.conf
Filter out
The following commit has been merged in the master branch:
commit 1e7700e37c1f0cc279e335343f6157468a77895d
Author: Mehdi Dogguy
Date: Sun Jan 24 23:56:41 2010 +0100
NOT RELEASED
diff --git a/debian/changelog b/debian/changelog
index c82f41f..b326c97 100644
--- a/debian/changelog
+++ b
The following commit has been merged in the master branch:
commit e118cbc354fdb9dad565922795d4bbf9f3907ac5
Author: Mehdi Dogguy
Date: Thu Feb 11 21:52:00 2010 +0100
Rebuild against OCaml 3.11.2
diff --git a/debian/changelog b/debian/changelog
index d970dd0..857d8c2 100644
--- a/debian
The annotated tag, debian/1.5-7 has been created
at 1588b70539b0c5d5a7802fde0050a62eb9b596df (tag)
tagging e118cbc354fdb9dad565922795d4bbf9f3907ac5 (commit)
replaces debian/1.5-6
tagged by Mehdi Dogguy
on Thu Feb 11 22:00:19 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 7386e02a069a9b29cfaa0f162a3fd0dfc4013f24
Author: Mehdi Dogguy
Date: Thu Feb 11 20:58:07 2010 +0100
Make it compile with OCaml 3.11.2
diff --git a/debian/changelog b/debian/changelog
index 4e7e177..9f09dd3 100644
--- a
The annotated tag, debian/20090902+beryllium+dfsg-4 has been created
at ebd74dae8482cd40b04df6fcaf8193f18e941f7f (tag)
tagging 7386e02a069a9b29cfaa0f162a3fd0dfc4013f24 (commit)
replaces debian/20090902+beryllium+dfsg-3
tagged by Mehdi Dogguy
on Thu Feb 11 23:56:38 2010
The following commit has been merged in the master branch:
commit 8b945e34517435b59bf3f336983e9e83b11decd0
Merge: 64462a757ca91c6fd138b4a5600995a629421c71
8b0757c589d62dd012c7ac4685fc36a9f15887f0
Author: Mehdi Dogguy
Date: Thu Feb 11 23:05:03 2010 +0100
Merge commit 'upstream/
The following commit has been merged in the master branch:
commit ef27628422b4244e20c76b6af305294a7c8c81a1
Author: Mehdi Dogguy
Date: Thu Feb 11 23:08:39 2010 +0100
New upstream release
diff --git a/debian/changelog b/debian/changelog
index d508e30..0db70e8 100644
--- a/debian/changelog
The annotated tag, debian/3.0.1-1 has been created
at b3d891c6678150de6d5f32da37dd70474440a249 (tag)
tagging ef27628422b4244e20c76b6af305294a7c8c81a1 (commit)
replaces debian/3.0.0-3
tagged by Mehdi Dogguy
on Thu Feb 11 23:58:18 2010 +0100
- Shortlog
The annotated tag, upstream/3.0.1 has been created
at ede5355e8a1f7da2f991562353eb998572322da8 (tag)
tagging 8b0757c589d62dd012c7ac4685fc36a9f15887f0 (commit)
replaces upstream/3.0.0
tagged by Mehdi Dogguy
on Thu Feb 11 23:05:03 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit af334f3d79ec22d22ad806437ef50dbe02688dff
Merge: 89c23128bda608080da2d3660ad53b0926a962a7
0e1e5d0183c230169f21af604e2fbe7270c48506
Author: Mehdi Dogguy
Date: Fri Feb 12 15:53:53 2010 +0100
Merge commit 'upstream/3.1
The following commit has been merged in the master branch:
commit 9bd0d2a155b5b4c102e217eb25348db76c7fff58
Author: Mehdi Dogguy
Date: Fri Feb 12 15:55:42 2010 +0100
New Upstream version 3.11.2.A
diff --git a/debian/changelog b/debian/changelog
index 95ab025..309dfd0 100644
--- a/debian
The following commit has been merged in the master branch:
commit 439c11adfb1affdee06a471f1e5bc22fbafdb458
Author: Mehdi Dogguy
Date: Fri Feb 12 15:57:52 2010 +0100
Set F:JOCamlABI=$(JOCAML_ABI) for jocaml-base
diff --git a/debian/rules b/debian/rules
index 501b563..05d8def 100755
--- a
The following commit has been merged in the master branch:
commit 970787eb9fda11f577566d4f5578317f4a9e069c
Author: Mehdi Dogguy
Date: Fri Feb 12 19:06:54 2010 +0100
Fix dependency on OCaml
diff --git a/debian/control b/debian/control
index ebd651c..65f74c0 100644
--- a/debian/control
The following commit has been merged in the master branch:
commit 9a32b588402f9a6522b221281b443448ed1d4563
Author: Mehdi Dogguy
Date: Fri Feb 12 16:33:49 2010 +0100
Release to unstable
diff --git a/debian/changelog b/debian/changelog
index 309dfd0..105ecbc 100644
--- a/debian/changelog
The following commit has been merged in the pristine-tar branch:
commit a8156db20186b77e546cb58ca526c78595bba52b
Author: Mehdi Dogguy
Date: Fri Feb 12 15:53:32 2010 +0100
pristine-tar data for jocaml_3.11.2.A.orig.tar.gz
diff --git a/jocaml_3.11.2.A.orig.tar.gz.delta
b/jocaml_3.11.2
The annotated tag, debian/3.11.2.A-1 has been created
at e98c0ddb8531db1f07c219f4229a8ace0970a4fe (tag)
tagging 9a32b588402f9a6522b221281b443448ed1d4563 (commit)
replaces debian/3.11.1-3
tagged by Mehdi Dogguy
on Fri Feb 12 19:18:40 2010 +0100
- Shortlog
The annotated tag, upstream/3.11.2.A has been created
at ecb3cfee1e9a2e6226ed0e28c4f73eb6143934cb (tag)
tagging 0e1e5d0183c230169f21af604e2fbe7270c48506 (commit)
replaces upstream/3.11.1
tagged by Mehdi Dogguy
on Fri Feb 12 15:53:32 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 6ac8254eaa0b737da16e237a9ba1f8a52c21f9e9
Merge: 9a32b588402f9a6522b221281b443448ed1d4563
29885e91292d731699e06221f5626555792de869
Author: Mehdi Dogguy
Date: Wed Feb 17 12:34:56 2010 +0100
Merge commit 'upstream/3.1
The following commit has been merged in the master branch:
commit 92710c28dc388e18dbe15b96684d1ba2ffbc1fda
Author: Mehdi Dogguy
Date: Wed Feb 17 12:36:20 2010 +0100
s/A/a/ in version number (Closes: #569893)
diff --git a/debian/changelog b/debian/changelog
index 105ecbc..4f80097 100644
The following commit has been merged in the master branch:
commit 643f79acbacc3ccb1644b2a1710593ab5731ecdc
Author: Mehdi Dogguy
Date: Wed Feb 17 12:46:47 2010 +0100
Use automatic dependencies computed by dh_ocaml
diff --git a/debian/changelog b/debian/changelog
index 4f80097..9109e09
The annotated tag, debian/3.11.2.a-1 has been created
at 25afafe3330cdb63cbe651e1a213458d868b8c20 (tag)
tagging 643f79acbacc3ccb1644b2a1710593ab5731ecdc (commit)
replaces debian/3.11.2.A-1
tagged by Mehdi Dogguy
on Wed Feb 17 14:55:49 2010 +0100
- Shortlog
The annotated tag, upstream/3.11.2.a has been created
at 9c8036c2999889fe39cb9dce50656fe72102d526 (tag)
tagging 29885e91292d731699e06221f5626555792de869 (commit)
replaces upstream/3.11.2.A
tagged by Mehdi Dogguy
on Wed Feb 17 12:34:56 2010 +0100
- Shortlog
The following commit has been merged in the pristine-tar branch:
commit 83a2804435ec57e3ee2315b760c082a40d511410
Author: Mehdi Dogguy
Date: Wed Feb 17 12:34:56 2010 +0100
pristine-tar data for jocaml_3.11.2.a.orig.tar.gz
diff --git a/jocaml_3.11.2.a.orig.tar.gz.delta
b/jocaml_3.11.2
The following commit has been merged in the master branch:
commit f403888f5feaf523830d8625aa41909ea868a24e
Author: Mehdi Dogguy
Date: Wed Feb 17 15:42:23 2010 +0100
Correctly detect Coq-float wrt. its new path
diff --git a/debian/changelog b/debian/changelog
index ab0f129..3dbb151 100644
The annotated tag, debian/2.23+dfsg-2 has been created
at dd461b80357d08a2d5df74651cbdab1cd82a5bba (tag)
tagging f403888f5feaf523830d8625aa41909ea868a24e (commit)
replaces debian/2.23+dfsg-1
tagged by Mehdi Dogguy
on Wed Feb 17 16:16:34 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit db68bacbceeed561c15938d871819412f11cf47d
Author: Mehdi Dogguy
Date: Wed Feb 17 14:42:14 2010 +0100
Rebuild with OCaml 3.11.2
diff --git a/debian/changelog b/debian/changelog
index b326c97..ab0f129 100644
--- a/debian
The following commit has been merged in the master branch:
commit bf09e4529e702ff3bd38ed59f592eb520d480d2e
Author: Mehdi Dogguy
Date: Mon Feb 22 15:23:22 2010 +0100
Merge two last entries in changelog
diff --git a/debian/changelog b/debian/changelog
index b9efda7..9e56c4e 100644
--- a
The following commit has been merged in the master branch:
commit ece110e20c64f8030e619c6e604333a2fd91bf40
Author: Mehdi Dogguy
Date: Mon Feb 22 21:07:38 2010 +0100
Fix version number in META
The method can be judged fragile but upstream seems to have a coherent
CHANGES file
The following commit has been merged in the master branch:
commit 8bc2af1de8f311c41c79331f5638e902263c3433
Author: Mehdi Dogguy
Date: Mon Feb 22 21:07:54 2010 +0100
Add myself to uploaders
diff --git a/debian/changelog b/debian/changelog
index 786a2ca..b45e49f 100644
--- a/debian
The following commit has been merged in the master branch:
commit 5f7382854e7e5db4ebf402e1e6543ed0cc3150b2
Author: Mehdi Dogguy
Date: Wed Feb 24 15:37:05 2010 +0100
Do not force custom mode (Pass NO_CUSTOM=y to make)
diff --git a/debian/changelog b/debian/changelog
index 2e6a29a..ff6c8f3
The following commit has been merged in the master branch:
commit 4af81ff03920eec9ae560c65d8297a5f29ec2b93
Merge: 5f7382854e7e5db4ebf402e1e6543ed0cc3150b2
3a7654924a63fddb0cbbfaba484c62a31a47ded6
Author: Mehdi Dogguy
Date: Wed Feb 24 15:56:22 2010 +0100
Merge commit 'upstream/1
The following commit has been merged in the master branch:
commit ead95cdbc86a545d81ac8b55bb6985703be57ff5
Author: Mehdi Dogguy
Date: Wed Feb 24 15:57:31 2010 +0100
New upstream release (Closes: #564816)
diff --git a/debian/changelog b/debian/changelog
index ff6c8f3..beec64d 100644
--- a
The following commit has been merged in the pristine-tar branch:
commit 74135f4c1dc129e9c9c4ce66a2bf92bb4a9d1ce8
Author: Mehdi Dogguy
Date: Wed Feb 24 15:56:21 2010 +0100
pristine-tar data for postgresql-ocaml_1.12.4.orig.tar.gz
diff --git a/postgresql-ocaml_1.12.4.orig.tar.gz.delta
b
The annotated tag, upstream/1.12.4 has been created
at a93e7c40e5005c54cc501ff764069b49bb85325c (tag)
tagging 3a7654924a63fddb0cbbfaba484c62a31a47ded6 (commit)
replaces upstream/1.12.1
tagged by Mehdi Dogguy
on Wed Feb 24 15:56:22 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 2b9b7ad0514d300aefc659fb012f2eac3807a869
Author: Mehdi Dogguy
Date: Thu Feb 25 16:28:25 2010 +0100
Remove inferrable dependencies in debian/control and let dh-ocaml do
entirely the inference job.
A debdiff shows
Adapted patches to 1.4 release.
Changelog up to date.
Mehdi Dogguy (1):
Merge two last entries in changelog
---
--
pgocaml packaging
___
Pkg-ocaml-maint-commits mailin
The following commit has been merged in the master branch:
commit 2b857dd476939edd40c92da6a5d26ac8ec556290
Author: Mehdi Dogguy
Date: Sat Mar 6 13:26:27 2010 +0100
This also fixes a bug on the Ubuntu side
diff --git a/debian/changelog b/debian/changelog
index 5c00305..1f12de1 100644
--- a
The following commit has been merged in the master branch:
commit 13a73e44b439673efa40eb3aa3de8db29bd8cd4f
Author: Mehdi Dogguy
Date: Sat Mar 6 13:35:15 2010 +0100
Cosmetic changes
diff --git a/debian/changelog b/debian/changelog
index 1f12de1..e2716a6 100644
--- a/debian/changelog
+++ b
The following commit has been merged in the master branch:
commit 2b047c44d86988563b0423b715128aa3fd5491f8
Author: Mehdi Dogguy
Date: Sun Mar 7 21:42:24 2010 +0100
Provide new binary packages to avoid unnecessary dependencies:
- libocamlgraph-view-ocaml-dev
- libocamlgraph
The following commit has been merged in the master branch:
commit 49e76d8a96fb74474290dd6cd31f0cfa5afb6eb0
Author: Mehdi Dogguy
Date: Thu Mar 18 10:51:06 2010 +0100
minor changes
diff --git a/debian/rules b/debian/rules
index dac8c40..8fe2749 100755
--- a/debian/rules
+++ b/debian/rules
The annotated tag, debian/1.3+debian-2 has been created
at 29d24d23be5a80629ab27782386c416a67a19115 (tag)
tagging 49e76d8a96fb74474290dd6cd31f0cfa5afb6eb0 (commit)
replaces debian/1.3+debian-1
tagged by Mehdi Dogguy
on Mon Mar 22 22:09:06 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 3b39a0269ee7f7a7f19aa734b5e1a9a463c8f047
Author: Mehdi Dogguy
Date: Mon Mar 22 22:40:15 2010 +0100
Make the new binary packages conflicts/replaces former versions of
libocamlgraph-ocaml-dev.
diff --git a/debian/changelog b
Mehdi Dogguy
on Mon Mar 22 22:45:46 2010 +0100
- Shortlog
Debian release 1.3+debian-2
Mehdi Dogguy (3):
Provide new binary packages to avoid unnecessary dependencies:
minor changes
Make the new binary packages
The branch, master has been created
at 7a26e723ff680c6b7ee793556de945f0a58aec1d (commit)
- Shortlog
commit 7a26e723ff680c6b7ee793556de945f0a58aec1d
Author: Mehdi Dogguy
Date: Wed Mar 24 19:19:26 2010 +0100
Imported
The branch, pristine-tar has been created
at b7643649a71f0bb81231c4dcb1673afd7fc438f3 (commit)
- Shortlog
commit b7643649a71f0bb81231c4dcb1673afd7fc438f3
Author: Mehdi Dogguy
Date: Wed Mar 24 19:19:26 2010 +0100
The branch, upstream has been created
at 7a26e723ff680c6b7ee793556de945f0a58aec1d (commit)
- Shortlog
commit 7a26e723ff680c6b7ee793556de945f0a58aec1d
Author: Mehdi Dogguy
Date: Wed Mar 24 19:19:26 2010 +0100
Imported
The annotated tag, upstream/1.01 has been created
at a3e796e9595d7e800a6379b7b9af224631a6ec79 (tag)
tagging 7a26e723ff680c6b7ee793556de945f0a58aec1d (commit)
tagged by Mehdi Dogguy
on Wed Mar 24 19:19:26 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit f3c446dfef819bc73a78374675c0a53a106b4926
Author: Mehdi Dogguy
Date: Wed Mar 24 19:48:20 2010 +0100
Initial packaging
diff --git a/debian/META.in b/debian/META.in
new file mode 100644
index 000..3ac2192
--- /dev/null
The annotated tag, debian/1.01-1 has been created
at da885c0e5bde91b220e0d825ec094fa25c496ece (tag)
tagging f3c446dfef819bc73a78374675c0a53a106b4926 (commit)
replaces upstream/1.01
tagged by Mehdi Dogguy
on Thu Mar 25 01:05:09 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 50029ecfebef758aaffdb38809e1e7bb256abb7e
Author: Mehdi Dogguy
Date: Thu Mar 25 11:16:20 2010 +0100
Build-Depend on libocamlgraph-viewer-ocaml-dev (Closes: #575371)
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit cb66bed502bb3301674d6a5128a3101f493219b9
Author: Mehdi Dogguy
Date: Thu Mar 25 11:36:38 2010 +0100
NOT RELEASED
diff --git a/debian/changelog b/debian/changelog
index 328e98f..1bfec19 100644
--- a/debian/changelog
+++ b
The following commit has been merged in the master branch:
commit c285d95c96f915f82063e7ff04d03b8df3613307
Author: Mehdi Dogguy
Date: Thu Mar 25 11:37:21 2010 +0100
Set Priority to optional
diff --git a/debian/changelog b/debian/changelog
index 1bfec19..c34ceaa 100644
--- a/debian
The annotated tag, debian/20090902+beryllium+dfsg-6 has been created
at f668b9314e7be911c34f7b890e054bd60de2f973 (tag)
tagging 50029ecfebef758aaffdb38809e1e7bb256abb7e (commit)
replaces debian/20090902+beryllium+dfsg-4
tagged by Mehdi Dogguy
on Thu Mar 25 11:36:15 2010
The following commit has been merged in the master branch:
commit 8f94577b63f4fb4e7b3ec4c4f5edca71aaa01a02
Author: Mehdi Dogguy
Date: Thu Mar 25 16:01:20 2010 +0100
NOT RELEASED
diff --git a/debian/changelog b/debian/changelog
index f717e04..aa5277a 100644
--- a/debian/changelog
+++ b
The following commit has been merged in the master branch:
commit 9a73f38abc10c2044bc8c4e510daf38f59cb159c
Author: Mehdi Dogguy
Date: Thu Mar 25 16:03:50 2010 +0100
The gui should depend on graphviz on runtime.
diff --git a/debian/changelog b/debian/changelog
index aa5277a..fd45750 100644
The branch, ocamlbuild has been created
at 559b9c1beca09decd587173329e98e451fd0fffa (commit)
- Shortlog
commit 559b9c1beca09decd587173329e98e451fd0fffa
Author: Mehdi Dogguy
Date: Thu Mar 25 20:28:48 2010 +0100
Build
The following commit has been merged in the ocamlbuild branch:
commit c1c1ba120a0063b33a65ce705f2fa2bb7a1fb975
Author: Mehdi Dogguy
Date: Thu Mar 25 23:41:47 2010 +0100
Complete ocamlbuild port
diff --git a/Makefile b/Makefile
index e1155ec..3de270d 100644
--- a/Makefile
+++ b/Makefile
The following commit has been merged in the ocamlbuild branch:
commit e3dcc7faa8b0a265711c1f5fc228e7ac9477b76c
Author: Mehdi Dogguy
Date: Thu Mar 25 23:47:11 2010 +0100
Overwrite Makefile.in with a new one
diff --git a/Makefile b/Makefile
deleted file mode 100644
index 3de270d..000
The following commit has been merged in the ocamlbuild branch:
commit c37c89cca59a2dd3de1fcd7ec420cd362d7c7392
Author: Mehdi Dogguy
Date: Thu Mar 25 23:51:22 2010 +0100
Restore original header in Makefile.in
diff --git a/Makefile.in b/Makefile.in
index 3de270d..cb19627 100644
--- a
The following commit has been merged in the ocamlbuild branch:
commit b4d3edd74f1b197c382704a128cad4d123e45425
Author: Mehdi Dogguy
Date: Fri Mar 26 00:12:48 2010 +0100
Use substitutions in test rules
diff --git a/myocamlbuild.ml b/myocamlbuild.ml
index 02e38c5..b781d4d 100644
--- a
The following commit has been merged in the ocamlbuild branch:
commit 0cba9c8f9de251a5a914544381fbc2f9346d4acc
Author: Mehdi Dogguy
Date: Fri Mar 26 00:16:25 2010 +0100
tests/pa-%.ml rule is now handled by ocamlbuild
diff --git a/Makefile.in b/Makefile.in
index cb19627..2fe05b0 100644
The following commit has been merged in the ocamlbuild branch:
commit 60443ed02ff771e078646fa397ef3624a52a2f7e
Author: Mehdi Dogguy
Date: Fri Mar 26 00:31:21 2010 +0100
Fix META.in
diff --git a/META.in b/META.in
index 3f77304..7e465ca 100644
--- a/META.in
+++ b/META.in
@@ -2,11 +2,13
The following commit has been merged in the ocamlbuild branch:
commit a90f660aa8d0fc7d4690d3acaeb2545000d642dd
Author: Mehdi Dogguy
Date: Fri Mar 26 00:40:36 2010 +0100
Keep (almost) same naming convention
diff --git a/Makefile.in b/Makefile.in
index fc226c4..033ce0c 100644
--- a
The following commit has been merged in the ocamlbuild branch:
commit 8e365f488a9ef5bf112442e4f4deaca01c17f774
Author: Mehdi Dogguy
Date: Fri Mar 26 00:37:29 2010 +0100
Add some options in Makefile.in
diff --git a/Makefile.in b/Makefile.in
index 2fe05b0..fc226c4 100644
--- a/Makefile.in
The following commit has been merged in the ocamlbuild branch:
commit 2cb36cbf7d478f23e23478f8508665f57dc9d629
Author: Mehdi Dogguy
Date: Fri Mar 26 00:54:51 2010 +0100
Simplify tests rules
diff --git a/myocamlbuild.ml b/myocamlbuild.ml
index 48c2e3e..4f4078f 100644
--- a/myocamlbuild.ml
The following commit has been merged in the ocamlbuild branch:
commit a0059af1e135aa324cd0ceaad7e2ef3964a29236
Author: Mehdi Dogguy
Date: Fri Mar 26 01:09:30 2010 +0100
Fix Makefile.in
diff --git a/Makefile.in b/Makefile.in
index 033ce0c..74e6667 100644
--- a/Makefile.in
+++ b/Makefile.in
The following commit has been merged in the ocamlbuild branch:
commit a52d29c31bac478a6f1daaae1591afc83de1b50e
Author: Mehdi Dogguy
Date: Fri Mar 26 01:14:29 2010 +0100
Fix Makefile variables
diff --git a/Makefile.in b/Makefile.in
index 74e6667..78838a7 100644
--- a/Makefile.in
+++ b
The following commit has been merged in the ocamlbuild branch:
commit 7541356b2b4ba0523dff78ad9c187728bab53f5d
Author: Mehdi Dogguy
Date: Fri Mar 26 01:20:10 2010 +0100
Make some rules .PHONY
diff --git a/Makefile.in b/Makefile.in
index 78838a7..ae16052 100644
--- a/Makefile.in
+++ b
The following commit has been merged in the ocamlbuild branch:
commit 173728ee56d4faf1bfa234cd437ca29804522a11
Author: Mehdi Dogguy
Date: Fri Mar 26 01:36:02 2010 +0100
Move documentation in doc directory
diff --git a/Makefile.in b/Makefile.in
index ae16052..e54ea9f 100644
--- a
The following commit has been merged in the ocamlbuild branch:
commit 77f7f667ede37383c35420dcb7491753a9625a6f
Author: Mehdi Dogguy
Date: Fri Mar 26 10:15:01 2010 +0100
Disable gui when lablgtk2 or cairo is not available
diff --git a/myocamlbuild.ml b/myocamlbuild.ml
index af985fb
The following commit has been merged in the ocamlbuild branch:
commit 4ac978b03db3e3bbb9516907c93f2e97346f12d0
Author: Mehdi Dogguy
Date: Fri Mar 26 10:19:34 2010 +0100
Disable syntax extension for now in META.in
diff --git a/META.in b/META.in
index 7e465ca..a376721 100644
--- a/META.in
The following commit has been merged in the ocamlbuild branch:
commit 9771957b52044df12a24645e26e6e0891469ba59
Author: Mehdi Dogguy
Date: Fri Mar 26 14:16:36 2010 +0100
Install META and some other .{mli,cmi}s
diff --git a/Makefile.in b/Makefile.in
index e54ea9f..2dfcc73 100644
--- a
The following commit has been merged in the master branch:
commit f5ce67189192d4b90d7e51fb4840a7f58ff9f277
Author: Mehdi Dogguy
Date: Tue Apr 13 20:56:05 2010 +0200
Release to unstable
diff --git a/debian/changelog b/debian/changelog
index 96fe4f6..a3c0331 100644
--- a/debian/changelog
The annotated tag, debian/1.01-2 has been created
at 99e03f9808f7443c3125a3f53720bd615c604470 (tag)
tagging f5ce67189192d4b90d7e51fb4840a7f58ff9f277 (commit)
replaces debian/1.01-1
tagged by Mehdi Dogguy
on Tue Apr 13 20:56:12 2010 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 8691a383374ccd469ec6700a60ac8f8abfc779cc
Author: Mehdi Dogguy
Date: Thu Apr 22 21:27:34 2010 +0200
NOT RELEASED YET
diff --git a/debian/changelog b/debian/changelog
index 8a20e0f..90a01e5 100644
--- a/debian/changelog
+++ b
The following commit has been merged in the master branch:
commit 128f7b1bccddcc404c22eb06a00a9f59343b5061
Author: Mehdi Dogguy
Date: Thu Apr 22 21:27:57 2010 +0200
Fix watch file
diff --git a/debian/changelog b/debian/changelog
index 90a01e5..5bd4275 100644
--- a/debian/changelog
+++ b
The following commit has been merged in the master branch:
commit 0fb0b4a8d9a0c0882485a7cc43371bc67a1ed18b
Author: Mehdi Dogguy
Date: Thu Apr 22 22:16:20 2010 +0200
dom-git-checkout.1: Mention how to configure the username (Closes: #570363)
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit f08c47181753c1cceea10d83cb993c0b197abc81
Author: Mehdi Dogguy
Date: Thu Apr 22 23:37:04 2010 +0200
dh_ocamldoc: add --doc-base-generate option
diff --git a/debhelper/dh_ocamldoc b/debhelper/dh_ocamldoc
index 750e1a8
The following commit has been merged in the master branch:
commit 6f9c7856886bba67c30de6ce56e4daed3d731183
Merge: 3b39a0269ee7f7a7f19aa734b5e1a9a463c8f047
abb6a1c94546c4fca26f9f80ccda7ceb2437dfab
Author: Mehdi Dogguy
Date: Sun Apr 25 14:31:07 2010 +0200
Merge commit 'upstrea
The following commit has been merged in the master branch:
commit 817b671cdf4e4c60b2c40d5b4718ecd2ab369a4c
Author: Mehdi Dogguy
Date: Sun Apr 25 14:39:10 2010 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index d58d18b..ac9eb7f 100644
--- a/debian/changelog
The following commit has been merged in the master branch:
commit b766368364a3c26bcf4bf65952cd583a6e5968f7
Author: Mehdi Dogguy
Date: Sun Apr 25 15:00:13 2010 +0200
Convert patches to quilt format
diff --git a/debian/changelog b/debian/changelog
index ac9eb7f..060ace5 100644
--- a/debian
The following commit has been merged in the master branch:
commit 623b7108c24b88a796b94bbf8e55edf78725734a
Author: Mehdi Dogguy
Date: Sun Apr 25 15:07:04 2010 +0200
Drop +debian suffix from verion string
diff --git a/debian/changelog b/debian/changelog
index 060ace5..e4d1ceb 100644
--- a
The following commit has been merged in the master branch:
commit c833d6756759f67e6be960495d9d69cdc6ede80a
Author: Mehdi Dogguy
Date: Sun Apr 25 15:09:46 2010 +0200
Bump standard version to 3.8.4, no changed needed.
diff --git a/debian/changelog b/debian/changelog
index e4d1ceb..0b97bc7
The following commit has been merged in the master branch:
commit 7962c412cbe0e95b1bbee982b0a20ad746cf6904
Author: Mehdi Dogguy
Date: Tue Apr 27 15:59:17 2010 +0200
Release to unstable
diff --git a/debian/changelog b/debian/changelog
index 0b97bc7..90fed7c 100644
--- a/debian/changelog
901 - 1000 of 2789 matches
Mail list logo