The following commit has been merged in the master branch:
commit 1f967bc84a10ec1837af10c1e9dc022d41532768
Author: Mehdi Dogguy
Date: Thu Jul 23 03:22:52 2009 +0200
Remove debugging prints
diff --git a/tools/dom-apply-patches b/tools/dom-apply-patches
index 03d6d89..1a5e406 100755
--- a
The following commit has been merged in the master branch:
commit d768538288b12ee184b342d2e2b70e419cd14b54
Author: Mehdi Dogguy
Date: Fri Jul 24 02:18:21 2009 +0200
Fix a typo in debian/control{,.in}
diff --git a/debian/control b/debian/control
index 281b107..fccd283 100644
--- a/debian
The following commit has been merged in the master branch:
commit ba720e43c45f8cb69dfa5644c7fb13ac70af7206
Author: Mehdi Dogguy
Date: Fri Jul 24 03:55:23 2009 +0200
Execute dh_ocaml before dh_gencontrol
diff --git a/debhelper/ocaml.pm b/debhelper/ocaml.pm
index 4bf6962..e626d18 100644
The following commit has been merged in the master branch:
commit 7f5de836cc06cf9c2175a79fc5fef1be41619d5d
Author: Mehdi Dogguy
Date: Fri Jul 24 03:56:24 2009 +0200
Install ocaml.pm
diff --git a/debian/install b/debian/install
index 4b79887..303b9bf 100644
--- a/debian/install
+++ b
The following commit has been merged in the master branch:
commit 331694604a5f4e7d27483864d0879f89f7b916d7
Author: Mehdi Dogguy
Date: Fri Jul 24 04:03:51 2009 +0200
Fix pod errors in dh_ocaml perl script
diff --git a/debhelper/dh_ocaml b/debhelper/dh_ocaml
index 72d7c7b..8478fa6 100755
The following commit has been merged in the master branch:
commit b31401379b0ad590283a2d0997774a0ec413e2f9
Author: Mehdi Dogguy
Date: Fri Jul 24 04:04:25 2009 +0200
Update standards to 3.8.2
diff --git a/debian/control b/debian/control
index 797e72e..1f12614 100644
--- a/debian/control
The following commit has been merged in the master branch:
commit 519a7920c4892eb5c19a66a6af98683e8e9d6a22
Author: Mehdi Dogguy
Date: Fri Jul 24 03:57:30 2009 +0200
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 65bbcf0..a1877d0 100644
--- a/debian/changelog
+++ b
The following commit has been merged in the master branch:
commit 06b20efcc4c4b1c7a09c0e69752b761d110a4316
Author: Mehdi Dogguy
Date: Fri Jul 24 04:38:21 2009 +0200
Simplify build process
diff --git a/Makefile b/Makefile
index 9c2d07e..2f263c7 100644
--- a/Makefile
+++ b/Makefile
@@ -5,6
The following commit has been merged in the master branch:
commit 6c22557baa96ba4856c2ada4c3c9404f118c8a90
Author: Mehdi Dogguy
Date: Fri Jul 24 04:48:27 2009 +0200
\o/
diff --git a/debian/changelog b/debian/changelog
index 03823d3..9113f03 100644
--- a/debian/changelog
+++ b/debian
The following commit has been merged in the master branch:
commit 3fc5d00ba04e344fee57c707caae7d3b1b295ec0
Author: Mehdi Dogguy
Date: Fri Jul 24 04:56:12 2009 +0200
fix typo
diff --git a/debian/rules b/debian/rules
index 772bef4..49c6e80 100755
--- a/debian/rules
+++ b/debian/rules
The following commit has been merged in the master branch:
commit c2371ad282b8b7084bde169ca475bca07ef253ef
Author: Mehdi Dogguy
Date: Fri Jul 24 12:06:23 2009 +0200
Add myself to uploaders
diff --git a/debian/changelog b/debian/changelog
index e57813b..b47be7f 100644
--- a/debian
The following commit has been merged in the master branch:
commit 2e05290a516432fd9d2ed01fdb06a6a86b5fb7d7
Author: Mehdi Dogguy
Date: Fri Jul 24 11:15:41 2009 +0200
Insert dh_ocaml in the build process
diff --git a/debian/changelog b/debian/changelog
index b47be7f..3f5ca19 100644
--- a
The following commit has been merged in the master branch:
commit 60a54ffa61e52668482109be04720104c55b1ca9
Author: Mehdi Dogguy
Date: Fri Jul 24 12:37:01 2009 +0200
Add a field provides
diff --git a/debian/control b/debian/control
index f15f68f..34d08e9 100644
--- a/debian/control
+++ b
The following commit has been merged in the master branch:
commit edc7ea9409ab9f426e167d926b36f49ccf5be8d0
Author: Mehdi Dogguy
Date: Fri Jul 24 14:08:45 2009 +0200
Upstream doc is installed, no need to generate a new one
diff --git a/debian/rules b/debian/rules
index cc71cc5..bd21834
The following commit has been merged in the master branch:
commit 6dbf72dea788510f56bc8d88a89a6538c5d163ce
Author: Mehdi Dogguy
Date: Fri Jul 24 13:24:20 2009 +0200
Various additions and fixes in dh_ocamldoc
* Add -u option to dh_ocamldoc to be able to give him additional flags
The following commit has been merged in the master branch:
commit 855823839dc1c67b53c9ae80987ba5711ca73ca2
Author: Mehdi Dogguy
Date: Fri Jul 24 15:48:34 2009 +0200
Make ocaml.mk use dh_ocamldoc and dh_ocaml
diff --git a/cdbs/1/rules/ocaml.mk b/cdbs/1/rules/ocaml.mk
index 75ca731..7096f07
The following commit has been merged in the master branch:
commit c6e1a5ec3cf88ed0cae41c19729331b480dd412a
Author: Mehdi Dogguy
Date: Fri Jul 24 15:50:23 2009 +0200
Make it work with dh_ocaml (and dh_ocamldoc and dh_ocamlinit)
diff --git a/debian/control b/debian/control
index 2b152a1
The following commit has been merged in the master branch:
commit dcde71eebf0d8da957b94b538a4620ae117b9e29
Author: Mehdi Dogguy
Date: Fri Jul 24 16:53:29 2009 +0200
Move to section OCaml
diff --git a/debian/control b/debian/control
index 489c013..079fea6 100644
--- a/debian/control
+++ b
The following commit has been merged in the master branch:
commit 26242080a952013cd0f5244b04dc8f56015a9df0
Author: Mehdi Dogguy
Date: Fri Jul 24 16:54:21 2009 +0200
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 83963fa..4f7768e 100644
--- a/debian/changelog
+++ b
The following commit has been merged in the master branch:
commit b670a9e118cdc6386e07822247050fa2894f7be3
Author: Mehdi Dogguy
Date: Fri Jul 24 17:14:36 2009 +0200
Now these changes are integrated in dh-ocaml/.../ocaml.mk
diff --git a/debian/rules b/debian/rules
index bd21834..d4b3b9b
The following commit has been merged in the master branch:
commit bf2cfe7a62b3059005c4038d5441e7c9ea801fa7
Author: Mehdi Dogguy
Date: Fri Jul 24 17:22:38 2009 +0200
Use in debian/control
diff --git a/debian/control b/debian/control
index 079fea6..bb0dd10 100644
--- a/debian/control
+++ b
The following commit has been merged in the master branch:
commit d0b938010009fa115b48506c7aaccdf83437a4cb
Author: Mehdi Dogguy
Date: Fri Jul 24 18:53:15 2009 +0200
Remove usage of section libdevel in debian/control
diff --git a/debian/control b/debian/control
index bb0dd10..2e6537e
The following commit has been merged in the master branch:
commit 95c38c4d08084f6fb1b383de2eb4ca738ca46645
Author: Mehdi Dogguy
Date: Fri Jul 24 19:02:38 2009 +0200
Changelog update
* Update standards to 3.8.2
* Bump dh-ocaml version to 0.9
diff --git a/debian/changelog b
The following commit has been merged in the master branch:
commit 1fb29717c0023de5668f0b04979aea180bbe4aff
Author: Mehdi Dogguy
Date: Fri Jul 24 18:07:01 2009 +0200
Use new features of dh-ocaml
diff --git a/debian/changelog b/debian/changelog
index 777891d..019cbd5 100644
--- a/debian
The following commit has been merged in the master branch:
commit 04f7d14eecdae042f18c2e7ac261cf6bff0c52d2
Author: Mehdi Dogguy
Date: Fri Jul 24 19:16:36 2009 +0200
Build-depend on dh-ocaml 0.9
diff --git a/debian/changelog b/debian/changelog
index 3f5ca19..6a9f99d 100644
--- a/debian
The following commit has been merged in the master branch:
commit e743165198da44825c713e8d7056dae2c077b36a
Author: Mehdi Dogguy
Date: Fri Jul 24 15:48:34 2009 +0200
Various fixes in ocaml.mk and dh_ocaml
diff --git a/cdbs/1/rules/ocaml.mk b/cdbs/1/rules/ocaml.mk
index 7096f07..28216c1
The following commit has been merged in the master branch:
commit faa938d3004aebd56d07def19fab7876e5ea49f0
Author: Mehdi Dogguy
Date: Sat Jul 25 11:41:24 2009 +0200
Fix a little bug in dh_ocaml
Verify that no runtime package is associated with the -dev one when
examining it
The following commit has been merged in the master branch:
commit 27d9c6c703114f8ce039f14809502c5560f988b4
Author: Mehdi Dogguy
Date: Sat Jul 25 12:31:08 2009 +0200
Fix EXCLUDE_FIND fag checking
diff --git a/debhelper/dh_ocamldoc b/debhelper/dh_ocamldoc
index bdea6ea..d0ff50a 100755
--- a
The following commit has been merged in the master branch:
commit 9b9214baad989c719e758bc32f9866a2c7340090
Author: Mehdi Dogguy
Date: Sat Jul 25 17:44:18 2009 +0200
Remove non-used variable and do not overwrite nodef
diff --git a/debhelper/dh_ocaml b/debhelper/dh_ocaml
index e2c5060
The following commit has been merged in the master branch:
commit 619bc6ae054041eaa632a192e482627ccba8331a
Merge: b0792c3b0d3a8f3e0d5886b2b9517a60923897ba
1b3c7e7adeb29b431388bd254ce2a1ffa226fbda
Author: Mehdi Dogguy
Date: Tue Aug 4 14:53:36 2009 +0200
Merge commit 'upstream/
The following commit has been merged in the master branch:
commit 49cc615e57e836ee477031c8dfe7d3bbd5412ec4
Author: Mehdi Dogguy
Date: Tue Aug 4 14:37:33 2009 +0200
Various changes
* New Upstream Version
* Add ruby to the list of compilers in the dependency field
The following commit has been merged in the pristine-tar branch:
commit 1b139e7d3d50396460dd71c9b915a40fe94a6c53
Author: Mehdi Dogguy
Date: Tue Aug 4 14:53:36 2009 +0200
pristine-tar data for laby_0.5.2.orig.tar.gz
diff --git a/laby_0.5.2.orig.tar.gz.delta b/laby_0.5.2.orig.tar.gz.delta
The annotated tag, upstream/0.5.2 has been created
at de1b15cdc65248a4a7bf4049f1e27e42f9dced89 (tag)
tagging 1b3c7e7adeb29b431388bd254ce2a1ffa226fbda (commit)
replaces upstream/0.5.1
tagged by Mehdi Dogguy
on Tue Aug 4 14:53:36 2009 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 6a3b27a5bb52fe329d8429938dc6f354ace6ed42
Author: Mehdi Dogguy
Date: Tue Aug 4 17:24:51 2009 +0200
Update the category in menus (menu, desktop): LogicGame
diff --git a/debian/changelog b/debian/changelog
index c175e26
The following commit has been merged in the master branch:
commit ba3b7f3bc70535e12dee164b383f214a6b8fd766
Author: Mehdi Dogguy
Date: Mon Aug 17 10:00:22 2009 +0200
Fix installation of html version of the policy + its doc-base file
diff --git a/Makefile b/Makefile
index 2f263c7..0db6368
The following commit has been merged in the master branch:
commit c019d5c3b90314b17917b9e59593781c5ec5c781
Author: Mehdi Dogguy
Date: Wed Aug 5 16:36:57 2009 +0200
Add ruby as a suggestion
diff --git a/debian/changelog b/debian/changelog
index 7354158..cf3dbe3 100644
--- a/debian
The following commit has been merged in the master branch:
commit f61f1ef9f507cbe0463c6a8d3533dc2bfda3216a
Author: Mehdi Dogguy
Date: Wed Aug 5 16:38:18 2009 +0200
List upstream changes in debian/changelog
diff --git a/debian/changelog b/debian/changelog
index cf3dbe3..a07b6ff 100644
The following commit has been merged in the master branch:
commit eb1bb5083c98605f5beebf1590933f494c9d80ed
Merge: f61f1ef9f507cbe0463c6a8d3533dc2bfda3216a
5ceb7a8407ca436d113c9c2c4774b8b9fb2d798f
Author: Mehdi Dogguy
Date: Mon Aug 24 11:45:10 2009 +0200
Merge commit 'upstream/
The following commit has been merged in the master branch:
commit 4b2cc402fa6677f0b8f7d998ba250d0359280c2b
Author: Mehdi Dogguy
Date: Mon Aug 24 11:46:31 2009 +0200
New Upstream Version
diff --git a/debian/changelog b/debian/changelog
index a07b6ff..2ea880f 100644
--- a/debian/changelog
The following commit has been merged in the pristine-tar branch:
commit 488ab4f7dcac8b275ca2db579a9e57c89d19cd85
Author: Mehdi Dogguy
Date: Mon Aug 24 11:45:10 2009 +0200
pristine-tar data for laby_0.5.3.orig.tar.gz
diff --git a/laby_0.5.3.orig.tar.gz.delta b/laby_0.5.3.orig.tar.gz.delta
The annotated tag, upstream/0.5.3 has been created
at b57571e6f369777fcf114dc90e39fdcdd59eee24 (tag)
tagging 5ceb7a8407ca436d113c9c2c4774b8b9fb2d798f (commit)
replaces upstream/0.5.2
tagged by Mehdi Dogguy
on Mon Aug 24 11:45:10 2009 +0200
- Shortlog
The following commit has been merged in the master branch:
commit babcbf7a79230ab329a4b5df4ab3563d8ade1cd8
Author: Mehdi Dogguy
Date: Wed Aug 26 07:50:39 2009 +0200
Remove DMUA + Use Debian address
diff --git a/debian/changelog b/debian/changelog
index 2ea880f..ce4e7d3 100644
--- a/debian
The annotated tag, debian/0.5.3-1 has been created
at 231ad6ba6e07a8301a482bd3f42ff2881e4a671c (tag)
tagging babcbf7a79230ab329a4b5df4ab3563d8ade1cd8 (commit)
replaces debian/0.5.1-1
tagged by Mehdi Dogguy
on Wed Aug 26 07:59:05 2009 +0200
- Shortlog
The annotated tag, debian/0.5.2-1 has been created
at b4f2805250bbe14d45f3bda687b95e3e40456019 (tag)
tagging f61f1ef9f507cbe0463c6a8d3533dc2bfda3216a (commit)
replaces debian/0.5.1-1
tagged by Mehdi Dogguy
on Mon Aug 24 11:49:15 2009 +0200
- Shortlog
The annotated tag, debian/2.18.dfsg-5 has been created
at 34fe5d5293be2e37622581c3993fdb9034ad6e56 (tag)
tagging 83c552922fd7caf4b49fbb070e270560045012cc (commit)
replaces debian/2.18.dfsg-4
tagged by Mehdi Dogguy
on Thu Aug 27 19:49:23 2009 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 84abb2ed7ea28eba1f245aaade90fdb5ec276541
Merge: 83c552922fd7caf4b49fbb070e270560045012cc
20061dc4f4cf5a7450bb9e2abb5ab1cf0fa8d19d
Author: Mehdi Dogguy
Date: Thu Aug 27 20:11:39 2009 +0200
Merge commit 'upstream/2.19
The following commit has been merged in the master branch:
commit d1035a416c68675eb00a306a1f7d1da4befd6b7c
Author: Mehdi Dogguy
Date: Thu Aug 27 20:12:48 2009 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 03e9f56..42a5d75 100644
--- a/debian/changelog
The following commit has been merged in the master branch:
commit 88cdf0a205c01d65ea9a0fb1b3af4eb29d32c320
Author: Mehdi Dogguy
Date: Thu Aug 27 20:14:35 2009 +0200
Use my Debian mail address, Remove DMUA
diff --git a/debian/changelog b/debian/changelog
index 42a5d75..133771e 100644
--- a
The following commit has been merged in the master branch:
commit 2a92a833e7d54825cae521e996d061b208b03c5b
Author: Mehdi Dogguy
Date: Thu Aug 27 20:15:45 2009 +0200
Add a 'Homepage' field in debian/control
diff --git a/debian/changelog b/debian/changelog
index 133771e..2926
The following commit has been merged in the master branch:
commit 0035e761378d939662a54661b63f78621d1e0a63
Author: Mehdi Dogguy
Date: Thu Aug 27 20:36:06 2009 +0200
Referesh path jessie_lib.dpatch
diff --git a/debian/changelog b/debian/changelog
index 29269ad..e8bf0cb 100644
--- a/debian
The following commit has been merged in the master branch:
commit 1d30957edf59962dab5aa0d4751ff1a7fbd9b213
Author: Mehdi Dogguy
Date: Thu Aug 27 20:44:06 2009 +0200
Fix long description for why-examples
diff --git a/debian/changelog b/debian/changelog
index e8bf0cb..f3be941 100644
--- a
The following commit has been merged in the pristine-tar branch:
commit b2b99ed7b7ce01ae854b0baffef0e48c5b7b62c0
Author: Mehdi Dogguy
Date: Thu Aug 27 20:11:37 2009 +0200
pristine-tar data for why_2.19+dfsg.orig.tar.gz
diff --git a/why_2.19+dfsg.orig.tar.gz.delta b/why_2.19
The annotated tag, upstream/2.19+dfsg has been created
at 0b6eb4260c9c53f055cb1e452576cbdf578564db (tag)
tagging 20061dc4f4cf5a7450bb9e2abb5ab1cf0fa8d19d (commit)
replaces upstream/2.18.dfsg
tagged by Mehdi Dogguy
on Thu Aug 27 20:11:38 2009 +0200
- Shortlog
The following commit has been merged in the master branch:
commit c2fc888b3eb2827e9f624f758f13f6ed63e26370
Author: Mehdi Dogguy
Date: Fri Aug 28 10:54:57 2009 +0200
Do not filter-out why directory since there are two
diff --git a/debian/gbp.conf b/debian/gbp.conf
index 5577ef2..3f19c92
The following commit has been merged in the master branch:
commit 5b2ceee8bbffd65731895e3d55273a681e1a0c71
Merge: c2fc888b3eb2827e9f624f758f13f6ed63e26370
fa7024c50886205fc2d12711aa55e0fb069a98ca
Author: Mehdi Dogguy
Date: Fri Aug 28 12:15:06 2009 +0200
Merge commit 'upstream/200
The following commit has been merged in the master branch:
commit be237362110c0e2b582690a83a2f7678ed693b8e
Author: Mehdi Dogguy
Date: Fri Aug 28 10:58:54 2009 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index ad673a1..bd2c536 100644
--- a/debian/changelog
The following commit has been merged in the master branch:
commit 60dc5f28a248e96c17ee58285cecf2ab0969ae33
Author: Mehdi Dogguy
Date: Thu Aug 27 23:25:40 2009 +0200
Use Debian mail address, Remove DMUA
diff --git a/debian/changelog b/debian/changelog
index bd2c536..76ea5a0 100644
--- a
The following commit has been merged in the master branch:
commit 6cf2a4925873042bbaedbb41088d0ae25411a0a5
Author: Mehdi Dogguy
Date: Fri Aug 28 12:17:59 2009 +0200
Remove-patches-now-integrated-upstream
diff --git
a/debian/patches/0001-Gui_includes-variable-should-include-ocamlgraph
The following commit has been merged in the master branch:
commit e0b90d372e742cbafdd0823381aaa5f3c83342d1
Author: Mehdi Dogguy
Date: Fri Aug 28 00:02:45 2009 +0200
Build-depend on jessie library version 2.19 and runtime-depend on why 2.19.
diff --git a/debian/control b/debian/control
The following commit has been merged in the master branch:
commit 52ea69a8f6f57b269c1b39693a18af82c130bb05
Author: Mehdi Dogguy
Date: Fri Aug 28 00:12:06 2009 +0200
Refresh patch
diff --git a/debian/patches/0006-Do-not-install-non-existant-files.patch
b/debian/patches/0006-Do-not-install
The following commit has been merged in the master branch:
commit e698ec0194883d325651a6bd27be20e75f955024
Author: Mehdi Dogguy
Date: Fri Aug 28 00:19:32 2009 +0200
Remove patch rule: integrated in dh-ocaml (dom-save-patches)
diff --git a/debian/rules b/debian/rules
index c067945..9f9de3f
The following commit has been merged in the master branch:
commit b1b4c5e74680d151f50c5c1026588fa26b77304d
Author: Mehdi Dogguy
Date: Fri Aug 28 00:27:01 2009 +0200
Remove not used makefile: quilt.make
diff --git a/debian/rules b/debian/rules
index 9f9de3f..13c2a5d 100755
--- a/debian
The following commit has been merged in the master branch:
commit e1c948b7625e366698b90edb5321e859b805ef66
Author: Mehdi Dogguy
Date: Fri Aug 28 00:40:18 2009 +0200
Create lib/gui before configure and remove it when cleaning.
diff --git a/debian/rules b/debian/rules
index 13c2a5d..ef5e3b8
The following commit has been merged in the master branch:
commit 289dc895c77ef04cb2abf9dca591902a977681a5
Author: Mehdi Dogguy
Date: Fri Aug 28 08:46:39 2009 +0200
Add a patch to fix linking order for bin/viewer
diff --git a/debian/patches/0002-Do-not-add-GRAPH_GUICMO-to
The following commit has been merged in the master branch:
commit 007365261606b3d48e56f6e41a7122a845c489f6
Author: Mehdi Dogguy
Date: Fri Aug 28 08:54:02 2009 +0200
Build-depend on debhelper 7.0.50 since we use overrides
diff --git a/debian/control b/debian/control
index 0831e7a..f05e991
The following commit has been merged in the master branch:
commit d96f172479037ab6076d394e81a7a125a186db6c
Author: Mehdi Dogguy
Date: Fri Aug 28 08:54:40 2009 +0200
Bump Standards-Version to 3.8.3
Add a README.source
diff --git a/debian/README.source b/debian/README.source
new
The following commit has been merged in the master branch:
commit 62cbd42948fb032fdfdc6fc38653a6cebfb7de8c
Author: Mehdi Dogguy
Date: Fri Aug 28 08:58:23 2009 +0200
Build-depending on a particular revision of libocamlgraph-ocaml-dev is not
needed
diff --git a/debian/control b/debian
The following commit has been merged in the master branch:
commit 9b14b74f0e2c5f9a1ac5131595ee9b2d0b4459c6
Author: Mehdi Dogguy
Date: Fri Aug 28 09:01:28 2009 +0200
Install frama-c, frama-c.byte and frama-c-gui on native architectures and
frama-c and frama-c-gui on non-native ones.
diff
The following commit has been merged in the master branch:
commit 25264f4160e14b1df64d58881a2b66c1d12333cd
Author: Mehdi Dogguy
Date: Fri Aug 28 09:13:59 2009 +0200
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 76ea5a0..44d1df1 100644
--- a/debian/changelog
+++ b
The following commit has been merged in the master branch:
commit 972714882948146e05a3039e8dcc9f832f775c2b
Author: Mehdi Dogguy
Date: Fri Aug 28 09:07:26 2009 +0200
Update README.Debian
diff --git a/debian/README.Debian b/debian/README.Debian
index e2d56bb..50219bb 100644
--- a/debian
The following commit has been merged in the master branch:
commit eaf38300bc3165d726911f8d402d5eb1a567f547
Author: Mehdi Dogguy
Date: Fri Aug 28 12:36:30 2009 +0200
More files to clean
diff --git a/debian/clean b/debian/clean
index 39e5054..0b0f4b1 100644
--- a/debian/clean
+++ b/debian
The following commit has been merged in the pristine-tar branch:
commit 4e94cf782f224aa4c10bb931bba7cd4be0dd7e1e
Author: Mehdi Dogguy
Date: Fri Aug 28 12:15:06 2009 +0200
pristine-tar data for frama-c_20090601~beta1+dfsg.orig.tar.gz
diff --git a/frama-c_20090601~beta1
The following commit has been merged in the master branch:
commit 696dee3a1ecfa242b5c1234887ffe15d2f01bc07
Author: Mehdi Dogguy
Date: Fri Aug 28 12:27:04 2009 +0200
Backup src/kernel/config.ml
diff --git a/debian/rules b/debian/rules
index 8665a76..1924942 100755
--- a/debian/rules
+++ b
The annotated tag, upstream/20090601.beta1+dfsg has been created
at ccc2d15b2fe71f1d2a8e9db876ab9d2fa76e8334 (tag)
tagging fa7024c50886205fc2d12711aa55e0fb069a98ca (commit)
replaces upstream/20081201.dfsg
tagged by Mehdi Dogguy
on Fri Aug 28 12:15:06 2009 +0200
The following commit has been merged in the master branch:
commit 0c88ec9b848f7b921fe573d48a0ba6ba3d9e7bf1
Author: Mehdi Dogguy
Date: Fri Aug 28 14:53:39 2009 +0200
Update copyright file
diff --git a/debian/changelog b/debian/changelog
index 44d1df1..4ef29c0 100644
--- a/debian/changelog
The annotated tag, debian/2.19+dfsg-1 has been created
at 7a4389ed1069643c9322f1a6bda0ec4479e2f1bd (tag)
tagging 1d30957edf59962dab5aa0d4751ff1a7fbd9b213 (commit)
replaces debian/2.18.dfsg-5
tagged by Mehdi Dogguy
on Fri Aug 28 15:23:57 2009 +0200
- Shortlog
The annotated tag, debian/20090601.beta1+dfsg-1 has been created
at 0617caff4d449f1f73b4c09be6c3ad324acf2f9d (tag)
tagging 0c88ec9b848f7b921fe573d48a0ba6ba3d9e7bf1 (commit)
replaces debian/20081201.dfsg-3
tagged by Mehdi Dogguy
on Sat Aug 29 11:39:41 2009 +0200
The following commit has been merged in the master branch:
commit 7d594fc26bbfc872891417f4ecc54c935bb09231
Author: Mehdi Dogguy
Date: Tue Sep 1 10:19:05 2009 +0200
Add a patch to fix weak pattern-matching
diff --git
a/debian/patches/0003-Fix-weak-pattern-matching-in
The following commit has been merged in the master branch:
commit cda4b08aebdf37594d8bc7bf3f4283f542294ca0
Author: Mehdi Dogguy
Date: Tue Sep 1 12:03:45 2009 +0200
Link statically Jessie plugin
Add a patch that fixes compilation error when linking jessie
statically and using a
The following commit has been merged in the master branch:
commit 8f6cc2ada62b3e46e030971919cfeb0d09b9b18e
Author: Mehdi Dogguy
Date: Tue Sep 1 15:49:33 2009 +0200
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 4ef29c0..8f23b86 100644
--- a/debian/changelog
+++ b
The following commit has been merged in the master branch:
commit 87a447b65e95aa4c363ba4b49a4fe0d4cc84306f
Merge: 8c51eff12d97555dda9522f2b35cf774010dcec8
9447dcd4662409bc15ee2b86778b3c013001c950
Author: Mehdi Dogguy
Date: Wed Sep 2 17:22:50 2009 +0200
Merge commit 'upstream/1.2+d
The following commit has been merged in the master branch:
commit 968f15b17323ae7c9f0a4626eac56e6f37a6a3f2
Author: Mehdi Dogguy
Date: Wed Sep 2 17:30:18 2009 +0200
New upstream release
diff --git a/debian/README.source b/debian/README.source
index 62605d2..b1e3f80 100644
--- a/debian
The following commit has been merged in the master branch:
commit e8e2f1b1952725739983c40069c2863b690f5092
Author: Mehdi Dogguy
Date: Wed Sep 2 17:39:00 2009 +0200
Use my Debian address
diff --git a/debian/changelog b/debian/changelog
index c44dbf7..c6f845e 100644
--- a/debian/changelog
The following commit has been merged in the master branch:
commit 3e1b9fd4ca6caa37f054368f7b61bcb0df2bb859
Author: Mehdi Dogguy
Date: Wed Sep 2 17:44:15 2009 +0200
Remove 04_more_clean.dpatch: not needed anymore
diff --git a/debian/changelog b/debian/changelog
index c6f845e..e662d2a
The following commit has been merged in the master branch:
commit 9e0c6b96cc438fb6480c1c0d6e957c591ba9484e
Author: Mehdi Dogguy
Date: Wed Sep 2 17:52:53 2009 +0200
Rewrite 01_makefile to make it simpler and clearer and don't install
graph.o as it's not needed anymore
diff --gi
The following commit has been merged in the master branch:
commit ae7d75ff1e171d2f28b42ce1498382f84712350c
Author: Mehdi Dogguy
Date: Thu Sep 3 18:42:50 2009 +0200
Install binaries using install target
diff --git a/debian/rules b/debian/rules
index 13388ff..4ab7586 100755
--- a/debian
The following commit has been merged in the master branch:
commit 0922a73a3a0143a8d5942d410151a3ccf31055c9
Author: Mehdi Dogguy
Date: Fri Sep 4 09:35:07 2009 +0200
Bump standards version to 3.8.3, no changes needed
diff --git a/debian/changelog b/debian/changelog
index e662d2a..0e8b945
The following commit has been merged in the master branch:
commit a081404fad7f0690084cb3148fe667838e7e9162
Author: Mehdi Dogguy
Date: Fri Sep 4 09:42:27 2009 +0200
Update copyright file
diff --git a/debian/changelog b/debian/changelog
index 0e8b945..2dc4a28 100644
--- a/debian/changelog
The following commit has been merged in the pristine-tar branch:
commit 4f2bbf57064f54e683b61bd12559111c84ae
Author: Mehdi Dogguy
Date: Wed Sep 2 17:22:50 2009 +0200
pristine-tar data for ocamlgraph_1.2+debian.orig.tar.gz
diff --git a/ocamlgraph_1.2+debian.orig.tar.gz.delta
b
The annotated tag, upstream/1.2+debian has been created
at 6f1ccaf0587a134c40dcf9a1dc14848a614740d9 (tag)
tagging 9447dcd4662409bc15ee2b86778b3c013001c950 (commit)
replaces upstream/1.1
tagged by Mehdi Dogguy
on Wed Sep 2 17:22:50 2009 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 71cea933d8235bab31b2bc3a8bd8288ea1369fd1
Author: Mehdi Dogguy
Date: Fri Sep 4 11:36:15 2009 +0200
Update email addresses and remove DMUA
diff --git a/debian/changelog b/debian/changelog
index 0e8c6ca..b15630f 100644
--- a
The following commit has been merged in the master branch:
commit ae5980941116ad99e8619ccd093b30f61bb48d40
Author: Mehdi Dogguy
Date: Fri Sep 4 11:39:36 2009 +0200
Update email addresses and remove DMUA
diff --git a/debian/changelog b/debian/changelog
index 3d8de91..eaf7169 100644
--- a
The following commit has been merged in the master branch:
commit 23f8abbf2ed5f70561d1097697901752ce4013f8
Author: Mehdi Dogguy
Date: Fri Sep 4 11:45:15 2009 +0200
Update email addresses and remove DMUA
diff --git a/debian/changelog b/debian/changelog
index 3b41a69..dc0389c 100644
--- a
The following commit has been merged in the master branch:
commit 4b465ed34fa69c5eff3f9d571ad73e9f75650abb
Author: Mehdi Dogguy
Date: Fri Sep 4 11:46:39 2009 +0200
Accents
diff --git a/debian/changelog b/debian/changelog
index dc0389c..7ce0072 100644
--- a/debian/changelog
+++ b/debian
The following commit has been merged in the master branch:
commit 3504fbdbbf9d20415f145f3df7406b4f42a4e1ba
Author: Mehdi Dogguy
Date: Fri Sep 4 11:47:35 2009 +0200
Accents
diff --git a/debian/changelog b/debian/changelog
index eaf7169..9c3c422 100644
--- a/debian/changelog
+++ b/debian
The following commit has been merged in the master branch:
commit f73d6d673188664852a062b01c471a3eb25cd1f7
Author: Mehdi Dogguy
Date: Fri Sep 4 11:48:35 2009 +0200
Accents
diff --git a/debian/control b/debian/control
index 38fdc2c..5ca587f 100644
--- a/debian/control
+++ b/debian/control
The following commit has been merged in the master branch:
commit b0b8ceb1310ab07c30cad9da724b9f656b6337f0
Author: Mehdi Dogguy
Date: Sun Sep 6 13:19:22 2009 +0200
Remove ocamlweb from build-dependencies as we don't use it.
diff --git a/debian/changelog b/debian/changelog
index 2d
The following commit has been merged in the master branch:
commit f8ae7702c621529bc0e01cd3350a12b2b3d50fc9
Merge: 8f6cc2ada62b3e46e030971919cfeb0d09b9b18e
33d891b06c2a6eb85161fc396f5d007db4fc2782
Author: Mehdi Dogguy
Date: Fri Sep 4 15:44:32 2009 +0200
Merge commit 'upstream/200
The following commit has been merged in the master branch:
commit 3c199399c68fac81fcfcb8782f74bdf53375057f
Author: Mehdi Dogguy
Date: Fri Sep 4 15:19:11 2009 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 8f23b86..99a9a4b 100644
--- a/debian/changelog
The following commit has been merged in the master branch:
commit 44a6436e2ffa37e5f3be53f3a0414ab4ed45509c
Author: Mehdi Dogguy
Date: Fri Sep 4 15:29:31 2009 +0200
Updating the clean target
diff --git a/debian/clean b/debian/clean
index 0b0f4b1..997771a 100644
--- a/debian/clean
+++ b
501 - 600 of 2789 matches
Mail list logo
