The following commit has been merged in the master branch:
commit 8f6b482018b09879346d63694294e5ce0bed8354
Author: Pierre Chambart
Date: Mon Nov 21 20:13:16 2011 +0100
build cmxs
diff --git a/debian/patches/0004-build-cmxs.patch
b/debian/patches/0004-build-cmxs.patch
new file mode 100644
The following commit has been merged in the master branch:
commit 11fcc7ff44ad5b0955858b5f7a7f0ef00c4c13b0
Author: Pierre Chambart
Date: Mon Nov 21 16:00:20 2011 +0100
syntax package exists only when -dev is installed
diff --git
a/debian/patches/0003-syntax-package-exists-only-when-dev-is
The following commit has been merged in the master branch:
commit 5d8cd569ec8c76cf2059d4d0534e9ccc7773de35
Author: Pierre Chambart
Date: Mon Nov 21 20:13:55 2011 +0100
check for natdynlink in rules
diff --git a/debian/rules b/debian/rules
index 71374d8..f7545c9 100755
--- a/debian/rules
++
The following commit has been merged in the master branch:
commit c0fad214739c34e51c53c46b4e8336036bac11e3
Author: Pierre Chambart
Date: Mon Nov 21 20:13:39 2011 +0100
remove syntax.base package
diff --git a/debian/patches/0005-remove-syntax.base-package.patch
b/debian/patches/0005-remove
The following commit has been merged in the master branch:
commit cd315d022f50a30a27e3d2d389f4ecaf8ea2b9fb
Author: Pierre Chambart
Date: Mon Nov 21 17:54:13 2011 +0100
Install cmx
diff --git a/debian/patches/0006-Install-cmx.patch
b/debian/patches/0006-Install-cmx.patch
new file mode 1006
The following commit has been merged in the master branch:
commit e5a01833b5483972cef665292f5a2d58963ce093
Author: Stephane Glondu
Date: Mon Nov 21 21:12:42 2011 +0100
Fix debhelper files
diff --git a/debian/libderiving-ocsigen-ocaml-dev.install.in
b/debian/libderiving-ocsigen-ocaml-dev.i
The following commit has been merged in the master branch:
commit 648905509cf49f95433969c814c5f15678fde103
Author: Stephane Glondu
Date: Mon Nov 21 20:23:10 2011 +0100
Add missing ${shlibs:Depends}
diff --git a/debian/control b/debian/control
index f83c893..99b03f8 100644
--- a/debian/cont
The following commit has been merged in the master branch:
commit 83fd0c83c4195129a5f025666bc3ede8c441668d
Author: Stephane Glondu
Date: Mon Nov 21 20:27:30 2011 +0100
Update debian/copyright to more recent specification
diff --git a/debian/copyright b/debian/copyright
index 10abff6..feca3
The following commit has been merged in the master branch:
commit 550e6e932b62e59366d2c7020643fe15dbc3acff
Author: Stephane Glondu
Date: Mon Nov 21 20:45:15 2011 +0100
Pass $(MAKE_EXTRA_VARS) to calls to $(MAKE) in rules
diff --git a/debian/rules b/debian/rules
index f7545c9..159b0b8 10075
The following commit has been merged in the master branch:
commit 894727f2d6caf0b9a80cc67a58746ddc4f1e9f0a
Author: Stephane Glondu
Date: Mon Nov 21 21:24:44 2011 +0100
Update Homepage
diff --git a/debian/control b/debian/control
index 193d7b2..9fe5b5d 100644
--- a/debian/control
+++ b/debi
The following commit has been merged in the master branch:
commit 14bdf2b15fac614e2db3957c0722d7eaf82aa66d
Author: Stephane Glondu
Date: Mon Nov 21 21:29:27 2011 +0100
Add missing ocaml-findlib to Build-Depends
diff --git a/debian/control b/debian/control
index 9fe5b5d..033e4e4 100644
---
The following commit has been merged in the master branch:
commit 121df48f2ef728360b73089ad7d6a1ae47f87d78
Author: Stephane Glondu
Date: Mon Nov 21 21:23:16 2011 +0100
Update changelog and prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 1e40fea..3d393b0 10
The annotated tag, debian/1.5-1 has been created
at 927cbaeee23054f5115f6453e768dd12661eb571 (tag)
tagging 121df48f2ef728360b73089ad7d6a1ae47f87d78 (commit)
replaces debian/1.3-14
tagged by Stephane Glondu
on Mon Nov 21 21:43:39 2011 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 9816ae95081c8a8e13a9706e9068e8a9e55d8cb7
Merge: 3fca75bac39db76ab2a5cdf54188398479cc9f74
95790ceb5b67c2e6f6ab8528bbbc1a75970723b4
Author: Stephane Glondu
Date: Tue Nov 22 07:08:02 2011 +0100
Merge commit 'upstream/2.0.1'
-
The following commit has been merged in the master branch:
commit d9e4285772dbb5f8354de1147fa1e0f3d3fb8ca0
Author: Stephane Glondu
Date: Tue Nov 22 07:08:15 2011 +0100
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 25b6176..17da736 100644
--- a/debian/cha
The following commit has been merged in the pristine-tar branch:
commit 70f49bd3113fd448440d23529fa1c720933a7843
Author: Stephane Glondu
Date: Tue Nov 22 07:08:02 2011 +0100
pristine-tar data for tyxml_2.0.1.orig.tar.gz
diff --git a/tyxml_2.0.1.orig.tar.gz.delta b/tyxml_2.0.1.orig.tar.gz.d
The annotated tag, debian/2.0.1-1 has been created
at 9054527d224d0f02966b846a69bab7ff220dcf03 (tag)
tagging d9e4285772dbb5f8354de1147fa1e0f3d3fb8ca0 (commit)
replaces debian/2.0-1
tagged by Stephane Glondu
on Tue Nov 22 07:18:17 2011 +0100
- Shortlog ---
The annotated tag, upstream/2.0.1 has been created
at a38fc0161596f5d182d471e4643920ea626f4439 (tag)
tagging 95790ceb5b67c2e6f6ab8528bbbc1a75970723b4 (commit)
replaces upstream/2.0
tagged by Stephane Glondu
on Tue Nov 22 07:08:02 2011 +0100
- Shortlog ---
The following commit has been merged in the master branch:
commit 62a8d5899fa09637a9af00ed98dc92d9f023ea3d
Merge: 7ff6a221edcf157ca34aeb62b17cea613193b2ec
fb9d6c3c6c3bdfc5a24553446abac7f13c849616
Author: Stephane Glondu
Date: Tue Nov 22 07:11:48 2011 +0100
Merge commit 'upstream/1.0.7'
-
The following commit has been merged in the master branch:
commit 71807fe541ece95ee62ad4502d827a481d0c5436
Author: Stephane Glondu
Date: Tue Nov 22 07:12:34 2011 +0100
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 59708e7..34b8e1e 100644
--- a/debian/cha
The following commit has been merged in the pristine-tar branch:
commit 0792db1eaf4e645c93d462e178950c28a54d40d8
Author: Stephane Glondu
Date: Tue Nov 22 07:11:48 2011 +0100
pristine-tar data for js-of-ocaml_1.0.7.orig.tar.gz
diff --git a/js-of-ocaml_1.0.7.orig.tar.gz.delta
b/js-of-ocaml_
The annotated tag, debian/1.0.7-1 has been created
at 468d5ce33a9663e5db9844596bbed9329460cee1 (tag)
tagging 71807fe541ece95ee62ad4502d827a481d0c5436 (commit)
replaces debian/1.0.6-1
tagged by Stephane Glondu
on Tue Nov 22 07:20:18 2011 +0100
- Shortlog -
The annotated tag, upstream/1.0.7 has been created
at 0c81d808d552a77a3a3a855565e3eae4e00bf3c0 (tag)
tagging fb9d6c3c6c3bdfc5a24553446abac7f13c849616 (commit)
replaces upstream/1.0.6
tagged by Stephane Glondu
on Tue Nov 22 07:11:48 2011 +0100
- Shortlog -
The following commit has been merged in the master branch:
commit d530ffdaa12bceeb8c7babb27f6c454ca88d7d06
Merge: 7d13e4bd9d51e22e2142998305f8b9003d9964af
96fdde0b7bdb3477a9e6acbf0541064c02d585d7
Author: Stephane Glondu
Date: Tue Nov 22 07:15:58 2011 +0100
Merge commit 'upstream/1.3pl2'
The following commit has been merged in the master branch:
commit 5201092d04f871f74661f1ac2f5e75a9a634f16e
Author: Stephane Glondu
Date: Tue Nov 22 07:16:06 2011 +0100
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 629d61b..3234afe 100644
--- a/debian/cha
The following commit has been merged in the pristine-tar branch:
commit 54f171a7db98ee2f123ea8ab8993b141e310fff3
Author: Stephane Glondu
Date: Tue Nov 22 07:15:58 2011 +0100
pristine-tar data for ssreflect_1.3pl2.orig.tar.gz
diff --git a/ssreflect_1.3pl2.orig.tar.gz.delta
b/ssreflect_1.3p
The annotated tag, upstream/1.3pl2 has been created
at 7ab5d83e88fad2082198ed6589c89807ccdb6c35 (tag)
tagging 96fdde0b7bdb3477a9e6acbf0541064c02d585d7 (commit)
replaces upstream/1.3pl1
tagged by Stephane Glondu
on Tue Nov 22 07:15:58 2011 +0100
- Shortlog ---
The annotated tag, debian/1.3pl2-1 has been created
at 230f8c1aa7e06b3ef78b940dff30d6a51ef8484c (tag)
tagging 5201092d04f871f74661f1ac2f5e75a9a634f16e (commit)
replaces debian/1.3pl1-5
tagged by Stephane Glondu
on Tue Nov 22 07:35:58 2011 +0100
- Shortlog ---
28 matches
Mail list logo
