The following commit has been merged in the master branch:
commit a950dc97aae27f571d3e453c6360c3861f5ff4d3
Merge: dbc41e4e0a3e27e064d79c1bea580d8fa5c359f9
cd5ab0c0cae33d157f96d6d763ba0c25862ad415
Author: Mehdi Dogguy me...@debian.org
Date: Sat Jan 9 11:24:08 2010 +0100
Merge commit
The following commit has been merged in the master branch:
commit 55360d780851ee24aa1bd4267bacfcdd27fe3a87
Author: Mehdi Dogguy me...@debian.org
Date: Sat Jan 9 11:26:00 2010 +0100
New upstream release (Closes: #564222)
diff --git a/debian/changelog b/debian/changelog
index b2a3b73
The following commit has been merged in the master branch:
commit 6d1ae130731d00802079cde55ce9b30ca6e4ce58
Author: Mehdi Dogguy me...@debian.org
Date: Sat Jan 9 11:27:02 2010 +0100
Add myself to uploaders
* Add myself to uploaders.
* Remove DMUA flag, not needed anymore.
diff
The following commit has been merged in the master branch:
commit 7caa91f608bc738d06073dc3ebc3c2265b8d8f2d
Author: Mehdi Dogguy me...@debian.org
Date: Sat Jan 9 11:35:14 2010 +0100
Remove add_dynlink.patch: fixed upstream.
diff --git a/debian/changelog b/debian/changelog
index 8dc2c26
The following commit has been merged in the master branch:
commit 44216f937dd558d68173d66aba2f2a964e70c0ef
Author: Mehdi Dogguy me...@debian.org
Date: Sat Jan 9 11:38:22 2010 +0100
Update 01-byte-compilation.dpatch
diff --git a/debian/changelog b/debian/changelog
index 951cf3f..7b05434
The following commit has been merged in the master branch:
commit 7768aea74385c258f2db818c8f68834849819d77
Author: Mehdi Dogguy me...@debian.org
Date: Sat Jan 9 11:40:57 2010 +0100
Update update-configure.patch
diff --git a/debian/changelog b/debian/changelog
index 7b05434..b2b23cc 100644
The following commit has been merged in the pristine-tar branch:
commit d9caa1f92cbd4deb48c30f5919db9fa1e2aa1912
Author: Mehdi Dogguy me...@debian.org
Date: Sat Jan 9 11:24:08 2010 +0100
pristine-tar data for ocaml-bitstring_2.0.2.orig.tar.gz
diff --git a/ocaml-bitstring_2.0.2
The annotated tag, debian/2.0.2-1 has been created
at 2bf7a1318774b22945580b1fffc246a798c05b74 (tag)
tagging 4474bc3f89e0f8b1c872ffc480be28a6ad431a85 (commit)
replaces debian/2.0.0-5
tagged by Mehdi Dogguy
on Sat Jan 9 11:47:49 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 122a6c55b071df3f782fbdee63b10e8684b47775
Author: Mehdi Dogguy me...@debian.org
Date: Sat Jan 9 11:50:14 2010 +0100
Update Stéphane's mail address
diff --git a/debian/changelog b/debian/changelog
index dabb6c1..461ceb9 100644
Dogguy
on Sat Jan 9 11:50:22 2010 +0100
- Shortlog
Debian release 2.0.2-1
Mehdi Dogguy (10):
Imported Upstream version 2.0.2
Merge commit 'upstream/2.0.2'
New upstream release (Closes: #564222)
Add myself
The following commit has been merged in the master branch:
commit 64462a757ca91c6fd138b4a5600995a629421c71
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 17:47:36 2010 +0100
Modify ocaml_3.11.1 so that it works with all 3.11.* versions
diff --git a/debian/changelog b/debian
The following commit has been merged in the master branch:
commit a16f62449e27c981e51dec794c85a9babe1c3780
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 14:44:48 2010 +0100
Generate documentation using dh_ocamldoc (Closes: #559330)
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 3d1ec04f9712e35acebe9a9998c8cfc6ff3d615e
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 14:45:18 2010 +0100
Release to unstable
diff --git a/debian/changelog b/debian/changelog
index 587afda..9081fcd 100644
The following commit has been merged in the master branch:
commit 171984aa6f9a3a5fa53db3c6914f282ab5d0f901
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 16:02:04 2010 +0100
New upstream release
diff --git a/debian/changelog b/debian/changelog
index dc237c9..054d990 100644
The following commit has been merged in the master branch:
commit 33dc35bf5f7afd1b1c20f32e82cccbb758690d7c
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 16:21:44 2010 +0100
Update copyright file
diff --git a/debian/changelog b/debian/changelog
index 054d990..5a90cd9 100644
The following commit has been merged in the master branch:
commit 54adcc3b5458c81185527af54af8a19f62eca6c2
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 16:23:11 2010 +0100
Remove 0001-Fix-weak-pattern-matching-in-dynlink_lower_311_byte..patch
(fixed upstream)
diff --git a/debian
The following commit has been merged in the master branch:
commit 0f0627dd35f777839f02a99a80fc7eec692c28fb
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 16:30:08 2010 +0100
Remove 0003-Add-dGraphView.cmo-when-linking.patch (fixed upstream)
diff --git a/debian/changelog b/debian
The following commit has been merged in the master branch:
commit bcd4b9ac3a69c3b51004a8be0476aba3821bd43c
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 16:39:40 2010 +0100
Build-depend on ocamlgraph 1.3
diff --git a/debian/changelog b/debian/changelog
index 4e8cafd..cc766be
The following commit has been merged in the master branch:
commit ef850594b7bfea893f7e4b68711fe110268e3e15
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 16:42:50 2010 +0100
Leave .make-clean
diff --git a/debian/clean b/debian/clean
index 997771a..4c300d8 100644
--- a/debian/clean
The following commit has been merged in the master branch:
commit bce2fb79cf893885c1f7042f104a8035e14cd548
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 16:48:03 2010 +0100
Explicitely build bin/ptests.byte but do not install it
diff --git a/debian/rules b/debian/rules
index
The following commit has been merged in the master branch:
commit 20955312747a834d5c4cbc8f47a0e6d3b4010863
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 17:36:02 2010 +0100
Add a new binary package: frama-c-base
diff --git a/debian/changelog b/debian/changelog
index cc766be
The following commit has been merged in the master branch:
commit 9f4d3968725057841fe6e05b40bd9e9504901b43
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 22:50:18 2010 +0100
Release to unstable
diff --git a/debian/changelog b/debian/changelog
index 4eced09..a99393c 100644
The following commit has been merged in the pristine-tar branch:
commit 166df3e85d8dfd26b350fad67973414e6faf6ae1
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 15:55:44 2010 +0100
pristine-tar data for frama-c_20090902+beryllium+dfsg.orig.tar.gz
diff --git a/frama-c_20090902
The annotated tag, upstream/20090902+beryllium+dfsg has been created
at 5ea8229a91039d0e1515038895f911886b553f6c (tag)
tagging 080f10eac2aa22eb9dc2351a85876acd63a35aad (commit)
replaces upstream/20090901+beryllium+dfsg
tagged by Mehdi Dogguy
on Sun Jan 10 15:55:44 2010
The following commit has been merged in the master branch:
commit 246cd0343d3d8fd7daae2c493bbaf12f7065fe70
Author: Mehdi Dogguy me...@debian.org
Date: Fri Nov 13 14:10:05 2009 +0100
Fix detection of Alt-Ergo (Closes: #552776).
diff --git a/debian/changelog b/debian/changelog
index 9f07472
The following commit has been merged in the master branch:
commit 7a871991855763bf2b60a51f8fef46c94822f59f
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 18:20:42 2010 +0100
Set filter-pristine-tar to True in debian/gbp.conf
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 30edb457360fddfdfadd66eff7a59d1757e217a8
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 19:01:26 2010 +0100
Various changes
diff --git a/debian/changelog b/debian/changelog
index f0c059e..9bd5e5e 100644
--- a/debian
The following commit has been merged in the master branch:
commit afce099031db918dcc1918381c205de0ffc2f25d
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 19:53:53 2010 +0100
Disable logopath patch
diff --git a/debian/changelog b/debian/changelog
index 9bd5e5e..89a0fc5 100644
The following commit has been merged in the master branch:
commit d813515f6c4d777aceb39d82b1fac42ca25d7af9
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 22:46:39 2010 +0100
It's callded frama-c-base, for now
diff --git a/debian/control b/debian/control
index 693e31c..246812b
The following commit has been merged in the pristine-tar branch:
commit 8b6911f6143d81391c854416a718940a56e53bfc
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 18:41:13 2010 +0100
pristine-tar data for why_2.23+dfsg.orig.tar.gz
diff --git a/why_2.23+dfsg.orig.tar.gz.delta b
The following commit has been merged in the pristine-tar branch:
commit c9089edb810e190d02387ee0963ec07c6fd3ab16
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 21:27:24 2010 +0100
New cleaned tarball for upstream 2.23
diff --git a/why_2.23+dfsg.orig.tar.gz.delta b/why_2.23
The annotated tag, debian/2.23+dfsg-1 has been created
at 64fffa5ac8c87105e2d01006a136c20d9886ceb2 (tag)
tagging 9832da6bd28f36c8d660a1cbb4e5d40d2b1161b5 (commit)
replaces debian/2.19+dfsg-2
tagged by Mehdi Dogguy
on Sun Jan 10 23:33:53 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 26304298b2ecaec907dbc59870273d6663e430a9
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 10 23:35:42 2010 +0100
Fix various lintian warnings
diff --git a/debian/changelog b/debian/changelog
index e5958f5..db0562a 100644
by Mehdi Dogguy
on Sun Jan 10 23:35:58 2010 +0100
- Shortlog
Debian release 2.23+dfsg-1
Mehdi Dogguy (18):
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 94992a1b7857daaabdc1fb6eb7ffe08daf76b946
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 17 19:33:51 2010 +0100
Fix installability problem by installing frama-c-gui.1 only once.
diff --git a/debian/changelog b/debian
The following commit has been merged in the master branch:
commit c580bafff95a688100c9bb7635c6e39e4a70d14f
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 17 19:55:48 2010 +0100
Remove empty dirs
diff --git a/debian/changelog b/debian/changelog
index fe83aa2..fcbbdac 100644
The following commit has been merged in the master branch:
commit d7d9ec3a1978b042d59d395d32f7c1c236bbaa6f
Author: Mehdi Dogguy me...@debian.org
Date: Sun Jan 17 20:33:27 2010 +0100
Fix short description of frama-c-base
diff --git a/debian/changelog b/debian/changelog
index 0d926cb
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 me...@debian.org
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
The following commit has been merged in the master branch:
commit 95f67bcba861f4b13ad039f760f8e71bc5261053
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the master branch:
commit cafd511a37291972d2025e392a645de7c5f5fba1
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the master branch:
commit 7386e02a069a9b29cfaa0f162a3fd0dfc4013f24
Author: Mehdi Dogguy me...@debian.org
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
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 me...@debian.org
Date: Thu Feb 11 23:05:03 2010 +0100
Merge commit
The following commit has been merged in the master branch:
commit ef27628422b4244e20c76b6af305294a7c8c81a1
Author: Mehdi Dogguy me...@debian.org
Date: Thu Feb 11 23:08:39 2010 +0100
New upstream release
diff --git a/debian/changelog b/debian/changelog
index d508e30..0db70e8 100644
The following commit has been merged in the master branch:
commit af334f3d79ec22d22ad806437ef50dbe02688dff
Merge: 89c23128bda608080da2d3660ad53b0926a962a7
0e1e5d0183c230169f21af604e2fbe7270c48506
Author: Mehdi Dogguy me...@debian.org
Date: Fri Feb 12 15:53:53 2010 +0100
Merge commit
The following commit has been merged in the master branch:
commit 9a32b588402f9a6522b221281b443448ed1d4563
Author: Mehdi Dogguy me...@debian.org
Date: Fri Feb 12 16:33:49 2010 +0100
Release to unstable
diff --git a/debian/changelog b/debian/changelog
index 309dfd0..105ecbc 100644
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 following commit has been merged in the master branch:
commit 6ac8254eaa0b737da16e237a9ba1f8a52c21f9e9
Merge: 9a32b588402f9a6522b221281b443448ed1d4563
29885e91292d731699e06221f5626555792de869
Author: Mehdi Dogguy me...@debian.org
Date: Wed Feb 17 12:34:56 2010 +0100
Merge commit
The following commit has been merged in the master branch:
commit 92710c28dc388e18dbe15b96684d1ba2ffbc1fda
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the master branch:
commit 643f79acbacc3ccb1644b2a1710593ab5731ecdc
Author: Mehdi Dogguy me...@debian.org
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
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 me...@debian.org
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
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 me...@debian.org
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
The following commit has been merged in the master branch:
commit bf09e4529e702ff3bd38ed59f592eb520d480d2e
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the master branch:
commit ece110e20c64f8030e619c6e604333a2fd91bf40
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the master branch:
commit 8bc2af1de8f311c41c79331f5638e902263c3433
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the master branch:
commit 5f7382854e7e5db4ebf402e1e6543ed0cc3150b2
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the master branch:
commit 4af81ff03920eec9ae560c65d8297a5f29ec2b93
Merge: 5f7382854e7e5db4ebf402e1e6543ed0cc3150b2
3a7654924a63fddb0cbbfaba484c62a31a47ded6
Author: Mehdi Dogguy me...@debian.org
Date: Wed Feb 24 15:56:22 2010 +0100
Merge commit
The following commit has been merged in the master branch:
commit ead95cdbc86a545d81ac8b55bb6985703be57ff5
Author: Mehdi Dogguy me...@debian.org
Date: Wed Feb 24 15:57:31 2010 +0100
New upstream release (Closes: #564816)
diff --git a/debian/changelog b/debian/changelog
index ff6c8f3
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 me...@debian.org
Date: Thu Feb 25 16:28:25 2010 +0100
Remove inferrable dependencies in debian/control and let dh-ocaml do
entirely the inference job
The following commit has been merged in the master branch:
commit 2b857dd476939edd40c92da6a5d26ac8ec556290
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the master branch:
commit 13a73e44b439673efa40eb3aa3de8db29bd8cd4f
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the master branch:
commit 2b047c44d86988563b0423b715128aa3fd5491f8
Author: Mehdi Dogguy me...@debian.org
Date: Sun Mar 7 21:42:24 2010 +0100
Provide new binary packages to avoid unnecessary dependencies:
- libocamlgraph-view-ocaml-dev
The following commit has been merged in the master branch:
commit 49e76d8a96fb74474290dd6cd31f0cfa5afb6eb0
Author: Mehdi Dogguy me...@debian.org
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
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 branch, master has been created
at 7a26e723ff680c6b7ee793556de945f0a58aec1d (commit)
- Shortlog
commit 7a26e723ff680c6b7ee793556de945f0a58aec1d
Author: Mehdi Dogguy me...@debian.org
Date: Wed Mar 24 19:19:26 2010 +0100
The branch, pristine-tar has been created
at b7643649a71f0bb81231c4dcb1673afd7fc438f3 (commit)
- Shortlog
commit b7643649a71f0bb81231c4dcb1673afd7fc438f3
Author: Mehdi Dogguy me...@debian.org
Date: Wed Mar 24 19:19:26 2010
The branch, upstream has been created
at 7a26e723ff680c6b7ee793556de945f0a58aec1d (commit)
- Shortlog
commit 7a26e723ff680c6b7ee793556de945f0a58aec1d
Author: Mehdi Dogguy me...@debian.org
Date: Wed Mar 24 19:19:26 2010 +0100
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 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 me...@debian.org
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
The following commit has been merged in the master branch:
commit cb66bed502bb3301674d6a5128a3101f493219b9
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the master branch:
commit 8f94577b63f4fb4e7b3ec4c4f5edca71aaa01a02
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the ocamlbuild branch:
commit e3dcc7faa8b0a265711c1f5fc228e7ac9477b76c
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the ocamlbuild branch:
commit c37c89cca59a2dd3de1fcd7ec420cd362d7c7392
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the ocamlbuild branch:
commit b4d3edd74f1b197c382704a128cad4d123e45425
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the ocamlbuild branch:
commit 0cba9c8f9de251a5a914544381fbc2f9346d4acc
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the ocamlbuild branch:
commit 60443ed02ff771e078646fa397ef3624a52a2f7e
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the ocamlbuild branch:
commit a90f660aa8d0fc7d4690d3acaeb2545000d642dd
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the ocamlbuild branch:
commit 2cb36cbf7d478f23e23478f8508665f57dc9d629
Author: Mehdi Dogguy me...@debian.org
Date: Fri Mar 26 00:54:51 2010 +0100
Simplify tests rules
diff --git a/myocamlbuild.ml b/myocamlbuild.ml
index 48c2e3e..4f4078f 100644
The following commit has been merged in the ocamlbuild branch:
commit a0059af1e135aa324cd0ceaad7e2ef3964a29236
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the ocamlbuild branch:
commit a52d29c31bac478a6f1daaae1591afc83de1b50e
Author: Mehdi Dogguy me...@debian.org
Date: Fri Mar 26 01:14:29 2010 +0100
Fix Makefile variables
diff --git a/Makefile.in b/Makefile.in
index 74e6667..78838a7 100644
The following commit has been merged in the ocamlbuild branch:
commit 7541356b2b4ba0523dff78ad9c187728bab53f5d
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the ocamlbuild branch:
commit 173728ee56d4faf1bfa234cd437ca29804522a11
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the ocamlbuild branch:
commit 77f7f667ede37383c35420dcb7491753a9625a6f
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the ocamlbuild branch:
commit 4ac978b03db3e3bbb9516907c93f2e97346f12d0
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the ocamlbuild branch:
commit 9771957b52044df12a24645e26e6e0891469ba59
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the master branch:
commit f5ce67189192d4b90d7e51fb4840a7f58ff9f277
Author: Mehdi Dogguy me...@debian.org
Date: Tue Apr 13 20:56:05 2010 +0200
Release to unstable
diff --git a/debian/changelog b/debian/changelog
index 96fe4f6..a3c0331 100644
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 me...@debian.org
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
The following commit has been merged in the master branch:
commit 128f7b1bccddcc404c22eb06a00a9f59343b5061
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the master branch:
commit f08c47181753c1cceea10d83cb993c0b197abc81
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the master branch:
commit 6f9c7856886bba67c30de6ce56e4daed3d731183
Merge: 3b39a0269ee7f7a7f19aa734b5e1a9a463c8f047
abb6a1c94546c4fca26f9f80ccda7ceb2437dfab
Author: Mehdi Dogguy me...@debian.org
Date: Sun Apr 25 14:31:07 2010 +0200
Merge commit
The following commit has been merged in the master branch:
commit 817b671cdf4e4c60b2c40d5b4718ecd2ab369a4c
Author: Mehdi Dogguy me...@debian.org
Date: Sun Apr 25 14:39:10 2010 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index d58d18b..ac9eb7f 100644
The following commit has been merged in the master branch:
commit b766368364a3c26bcf4bf65952cd583a6e5968f7
Author: Mehdi Dogguy me...@debian.org
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
The following commit has been merged in the master branch:
commit 623b7108c24b88a796b94bbf8e55edf78725734a
Author: Mehdi Dogguy me...@debian.org
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
701 - 800 of 2444 matches
Mail list logo