The following commit has been merged in the master branch:
commit 550b2d2c0753f67aac6a3610595d56d6e377ed62
Author: Stephane Glondu
Date: Wed Jul 24 10:07:38 2013 +0100
Update changelog and prepare upload to experimental
diff --git a/debian/changelog b/debian/changelog
index e64b00e..634d28
The following commit has been merged in the master branch:
commit 1d724b2c42cef6ca82fe6084619b56601fb0b55d
Author: Stephane Glondu
Date: Wed Jul 24 10:01:55 2013 +0100
Compile with OCaml >= 4
diff --git a/debian/control b/debian/control
index 057d83b..14c6717 100644
--- a/debian/control
++
The following commit has been merged in the master branch:
commit e475830400988b5a8867e6db9002a3086e4d4e77
Author: Stephane Glondu
Date: Wed Jul 24 10:06:53 2013 +0100
Update Vcs-*
diff --git a/debian/control b/debian/control
index 14c6717..41376d7 100644
--- a/debian/control
+++ b/debian/
The following commit has been merged in the master branch:
commit 3f264e32589eb17598feb0ba5b1912d29c765c67
Author: Stephane Glondu
Date: Wed Jul 24 09:01:35 2013 +0100
Update debian/watch
diff --git a/debian/watch b/debian/watch
index 9c5b7ee..fd4e9fc 100644
--- a/debian/watch
+++ b/debian
The following commit has been merged in the master branch:
commit 200845757300e583109b001fc2c21cf183d361c2
Merge: 3f264e32589eb17598feb0ba5b1912d29c765c67
86309805de3fbfa36807a14a35d9d5ddf1e71766
Author: Stephane Glondu
Date: Wed Jul 24 09:02:40 2013 +0100
Merge tag 'upstream/2.0.4'
The following commit has been merged in the master branch:
commit 8e2e24dd45d6827a1f00a0d2e1cf28ef6f3b7f38
Author: Stephane Glondu
Date: Wed Jul 24 09:54:27 2013 +0100
Refresh patches
diff --git a/debian/patches/0001-Fix-camlp4of.opt-detection-in-configure.patch
b/debian/patches/0001-Fix-
The following commit has been merged in the master branch:
commit 33627732bf1daaea7c5c3db48db49169351a4250
Author: Stephane Glondu
Date: Wed Jul 24 09:03:24 2013 +0100
New upstream release
diff --git a/debian/changelog b/debian/changelog
index e791b94..e64b00e 100644
--- a/debian/changelog
7 matches
Mail list logo